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 Kleene Theorem for Higher-Dimensional Automata +
- A Myhill-Nerode Theorem for Higher-Dimensional Automata +
- An Experience Report on the Optimization of the Product Configuration System of Renault +
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them +
- CLoX: Common Lisp objects for XEmacs +
- Catoids and Modal Convolution Algebras +
- Classes, Styles, Conflicts: the Biological Realm of LaTeX +
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map +
- CosySEL: Improving SAT Solving Using Local Symmetries +
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching +
- Energy Problems in Finite and Timed Automata with Büchi Conditions +
- Expression templates in Ada 95 +
- Featured Games +
- GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification +
- Generic design patterns in C++ +
- Generic programming redesign of patterns +
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata +
- Hierarchical Set Decision Diagrams and Automatic Saturation +
- Higher-Dimensional Timed and Hybrid Automata +
- Introduction to the Special Issue on Distributed Hybrid Systems +
- Lisp, Jazz, Aikido +
- Metagene, a C++ meta-program generation tool +
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) +
- On Robustness for the Skolem and Positivity Problems +
- Optimization of the Product Configuration System of Renault +
- Parallelizing Quickref +
- People/Alban Linard +
- People/Alexandre Hamez +
- People/Alexis Angelidis +
- People/Antoine Leblanc +
- People/Charles-Alban Deledalle +
- People/Christophe Kiciak +
- People/Emmanuel Turquin +
- People/Geoffroy Querol +
- People/Guillaume Guirado +
- People/Jean-Marie Santoni-Costantini +
- People/Jean-Philippe Garcia-Ballester +
- People/Johan Oudinet +
- People/Josselin Lebret +
- People/Jérôme Darbon +
- People/Maxime Colas-Des-Francs +
- People/Mickaël Strauss +
- People/Nicolas Neri +
- People/Nicolas Tisserand +
- People/Nicolas Waniowski +
- People/Samuel Charron +
- People/Sébastien Hémon +
- People/Sébastien Uzeel +
- People/Valentine Ogier-Galland +
- Polar type inference with intersection types and ω +