- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j21 |      | Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers: A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Inform. 122(1-2): 85-117 (2013) |
| j20 | | Zhenhua Duan, Hanna Klaudel, Maciej Koutny: ITL semantics of composite Petri nets. J. Log. Algebr. Program. 82(2): 95-110 (2013) |
| 2012 | ||
| j19 | | Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau: Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. 431: 219-234 (2012) |
| c31 | | Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené: Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics. CMSB 2012: 148-165 |
| 2011 | ||
| c30 | | Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers: A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets 2011: 208-227 |
| c29 | | Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau: State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops 2011: 79-84 |
| i1 | | Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené: Analysis of modular organisation of interaction networks based on asymptotic dynamics. CoRR abs/1111.2313 (2011) |
| 2010 | ||
| j18 | | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: State Space Reduction for Dynamic Process Creation. Sci. Ann. Comp. Sci. 20: 131-157 (2010) |
| c28 | | Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud: Discrete causal model view of biological networks. CMSB 2010: 4-13 |
| c27 | | Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers: A Decidable Characterization of a Graphical Pi-calculus with Iterators. INFINITY 2010: 47-61 |
| c26 | | Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau: Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections. MeCBIC 2010: 162-177 |
| 2009 | ||
| j17 | | Franck Pommereau, Raymond R. Devillers, Hanna Klaudel: Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. Electr. Notes Theor. Comput. Sci. 239: 119-129 (2009) |
| j16 | | Jean-Yves Didier, Bachir Djafri, Hanna Klaudel: The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. JVRB 6 (2009) |
| c25 | | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: An approach to state space reduction for systems with dynamic process creation. ISCIS 2009: 543-548 |
| 2008 | ||
| j15 | | |
| j14 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A compositional Petri net translation of general pi -calculus terms. Formal Asp. Comput. 20(4-5): 429-450 (2008) |
| c24 | | Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau: Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91 |
| c23 | | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau: Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC 2008: 186-200 |
| c22 | | Jean-Yves Didier, Bachir Djafri, Hanna Klaudel: MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. VR 2008: 249-250 |
| 2007 | ||
| j13 | | Anastasia Yartseva, Hanna Klaudel, Raymond R. Devillers, François Képès: Incremental and unifying modelling formalism for biological interaction networks. BMC Bioinformatics 8 (2007) |
| j12 | | Anastasia Yartseva, Raymond R. Devillers, Hanna Klaudel, François Képès: From MIN model to ordinary differential equations. J. Integrative Bioinformatics 4(3) (2007) |
| c21 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119 |
| 2006 | ||
| j11 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Semantics of a Simple Process Algebra for Mobility. Electr. Notes Theor. Comput. Sci. 154(3): 71-94 (2006) |
| j10 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Inform. 70(3): 203-226 (2006) |
| j9 | | Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang: Systèmes multi-agents adaptatifs avec contraintes temps-réel. Technique et Science Informatiques 25(3): 317-342 (2006) |
| c20 | | Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz: Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD 2006: 179-188 |
| c19 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152 |
| c18 | | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg: Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC 2006: 362-365 |
| 2005 | ||
| j8 | | Raymond R. Devillers, Hanna Klaudel: Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Fundam. Inform. 66(3): 221-257 (2005) |
| c17 | | Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu: Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. ICATPN 2005: 208-227 |
| 2004 | ||
| c16 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Context-based Process Algebras for Mobility. ACSD 2004: 79-88 |
| c15 | | Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz: A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD 2004: 99-110 |
| c14 | | Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang: Towards Timed Automata and Multi-agent Systems. FAABS 2004: 161-172 |
| c13 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325 |
| c12 | | Cécile Bui Thanh, Hanna Klaudel: Object-Oriented Modelling with High-Level Modular Petri Nets. IFM 2004: 287-306 |
| c11 |  | Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang: Automates temporisés et systèmes multi-agents temps-réel. JFSMA 2004: 69-82 |
| 2003 | ||
| j7 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: Asynchronous Box Calculus. Fundam. Inform. 54(4): 295-344 (2003) |
| j6 | | Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann: General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. 300(1-3): 259-300 (2003) |
| 2002 | ||
| j5 | | Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau: Petri nets with causal time for system verification. Electr. Notes Theor. Comput. Sci. 68(5): 85-100 (2002) |
| j4 | | Hanna Klaudel, Franck Pommereau: A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Inform. 50(1): 33-55 (2002) |
| c10 | | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207 |
| 2001 | ||
| j3 | | Hanna Klaudel: Compositional high-level Petri net semantics of a parallel programming language with procedures. Sci. Comput. Program. 41(3): 195-240 (2001) |
| c9 | | Hanna Klaudel, Franck Pommereau: A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN 2001: 204-223 |
| 2000 | ||
| j2 | | Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz: An Algebraic Box Calculus. Journal of Automata, Languages and Combinatorics 5(2): 81-108 (2000) |
| c8 | | Hanna Klaudel, Franck Pommereau: A Concurrent and Compositional Petri Net Semantics of Preemption. IFM 2000: 318-337 |
| 1999 | ||
| c7 | | |
| c6 | | Hanna Klaudel, Robert-C. Riemann: Refinement-based Semantics of Parallel Procedures. PDPTA 1999: 1810-1816 |
| 1998 | ||
| j1 | | Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz: M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Inf. 35(10): 813-857 (1998) |
| c5 | | Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann: M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325 |
| 1997 | ||
| c4 | | Hanna Klaudel, Robert-C. Riemann: High Level Expressions with their SOS Semantics (Extended Abstract). CONCUR 1997: 288-301 |
| c3 | | Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann: General Refinement for High Level Petri Nets. FSTTCS 1997: 297-311 |
| 1995 | ||
| c2 | | Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz: A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2. Application and Theory of Petri Nets 1995: 103-120 |
| c1 | | Hanna Klaudel, Elisabeth Pelz: Communication as Unification in the Petri Box Calculus. FCT 1995: 303-312 |
Colors in the list of coauthors
Last update Sun May 26 02:13:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page