Source: 19th International Conference on Rewriting Techniques and Applications - RTA 2008https://inria.hal.science/inria-0032980319th International Conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Finer is better: Abstraction Refinement for Rewriting Approximations

Authors : Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille ...

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Hagenberg; Austria

Source: Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings ; RTA'08, 19th international conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

A Rewriting Approach to the Combination of Data Structures with Bridging Theories

Authors : Chocron, Paula; Fontaine, Pascal; Ringeissen, Christophe ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]Wroclaw; Poland

Source: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015 ; https://inria.hal.science/hal-01206187 ; Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Rewriting Approximations For Properties Verification Over CCS Specifications

Authors : Courbis, Roméo;

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Source: https://hal.science/hal-00530351 ; 2010.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Rewrite-Based Verification of XML Updates

Authors : Jacquemard, Florent; Rusinowitch, Michael;

Subjects: Verification; Languages Theory; SecurityHagenberg; Austria

Source: 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP)https://inria.hal.science/inria-0057891612th international ACM SIGPLAN symposium on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array

Authors : Belkhir, Walid; Ratier, Nicolas; Nguyen, Duy Duc ...

Subjects: Symbolic computation; computer-aided derivation of asymptotic models; micro-mirror arrayTimisoara; Romania

Source: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015https://inria.hal.science/hal-0124320417th International Symposium on Symbolic and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Asymptotic modeling of a micro-mirror array and software design for automatically derived multiscale models ; Modélisation asymptotique d'un réseau de micro-miroirs et design de logiciel pour les modèles multi-échelles dérivés automatiquement

Authors : Trinh, Nguyen-Nhat-Binh;

Subjects: Micro-mirror array; Periodic homogenization; Boundary layer correctors

Source: https://theses.hal.science/tel-03545185 ; General Mathematics [math.GM]. Université Bourgogne Franche-Comté, 2021. English. ⟨NNT : 2021UBFCD042⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Handling Non Left-Linear Rules When Completing Tree Automata

Authors : Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille ...

Subjects: Rewriting techniques; tree automata; left-linearity

Source: ISSN: 0129-0541 ; International Journal of Foundations of Computer Science ; https://hal.science/hal-00561373 ; International Journal of Foundations of Computer Science, 2009, 20 (5), pp.837--849.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي