Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- A Set of Tools to Teach Compiler Construction +
- A Type System for Weighted Automata and Rational Expressions +
- A framework to dynamically manage distributed virtual environments +
- An XML format proposal for the description of weighted automata, transducers, and regular expressions +
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments +
- Attribute Grammars for Modular Disambiguation +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- Automatic Attribute Propagation for Modular Attribute Grammars +
- C-Transformers — A Framework to Write C Program Transformations +
- C/C++ Disambiguation Using Attribute Grammars +
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming +
- Derived-Term Automata of Multitape Expressions with Composition +
- Derived-Term Automata of Multitape Rational Expressions +
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators +
- Derived-term Automata for Extended Weighted Rational Expressions +
- ESDF: A proposal for a more flexible SDF handling +
- Generic design patterns in C++ +
- Implementation Concepts in Vaucanson 2 +
- Implementing attributes in SDF +
- Jobs/ENGI AD 2015 Bison +
- Jobs/M2 2015 AD Faster, Faster, Faster +
- Jobs/M2 AD 2014 minimisation-automates +
- Jobs/M2 AD 2014 minimisation-automates/fr +
- Jobs/M2 AD 2015 Symmetric Difference Automata +
- Jobs/M2 AD 2015 Syntactic Monoids +
- Jobs/M2 AD 2015 Vcsn for Linguists +
- Making Compiler Construction Projects Relevant to Core Curriculums +
- Modeling of Sensor Networks Using XRM +
- On the security of quantum networks: a proposal framework and its capacity +
- Papers about Vaucanson +
- Past People +
- People/Akim Demaille +
- Probabilistic Verification of Sensor Networks +
- Semantics driven disambiguation: A comparison of different approaches +
- Stochastic routing in large grid-shaped quantum networks +
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing +
- Towards the World-Wide Quantum Network +
- Type-Checking of Heterogeneous Sequences in Common Lisp +