|
||
---|---|---|
hal-02193758v1
Journal articles
Grid structures and undecidable constraint theories Theoretical Computer Science, Elsevier, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩ ![]() |
||
inria-00536800v1
Journal articles
The First-Order Theory of Ordering Constraints over Feature Trees Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, 4 (2), pp.193-234 |
||
inria-00536802v1
Journal articles
On Rewrite Constraints and Context Unification Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40 |
||
hal-02355602v2
Conference papers
Analysing installation scenarios of Debian packages TACA 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩ |
||
inria-00578896v1
Conference papers
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. pp.166-185, ⟨10.1007/978-3-642-27375-9⟩ |
||
hal-02321743v1
Reports
Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters [Technical Report] ANR. 2019 |
||
hal-00909298v1
Conference papers
Aeolus: Mastering the Complexity of Cloud Application Deployment ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩ ![]() |
||
hal-01890044v1
Conference papers
Morbig: A Static Parser for POSIX Shell SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩ |
||
|
||
|
||
|
||
hal-00154357v1
Conference papers
News from the EDOS project: improving the maintenance of free software distributions. Apr 2006, Porto Alegre, Brazil. pp.199-207 |
||
hal-00149566v1
Conference papers
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩ |
||
hal-01088761v1
Conference papers
Logics for Unordered Trees with Data Constraints on Siblings LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187 |
||
hal-01179493v1
Journal articles
Automata for Unordered Trees Information and Computation, Elsevier, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩ |
||
hal-01534747v1
Conference papers
A Formally Verified Interpreter for a Shell-like Programming Language VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany |
||
|
||
hal-01176763v2
Journal articles
Logics for Unordered Trees with Data Constraints Journal of Computer and System Sciences, Elsevier, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩ |
||
hal-01020236v1
Conference papers
Deterministic Automata for Unordered Trees Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Sep 2014, Verona, Italy. pp.189-202, ⟨10.4204/EPTCS.161.17⟩ |
||
inria-00636797v1
Journal articles
Reducing Equational Theories for the Decision of Static Equivalence Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩ |
||
|