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 blockchain-based certificate revocation management and status verification system + (Ahmed Serhrouchni)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- Jobs/M2 AD 2014 minimisation-automates + (Akim Demaille)
- Jobs/M2 AD 2014 minimisation-automates/fr + (Akim Demaille)
- Jobs/M2 AD 2015 Symmetric Difference Automata + (Akim Demaille)
- Jobs/M2 AD 2015 Syntactic Monoids + (Akim Demaille)
- Jobs/M2 AD 2015 Vcsn for Linguists + (Akim Demaille)
- Jobs/M2 2015 AD Faster, Faster, Faster + (Akim Demaille)
- People/Akim Demaille + (Akim Demaille)
- Jobs/ENGI AD 2015 Bison + (Akim Demaille)
- Past People + (Yann Jacquelet)
- Derived-Term Automata of Multitape Expressions with Composition + (Akim Demaille)
- C-Transformers — A Framework to Write C Program Transformations + (Alexandre Borghi)
- Implementation Concepts in Vaucanson 2 + (Akim Demaille)
- An XML format proposal for the description of weighted automata, transducers, and regular expressions + (Akim Demaille)
- Derived-Term Automata of Weighted Rational Expressions with Quotient Operators + (Akim Demaille)
- Compiler Construction as an Effective Application to Teach Object-Oriented Programming + (Akim Demaille)
- Semantics driven disambiguation: A comparison of different approaches + (Akim Demaille)
- A Set of Tools to Teach Compiler Construction + (Akim Demaille)
- Probabilistic Verification of Sensor Networks + (Akim Demaille)
- Derived-Term Automata of Multitape Rational Expressions + (Akim Demaille)
- Modeling of Sensor Networks Using XRM + (Akim Demaille)
- Making Compiler Construction Projects Relevant to Core Curriculums + (Akim Demaille)
- TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing + (Akim Demaille)
- Derived-term Automata for Extended Weighted Rational Expressions + (Akim Demaille)
- C/C++ Disambiguation Using Attribute Grammars + (Valentin David)
- Towards the World-Wide Quantum Network + (Cuong Le Quoc)
- ESDF: A proposal for a more flexible SDF handling + (Akim Demaille)
- Implementing attributes in SDF + (Alexandre Borghi)
- A Type System for Weighted Automata and Rational Expressions + (Akim Demaille)
- Generic design patterns in C++ + (Alexandre Duret-Lutz)
- Type-Checking of Heterogeneous Sequences in Common Lisp + (Jim Newton)
- Attribute Grammars for Modular Disambiguation + (Valentin David)
- Stochastic routing in large grid-shaped quantum networks + (Cuong Le Quoc)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Akim Demaille)