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
- Programmatic Manipulation of Common Lisp Type Specifiers + (newton.17.els)
- Approaches in Typecase Optimization + (newton.18.els)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (newton.18.meta)
- Representing and Computing with Types in Dynamically Typed Languages + (newton.18.phd)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (newton.18.tocl)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (newton.19.els)
- Performance Comparison of Several Folding Strategies + (newton.20.tfp)
- A Portable, Simple, Embeddable Type System + (newton.21.els)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (newton.22.ifl)
- Implementation of transducers in Vaucanson + (o-connor.04.seminar)
- Implementation of transducers in Vaucanson + (o-connor.04.seminar)
- Images taxonomy and modeling + (odou.05.seminar)
- Images taxonomy and modeling + (odou.05.seminar)
- Données, Transparence et Démocratie + (or.22.transparence)
- Implementing a C++ extension with Transformers: class namespace + (ordy.08.seminar)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (ordy.08.seminar)
- Adding Contracts to C++ with Transformers + (ordy.09.seminar)
- Ajout de la programmation par contrats au C++ avec Transformers + (ordy.09.seminar)
- Study and Analysis of C++ Extension Conception with Transformers + (ordy.10.seminar)
- Étude et analyse de l'écriture d'extensions du C++ grâce à Transformers + (ordy.10.seminar)
- genus.py: a Simple Embeddable Type System for the Python language + (oueslati.21.seminar)
- genus.py: un Système Simple de Typage Embarqué pour le language Python + (oueslati.21.seminar)
- Polynomial Identification of omega-Language + (pape.21.seminar)
- Identification Polynomiale des omega-Langages + (pape.21.seminar)
- Strength-based decomposition of Büchi automaton + (parquier.15.seminar)
- Décomposition d'un automate de Büchi Généralisé multi-force + (parquier.15.seminar)
- Amélioration de la dégénéralisation dans Spot + (parutto.11.seminar)
- Improving degeneralization in Spot + (parutto.11.seminar)
- Partial order reduction methods for Spot + (parutto.12.seminar)
- Méthodes de réduction par ordre partiel dans Spot + (parutto.12.seminar)
- Adaptive partial order reduction methods + (parutto.13.seminar)
- Méthodes de réduction par ordre partiel adaptatives. + (parutto.13.seminar)
- LTL under reductions with weaker conditions than stutter invariance + (paviot.22.forte)
- ENST-IRCGN System Description + (perrot.06.nist)
- Vcsn Meets Linguistics + (piat.16.seminar)
- Vcsn et la linguistique + (piat.16.seminar)
- K shortest-paths in Vcsn + (piat.16.seminar2)
- K plus courts chemins dans Vcsn + (piat.16.seminar2)
- K shortest-paths in Vcsn + (piat.17.seminar)
- K plus courts chemins dans Vcsn + (piat.17.seminar)
- Formal Definition of the Disambiguation with Attribute Grammars + (pierron.07.seminar)
- Formal Definition of the Disambiguation with Attribute Grammars + (pierron.07.seminar)
- Automatic Attribute Propagation for Modular Attribute Grammars + (pierron.08.seminar)
- Automatic Attribute Propagation for Modular Attribute Grammars + (pierron.08.seminar)
- Finding Short Synchronizing Words + (pietri.14.seminar)
- Recherche de petits mots synchronisants + (pietri.14.seminar)
- Efficient removal of spontaneous transitions in Vcsn + (pietri.15.seminar)
- Suppression efficace de transitions spontanées dans Vcsn + (pietri.15.seminar)
- Random automata and path generation in Vcsn + (pietri.16.seminar)
- Génération aléatoire d'automates et de chemins dans Vcsn + (pietri.16.seminar)
- Combining Parallel Emptiness Checks with Partial Order Reductions + (poitrenaud.19.icfem)
- LTL Model Checking for Communicating Concurrent Programs + (pommellet.20.isse)