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
- 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)
- Automatic Attribute Propagation for Modular Attribute Grammars + (Akim Demaille)
- On the security of quantum networks: a proposal framework and its capacity + (Cuong Le Quoc)
- A framework to dynamically manage distributed virtual environments + (Yoann Fabre)
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments + (Yoann Fabre)
- Papers about Vaucanson + (Akim Demaille)
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Extending Testing Automata to All LTL + (Ala Eddine Ben Salem)
- Generalized Büchi Automata versus Testing Automata for Model Checking + (Ala Eddine Ben Salem)
- Improving the Model Checking of Stutter-Invariant LTL Properties + (Ala Eddine Ben Salem)
- Model Checking using Generalized Testing Automata + (Ala Eddine Ben Salem)
- Single-pass Testing Automata for LTL Model Checking + (Ala Eddine Ben Salem)
- Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata + (Ala Eddine Ben Salem)
- People/Ala-Eddine Ben-Salem + (Ala-Eddine Ben-Salem)
- Uniform Random Sampling of Traces in Very Large Models + (Alain Denise)
- QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results + (Raghav Mehta)
- People/Alban Linard + (Alban Linard)
- Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification + (Alban Linard)
- polyDD: Towards a Framework Generalizing Decision Diagrams + (Alban Linard)
- Introduction to the Special Issue on Distributed Hybrid Systems + (Alessandro Abate)
- Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy + (Élodie Puybareau)
- Olena Publications + (Edwin Carlinet)
- A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging + (Zhaohan Xiong)
- A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI + (Baptiste Morel)
- The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities + (Yongchao Xu)
- People/Alex Hamelin + (Alex Hamelin)
- Hiérarchie par propriétés du module Algebra de Vaucanson + (Alex Hamelin)
- Vers Vaucanson 2.0 + (Alex Hamelin)
- Mécanique de Vaucanson 2.0 + (Alex Hamelin)
- Vaucanson 2.0 Internals + (Alex Hamelin)
- Towards Vaucanson 2.0 + (Alex Hamelin)
- Property based class hierarchy of Vaucanson's Algebra module + (Alex Hamelin)
- Papers about Vaucanson + (Akim Demaille)
- Past People + (Yann Jacquelet)
- VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images + (Anjany Sekuboyina)