Akim Demaille

Publication Activity (10 Years)

Years Active: 1995-2017
Publications (10 Years): 8

Top Topics

Database Query Languages

Cramer Rao Lower Bound

Weighting Factor

Finite Automaton

Top Venues

Sci. Ann. Comput. Sci.

Publications

Akim Demaille, Thibaud Michaud
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. ICTAC (2017)
Akim Demaille
Derived-Term Automata of Multitape Expressions with Composition. Sci. Ann. Comput. Sci. 27 (2) (2017)
Akim Demaille
Derived-Term Automata of Multitape Rational Expressions. CIAA (2016)
Akim Demaille
Derived-term Automata for Extended Weighted Rational Expressions. CoRR (2016)
Akim Demaille
Derived-Term Automata of Multitape Rational Expressions (Long version). CoRR (2016)
Jim E. Newton, Akim Demaille, Didier Verna
Type-Checking of Heterogeneous Sequences in Common Lisp. ELS (2016)
Akim Demaille
Runtime Template Instantiation for C++. CoRR (2016)
Akim Demaille
Derived-Term Automata for Extended Weighted Rational Expressions. ICTAC (2016)
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
A Type System for Weighted Automata and Rational Expressions. CIAA (2014)
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
Implementation Concepts in Vaucanson 2. CIAA (2013)
Jean-Christophe Baillie, Akim Demaille, Quentin Hocquet, Matthieu Nottale
Events! (Reactivity in urbiscript) CoRR (2010)
Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure
Semantics Driven Disambiguation: A Comparison of Different Approaches. Electron. Notes Theor. Comput. Sci. 238 (5) (2009)
Akim Demaille, Roland Levillain, Benoît Sigoure
TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing. SAC (2009)
Akim Demaille, Roland Levillain, Benoît Perrot
A set of tools to teach compiler construction. ITiCSE (2008)
Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones
An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions. FSMNLP (2008)
Quoc-Cuong Le, Patrick Bellot, Akim Demaille
Towards the World-Wide Quantum Network. ISPEC (2008)
Cuong Le Quoc, Patrick Bellot, Akim Demaille
Stochastic routing in large grid-shaped quantum networks. RIVF (2007)
Akim Demaille, Thomas Hérault, Sylvain Peyronnet
Probabilistic verification of sensor networks. RIVF (2006)
Akim Demaille, Sylvain Peyronnet, Benoît Sigoure
Modeling of Sensor Networks Using XRM. ISoLA (2006)
Alexandre Borghi, Valentin David, Akim Demaille
C-Transformers: a framework to write C program transformations. ACM Crossroads 12 (3) (2006)
Akim Demaille
Making compiler construction projects relevant to core curriculums. ITiCSE (2005)
Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille
Design Patterns for Generic Programming in C++. COOTS (2001)
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille
An Asynchronous Architecture to Manage Communication, Display, and User Interaction in Distributed Virtual Environments. EGVE (2000)
Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille
A Framework to Dynamically Manage Distributed Virtual Environments. Virtual Worlds (2000)
José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia
Correctness of a distributed deadlock resolution algorithm for the single request model. PDP (1995)