Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Philippe Darondeau" ( http://dblp.L3S.de/Authors/Philippe_Darondeau )

  Author page on DBLP  Author page in RDF  Community of Philippe Darondeau in ASPL-2

Publication years (Num. hits)
1974-1989 (15) 1990-1995 (15) 1996-2005 (18) 2007-2011 (18) 2012 (1)
Publication types (Num. hits)
article(27) inproceedings(39) proceedings(1)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(7) Fundam. Inform.(4) Inf. Comput.(4) Petri Nets(4) CONCUR(3) Inf. Process. Lett.(3) Symposium on Programming(3) Acta Inf.(2) Discrete Event Dynamic Systems(2) ICALP(2) ICATPN(2) Semantics of Systems of Concur...(2) ACSD(1) AMAST(1) ATVA(1) Automata on Infinite Words(1) More (+10 of total 41)
Authors
Philippe Darondeau(67) Eric Badouel(17) Eike Best(8) Pierpaolo Degano(5) Benoît Caillaud(3) Blaise Genest(3) Laurent Kott(3) Loïc Hélouët(3) Alexandre Yakovlev(2) Andrzej M. Borzyszkowski(2) Claude Otrage(2) Jean-Claude Raoult(2) Luca Bernardinello(2) Maciej Koutny(2) Marek A. Bednarczyk(2) Marta Pietkiewicz-Koutny(2) More (+10 of total 39)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 13 keywords
Results
Found 67 publication records. Showing 67 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Eike Best, Philippe Darondeau Deciding Selective Declassification of Petri Nets. Search on Bibsonomy POST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau Separability in Persistent Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau Petri Net Distributability. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Loïc Hélouët, Madhavan Mukund Assembling Sessions. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda Residuation of tropical series: Rationality issues. Search on Bibsonomy CDC-ECE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan Petri Net Reachability Graphs: Decidability Status of FO Properties. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang Quasi-static scheduling of communicating tasks. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau, Roberto Gorrieri On the Decidability of Non Interference over Unbounded Petri Nets Search on Bibsonomy SecCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau Separability in Persistent Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau A decomposition theorem for finite persistent transition systems. Search on Bibsonomy Acta Inf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev Synthesis of Nets with Step Firing Policies. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang Quasi-Static Scheduling of Communicating Tasks. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau Decomposition Theorems for Bounded Persistent Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev Synthesis of Nets with Step Firing Policies. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF step firing policy, step transition system, synthesis problem, Petri nets, regions
1Philippe Darondeau On the Synthesis of Zero-Safe Nets. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Blaise Genest, Loïc Hélouët Products of Message Sequence Charts. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eike Best, Philippe Darondeau, Harro Wimmel Making Petri Nets Safe and Free of Internal Transitions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau Concurrent Secrets. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Concurrency, Computer security, Automata, Supervisory control, Opacity
1Philippe Darondeau Synthesis and Control of Asynchronous and Distributed Systems. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andrzej M. Borzyszkowski, Philippe Darondeau Transition systems without transitions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1René K. Boel, Philippe Darondeau, Sadatoshi Kumagai Foreword. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo, Philippe Darondeau (eds.) Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  BibTeX  RDF
1Eric Badouel, Philippe Darondeau The synthesis of Petri nets from path-automatic specifications. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, X. Xie Linear control of live marked graphs. Search on Bibsonomy Automatica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau Unbounded Petri Net Synthesis. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Benoît Caillaud, Philippe Darondeau Distributing Finite Automata Through Petri Net Synthesis. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF General Petri nets, Distribution, Synthesis, Finite automata, Regions
1Philippe Darondeau On the Petri net realization of context-free graphs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau Generalized Automata and Their Net Representations. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau Region Based Synthesis of P/T-Nets and Its Potential Applications. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  BibTeX  RDF
1Eric Badouel, Philippe Darondeau, Jean-Claude Raoult Context-Free Event Domains are Recognizable. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau, Andrew Tokmakoff Modelling Dynamic Agent Systems with Cooperating Automata. Search on Bibsonomy PDPTA The full citation details ... 1999 DBLP  BibTeX  RDF
1Philippe Darondeau Deriving Unbounded Petri Nets from Formal Languages. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Luca Bernardinello, Philippe Darondeau The Synthesis Problem for Elementary Net Systems is NP-Complete. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau Stratified Petri Nets. Search on Bibsonomy FCT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau Theory of Regions. Search on Bibsonomy Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau Trace Nets and Process Automata. Search on Bibsonomy Acta Inf. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Luca Bernardinello, Philippe Darondeau Polynomial Algorithms for the Synthesis of Bounded Nets. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau, Jean-Claude Raoult Context-Free Event Domains are Recognizable. Search on Bibsonomy AMAST The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau Dualities Between Nets and Automata Induced by Schizophrenic Objects. Search on Bibsonomy Category Theory and Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Pierpaolo Degano Refinement of Actions in Event Structures and Causal Trees. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz Fairness, Distances and Degrees. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Serge Yoccoz Proof Systems for Infinite Behaviours Search on Bibsonomy Inf. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau Structural Operational Specifications and the Trace Automata. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Philippe Darondeau Trace Nets. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Trace Automata, Trace Nets, Regions
1Eric Badouel, Philippe Darondeau On Guarded Recursion. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Pierpaolo Degano About semantic action refinement. Search on Bibsonomy Fundam. Inform. The full citation details ... 1991 DBLP  BibTeX  RDF
1Philippe Darondeau Recursive Graphs are not Stable under Maximal Reduction. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1991 DBLP  BibTeX  RDF
1Philippe Darondeau, Pierpaolo Degano Event Structures, Causal Trees, and Refinements. Search on Bibsonomy MFCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau Concurrency and Computability. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Pierpaolo Degano Causal Trees: Interleaving + Causality. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF concurrency, bisimulation, causality, non-determinism
1Philippe Darondeau Bisimulation and Effectiveness. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Pierpaolo Degano Causal Trees. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, B. Gamatie A Fullt Observational Model for Infinite Behaviours of Communicating Systems. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau Une Critique de La Notion de Test de Processus Fondée Sur La Non Séparabilité de Certaines Classes de Langages. Search on Bibsonomy ITA The full citation details ... 1986 DBLP  BibTeX  RDF
1Philippe Darondeau Separating and Testing. Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau About Fair Asynchrony. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Laurent Kott Towards a Formal Proof System for omega-Rational Expressions. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau A Fully Abstract Model of Fair Asynchrony. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Laurent Kott A formal proof system for infinitary rational expressions. Search on Bibsonomy Automata on Infinite Words The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Laurent Kott On the Observational Semantics of Fair Parallelism. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau An enlarged definition and complete axiomatization of observational congruence of finite processes. Search on Bibsonomy Symposium on Programming The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Paul Le Guernic, Michel Raynal Types in a Mixed Language System. Search on Bibsonomy BIT The full citation details ... 1981 DBLP  BibTeX  RDF
1Philippe Darondeau Processus non-séquentiels et leurs observations en univers non-centralisé. Search on Bibsonomy Symposium on Programming The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage A Formal Model for System Oriented Architecture. Search on Bibsonomy IFIP Congress The full citation details ... 1974 DBLP  BibTeX  RDF
1Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage Application de la strucuturation des systéme à la conception interne du système GEMAU. Search on Bibsonomy Symposium on Programming The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #67 of 67 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.