Akim Demaille

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