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
- Reduction d'automates + (delmon.08.seminar.reduce)
- Making Compiler Construction Projects Relevant to Core Curriculums + (demaille.05.iticse)
- Modeling of Sensor Networks Using XRM + (demaille.06.isola)
- Probabilistic Verification of Sensor Networks + (demaille.06.rivf)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (demaille.08.fsmnlp)
- A Set of Tools to Teach Compiler Construction + (demaille.08.iticse)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (demaille.08.kex)
- Semantics driven disambiguation: A comparison of different approaches + (demaille.08.ldta)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (demaille.09.sac)
- Implementation Concepts in Vaucanson 2 + (demaille.13.ciaa)
- A Type System for Weighted Automata and Rational Expressions + (demaille.14.ciaa)
- Derived-Term Automata of Multitape Rational Expressions + (demaille.16.ciaa)
- Derived-term Automata for Extended Weighted Rational Expressions + (demaille.16.ictac)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (demaille.17.ictac)
- Derived-Term Automata of Multitape Expressions with Composition + (demaille.17.sacs)
- Uniform Random Sampling of Traces in Very Large Models + (denise.06.rt)
- CLIMB: A Dynamic Approach To Generic Image Processing + (denuziere.09.seminar)
- CLIMB: Une approche dynamique du traitement générique d'images + (denuziere.09.seminar)
- Property-Based Genericity: A Dynamic Approach + (denuziere.10.seminar)
- La généricité par propriétés + (denuziere.10.seminar)
- Designing the user interface for a Common Lisp generic library + (denuziere.11.seminar)