Fabrice Kordon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Brillouin torus decomposition for Chern insulators	2023-08-28	Paper
Community and LBD-based clause sharing policy for parallel SAT solving	2021-04-07	Paper
Parallel Explicit Model Checking for Generalized Büchi Automata Tools and Algorithms for the Construction and Analysis of Systems	2019-09-17	Paper
CDCLSym: introducing effective symmetry breaking in SAT solving	2019-09-16	Paper
Three SCC-based emptiness checks for generalized Büchi automata Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Strength-based decomposition of the property Büchi automaton for faster model checking Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Extending PNML scope: a framework to combine Petri nets types Transactions on Petri Nets and Other Models of Concurrency VI	2013-03-13	Paper
Model Checking Using Generalized Testing Automata Transactions on Petri Nets and Other Models of Concurrency VI	2013-03-13	Paper
Computing a hierarchical static order for decision diagram-based representation from P/T nets Lecture Notes in Computer Science	2012-06-08	Paper
Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag Applications and Theory of Petri Nets	2011-06-29	Paper
Building efficient model checkers using hierarchical set decision diagrams and automatic saturation Fundamenta Informaticae	2009-11-30	Paper
Hierarchical Set Decision Diagrams and Regular Models Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
Exploiting colored Petri nets to decide on permutation admissibility Acta Informatica	2009-03-26	Paper
PN Standardisation: A Survey Lecture Notes in Computer Science	2009-03-11	Paper
Optimized Colored Nets Unfolding Lecture Notes in Computer Science	2009-03-11	Paper
Hierarchical Set Decision Diagrams and Automatic Saturation Applications and Theory of Petri Nets	2008-07-03	Paper
scientific article; zbMATH DE number 1759740 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1693452 (Why is no real title available?)	2002-01-22	Paper

Research outcomes over time

This page was built for person: Fabrice Kordon