( en | de | ru )

 

Disambiguation of "Kordon, Fabrice"

Author of the publication

copydeleteadd this publication to your clipboard
PaInleSS: A Framework for Parallel SAT Solving.

, , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 233-250. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Kordon

Anja Kordon

Michael Kordon

Günter Kordon

Andreas Kordon

 

Other publications of authors with the same name

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System., , , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 123-132. Springer, (2000)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , and . ACC, page 5018-5025. IEEE, (2009)Have You Found the Error? A Formal Framework for Learning Game Verification., , , , and . EC-TEL, volume 8719 of Lecture Notes in Computer Science, page 476-481. Springer, (2014)On the Formal Verification of Middleware Behavioral Properties., , , , , and . FMICS, volume 133 of Electronic Notes in Theoretical Computer Science, page 139-157. Elsevier, (2004)Design, modeling and analysis of ITS using UML and Petri Nets., , , and . ITSC, page 314-319. IEEE, (2007)Experiences in Model Driven Verification of Behavior with UML., and . Monterey Workshop, volume 6028 of Lecture Notes in Computer Science, page 181-200. Springer, (2008)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 330-352. Springer, (2012)Hierarchical Set Decision Diagrams and Automatic Saturation., , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 211-230. Springer, (2008)MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.. Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 308-319. Springer, (1999)A Model Based Development Approach for Distributed Embedded Systems., , and . RISSEF, volume 2941 of Lecture Notes in Computer Science, page 137-151. Springer, (2002)