| Ident. | Authors (with country if any) | Title |
|---|
| 000312 (2015-09-26) |
Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France] | Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study |
| 000581 (2015-04-15) |
Jean-René Courtault [France] | Dynamic Resource Logics : Models, Properties and Proofs |
| 000910 (2014-10-08) |
Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France] | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems |
| 001A48 (2012-07) |
Laura Martin [France] ; Florence Le Ber [France] ; Julie Wohlfahrt [France] ; Géraldine Bocquého [France] ; Marc Benoît [France] | Modelling farmers' choice of miscanthus allocation in farmland: a case-based reasoning model |
| 002C37 (2010-06-16) |
Nazim Benaissa [France] ; Dominique Méry [France] | Proof-Based Design of Security Protocols |
| 002C87 (2010-05-28) |
Nazim Benaissa [France] | Security protocols composition using Event B |
| 002E30 (2010-02-01) |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Technical Report on Formal Development of Two-Electrode Cardiac Pacing System |
| 003426 (2009-09) |
Dominique Méry [France] | Refinement-Based Guidelines for Algorithmic Systems |
| 004D93 (2007) |
Julien Siebert [France] | Impact du comportement des utilisateurs dans les réseaux pair-à pair, modélisation et simulation multi-agents |
| 005800 (2006) |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
| 006726 (2004) |
Frédéric Landragin | Interface sémantique-pragmatique et domaines de référence |
| 006896 (2004) |
Frédéric Blaise | Introduction à l'Infographie - Application à la visualisation des plantes |
| 007304 (2003) |
Myriam Vezain | Modélisation de la régulation de l'épissage alternatif au site A7 de HIV-1 |
| 007384 (2003) |
| Modélisation des systèmes réactifs |
| 007622 (2003) |
Zhi Wang ; Fang Huang ; Youxian Sun ; Ye Qiong Song | Colored Petri Net Model of IEC Function Block and Its Application |
| 007F30 (2002-11) |
Frédéric Blaise [France] ; Laurent Saint-André [France] ; Jean-Michel Leban ; Jean-Claude Gégout [France] ; Jean-Christophe Hervé [France] | Connection between forest inventory data and geographic information systems for assessing timber value at the stand level |
| 008172 (2002) |
Paolo Castelpietra ; Françoise Simonot-Lion ; Olivier Perrin | Objects - Models - Meta models in EAST Project |
| 008216 (2002) |
Frédéric Blaise | La modélisation de l'architecture des plantes et ses applications à la création de paysages virtuels |
| 008275 (2002) |
Paolo Castelpietra ; Jörn Migge ; Evelyne Silva | AIL, AIML and XML in the AEE Project |
**** probable Xml problem ****
| 008334 |
|
