|
Title
|
Authors
|
Published in
|
Date
|
babiak.15.cav
|
The Hanoi Omega-Automata Format
|
Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček
|
Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15)
|
27 April 2015
|
boutry.15.ismm
|
How to Make nD Functions Digitally Well-Composed in a Self-Dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
carlinet.15.ismm
|
A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
geraud.15.ismm
|
Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
xu.15.ismm
|
Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM)
|
7 April 2015
|
dubuisson.15.visapp
|
A Self-Adaptive Likelihood Function for Tracking with Particle Filter
|
Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
robert-seidowsky.15.visapp
|
TextTrail: A Robust Text Tracking Algorithm In Wild Environments
|
Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson
|
Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP)
|
1 March 2015
|
bensalem.15.lata
|
Single-pass Testing Automata for LTL Model Checking
|
Ala Eddine Ben Salem
|
Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15)
|
1 March 2015
|
renault.15.tacas
|
Parallel Explicit Model Checking for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15)
|
13 January 2015
|
verna.15.cop
|
Context-Oriented Image Processing
|
Didier Verna, François Ripault
|
Context-Oriented Programming Workshop
|
1 January 2015
|
renault.14.phd
|
Contribution aux tests de vacuité pour le model checking explicite
|
Etienne Renault
|
|
5 December 2014
|
xu.14.itip
|
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection
|
Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman
|
IEEE Transactions on Image Processing
|
3 October 2014
|
bensalem.14.phd
|
Improving the Model Checking of Stutter-Invariant LTL Properties
|
Ala Eddine Ben Salem
|
|
25 September 2014
|
levillain.14.ciarp
|
Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient
|
Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP)
|
10 September 2014
|
widynski.14.ius
|
Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking
|
Nicolas Widynski, Thierry Géraud, Damien Garcia
|
Proceedings of the IEEE International Ultrasonics Symposium (IUS)
|
10 September 2014
|
xu.14.rfia
|
Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA)
|
1 July 2014
|
blahoudek.14.spin
|
Is There a Best Büchi Automaton for Explicit Model Checking?
|
František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14)
|
16 June 2014
|
dehak.14.odyssey
|
GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification
|
Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak
|
Odyssey 2014, The Speaker and Language Recognition Workshop
|
16 June 2014
|
carlinet.14.itip
|
A Comparative Review of Component Tree Computation Algorithms
|
Edwin Carlinet, Thierry Géraud
|
IEEE Transactions on Image Processing
|
16 June 2014
|
geraud.14.icip
|
A Morphological Method for Music Score Staff Removal
|
Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
3 June 2014
|
boutry.14.dgci
|
On Making nD Images Well-Composed by a Self-Dual Local Interpolation
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
28 May 2014
|
carlinet.14.icip
|
Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
crozet.14.icip
|
A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images
|
Sébastien Crozet, Thierry Géraud
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
fabrizio.14.icip
|
A precise skew estimation algorithm for document images using KNN clustering and Fourier transform
|
Jonathan Fabrizio
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
xu.14.icip
|
Meaningful disjoint level lines selection
|
Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Image Processing (ICIP)
|
26 May 2014
|
demaille.14.ciaa
|
A Type System for Weighted Automata and Rational Expressions
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)
|
20 May 2014
|
carlinet.14.icpr
|
A Morphological Tree of Shapes for Color Images
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 22nd International Conference on Pattern Recognition (ICPR)
|
2 April 2014
|
bensalem.14.tacas
|
Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
|
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
|
1 April 2014
|
baarir.14.forte
|
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
|
Souheib Baarir, Alexandre Duret-Lutz
|
Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14)
|
21 March 2014
|
duret.14.ijccbs
|
LTL Translation Improvements in Spot 1.0
|
Alexandre Duret-Lutz
|
International Journal on Critical Computer-Based Systems
|
6 March 2014
|
xu.13.phd
|
Tree-based shape spaces: Definition and applications in image processing and computer vision
|
Yongchao Xu
|
|
12 December 2013
|
lazzara.14.das
|
Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis
|
Guillaume Lazzara, Thierry Géraud, Roland Levillain
|
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS)
|
10 December 2013
|
fabrizio.13.paa
|
Text detection in street level image
|
Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord
|
Pattern Analysis and Applications
|
5 November 2013
|
renault.13.lpar
|
Three SCC-based Emptiness Checks for Generalized Büchi Automata
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)
|
9 October 2013
|
duret.13.atva
|
Manipulating LTL formulas using Spot 1.0
|
Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
fronc.13.atva
|
LTL Model Checking with Neco
|
Łukasz Fronc, Alexandre Duret-Lutz
|
Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13)
|
15 June 2013
|
shum.13.taslp
|
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
IEEE Transactions on Audio, Speech, and Language Processing
|
7 June 2013
|
xu.13.icip
|
Salient Level Lines Selection Using the Mumford-Shah Functional
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 20th International Conference on Image Processing (ICIP)
|
27 May 2013
|
demaille.13.ciaa
|
Implementation Concepts in Vaucanson 2
|
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
|
Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
|
2 May 2013
|
babiak.13.spin
|
Compositional Approach to Suspension and Other Improvements to LTL Translation
|
Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček
|
Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13)
|
28 April 2013
|
lazzara.13.ijdar
|
Efficient Multiscale Sauvola's Binarization
|
Guillaume Lazzara, Thierry Géraud
|
International Journal of Document Analysis and Recognition (IJDAR)
|
25 April 2013
|
najman.13.ismm
|
Discrete set-valued continuity and interpolation
|
Laurent Najman, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
geraud.13.ismm
|
A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images
|
Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
xu.13.ismm
|
Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
carlinet.13.ismm
|
A comparison of many max-tree computation algorithms
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM)
|
14 March 2013
|
renault.13.tacas
|
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
|
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
|
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)
|
8 January 2013
|
verna.13.tug-1
|
The incredible tale of the author who didn't want to do the publisher's job
|
Didier Verna
|
TUGboat
|
1 January 2013
|
verna.13.tug-2
|
TiCL: the Prototype (Star TeX: the Next GenerationSeason 2)
|
Didier Verna
|
TUGboat
|
1 January 2013
|
borgstrom.12.nistsre
|
MITLL 2012 Speaker Recognition Evaluation System Description
|
Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo
|
NIST Speaker Recognition Evaluation
|
1 December 2012
|
verna.12.dsl
|
Extensible languages: blurring the distinction between DSLs and GPLs
|
Didier Verna
|
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
|
1 September 2012
|
levillain.12.wadgmm-lncs
|
Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
WADGMM 2010
|
8 August 2012
|
levillain.10.wadgmm
|
Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM)
|
30 July 2012
|
xu.12.icpr
|
Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 21st International Conference on Pattern Recognition (ICPR)
|
16 June 2012
|
sennoussaoui.12.odyssey
|
First Attempt at Boltzmann Machines for Speaker Recognition
|
M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel
|
Odyssey Speaker and Language Recognition Workshop
|
1 June 2012
|
geraud.12.hdr
|
Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes
|
Thierry Géraud
|
|
1 June 2012
|
senta.12.els
|
Generic Image Processing with Climb
|
Laurent Senta, Christopher Chedeau, Didier Verna
|
European Lisp Symposium
|
1 May 2012
|
xu.12.icip
|
Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes
|
Yongchao Xu, Thierry Géraud, Laurent Najman
|
Proceedings of the 19th International Conference on Image Processing (ICIP)
|
17 April 2012
|
fabrizio.12.spic
|
Motion compensation based on Tangent Distance prediction for video compression
|
Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat
|
Signal Processing: Image Communication
|
9 February 2012
|
chedeau.12.tr
|
JSPP: Morphing C++ into JavaScript
|
Christopher Chedeau, Didier Verna
|
|
1 January 2012
|
verna.12.tug
|
Star TeX : the Next Generation
|
Didier Verna
|
TUGboat
|
1 January 2012
|
bensalem.12.topnoc
|
Model Checking using Generalized Testing Automata
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
|
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)
|
1 January 2012
|
levillain.11.phd
|
Towards a Software Architecture for Generic Image Processing
|
Roland Levillain
|
|
1 November 2011
|
dehak.11.interspeech
|
Language Recognition via I-Vectors and Dimensionality Reduction
|
Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak
|
INTERSPEECH 2011
|
1 August 2011
|
duret.11.vecos
|
LTL Translation Improvements in Spot
|
Alexandre Duret-Lutz
|
Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11)
|
25 July 2011
|
duret.11.atva
|
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
|
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
|
Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)
|
23 June 2011
|
lazzara.11.icdar
|
The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis
|
Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond
|
Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR)
|
1 June 2011
|
duret.11.arxiv
|
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
|
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
|
|
1 June 2011
|
bensalem.11.sumo
|
Generalized Büchi Automata versus Testing Automata for Model Checking
|
Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
|
Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11)
|
25 May 2011
|
levillain.11.gretsi
|
Une approche générique du logiciel pour le traitement d'images préservant les performances
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI)
|
13 May 2011
|
dehak.11.icassp
|
A Channel-Blind System for Speaker Verification
|
Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass
|
International Conference on Acoustics, Speech and Signal Processing (ICASSP)
|
1 May 2011
|
dehak.11.taslp
|
Front-End Factor Analysis For Speaker Verification
|
Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet
|
IEEE Transactions on Audio, Speech, and Language Processing
|
1 May 2011
|
verna.11.onward
|
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them
|
Didier Verna
|
Onward! 2011
|
1 January 2011
|
verna.11.tug
|
Towards LaTeX Coding Standards
|
Didier Verna
|
TUGboat
|
1 January 2011
|
minetto.10.icip
|
SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes
|
Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
31 December 2010
|
dolstra.10.jfp
|
NixOS: A purely functional Linux distribution
|
Eelco Dolstra, Andres Löh, Nicolas Pierron
|
Journal of Functional Programming
|
15 October 2010
|
geraud.10.livre
|
Morphologie et algorithmes
|
Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck
|
Morphologie mathématique 2 : estimation, choix et mise en œuvre
|
1 September 2010
|
geraud.10.book
|
Algorithms for Mathematical Morphology
|
Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck
|
Mathematical Morphology—From Theory to Applications
|
1 July 2010
|
linard.10.acsd
|
polyDD: Towards a Framework Generalizing Decision Diagrams
|
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
|
Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD)
|
1 June 2010
|
levillain.10.icip
|
Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Proceedings of the IEEE International Conference on Image Processing (ICIP)
|
26 May 2010
|
verna.10.tug
|
Classes, Styles, Conflicts: the Biological Realm of LaTeX
|
Didier Verna
|
TUGboat
|
9 March 2010
|
verna.10.els
|
CLoX: Common Lisp objects for XEmacs
|
Didier Verna
|
Proceedings of the 3rd European Lisp Symposium
|
9 March 2010
|
verna.10.jucs
|
Revisiting the Visitor: the Just Do It Pattern
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2010
|
dehak.10.nist
|
LRDE Speaker Recognition System for NIST-SRE 2010
|
Réda Dehak, Najim Dehak
|
NIST 2010 Speaker Recognition Evaluation
|
1 January 2010
|
dehak.10.odyssey
|
Cosine Similarity Scoring without Score Normalization Techniques
|
Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny
|
Odyssey The Speaker and Language Recognition
|
1 January 2010
|
dehak.10.odyssey2
|
Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification
|
S Shum, Najim Dehak, Réda Dehak, J Glass
|
Odyssey The Speaker and Language Recognition
|
1 January 2010
|
hamez.09.phd
|
Génération efficace de grands espaces d'états
|
Alexandre Hamez
|
|
1 December 2009
|
linard.09.phd
|
Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification
|
Alban Linard
|
|
1 November 2009
|
dehak.09.interspeech
|
Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification
|
Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel
|
Interspeech
|
22 June 2009
|
dehak.09.interspeechb
|
Cepstral and Long-Term Features for Emotion Recognition
|
Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden
|
Interspeech
|
22 June 2009
|
dehak.09.icassp
|
Support Vector Machines and Joint Factor Analysis for Speaker Verification
|
Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo
|
IEEE-ICASSP
|
19 April 2009
|
levillain.09.ismm
|
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images
|
Roland Levillain, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM)
|
9 April 2009
|
verna.08.els
|
Binary Methods Programming: the CLOS Perspective
|
Didier Verna
|
Proceedings of the First European Lisp Symposium
|
31 March 2009
|
verna.09.ilc
|
CLOS Efficiency: Instantiation
|
Didier Verna
|
Proceedings of the International Lisp Conference
|
13 January 2009
|
hamez.09.fi
|
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation
|
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
|
Fundamenta Informaticae
|
1 January 2009
|
duret.09.atva
|
On-the-fly Emptiness Check of Transition-based Streett Automata
|
Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
|
Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)
|
1 January 2009
|
verna.09.accu
|
Revisiting the Visitor: the Just Do It Pattern
|
Didier Verna
|
Proceedings of the ACCU Conference 2009
|
29 December 2008
|
demaille.09.sac
|
TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing
|
Akim Demaille, Roland Levillain, Benoît Sigoure
|
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09)
|
11 October 2008
|
demaille.08.fsmnlp
|
An XML format proposal for the description of weighted automata, transducers, and regular expressions
|
Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones
|
Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08)
|
28 July 2008
|
verna.08.lncs
|
Report on the 5th Workshop ELW at ECOOP 2008
|
Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner
|
Object-Oriented Technology. ECOOP 2008 Workshop Reader
|
1 July 2008
|
ricou.08.eceg
|
A Survey of French Local e-Democracy
|
Olivier Ricou
|
Proceedings of the 8th European Conference on e-Government (ECEG)
|
1 July 2008
|