Fabrice Kordon

Available identifiers

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	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	2014-01-17	Paper
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking	2013-08-05	Paper
Model Checking Using Generalized Testing Automata	2013-03-13	Paper
Extending pnml Scope: A Framework to Combine Petri Nets Types	2013-03-13	Paper
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets	2012-06-08	Paper
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag	2011-06-29	Paper
Building efficient model checkers using hierarchical set decision diagrams and automatic saturation	2009-11-30	Paper
Hierarchical Set Decision Diagrams and Regular Models	2009-03-31	Paper
Exploiting colored Petri nets to decide on permutation admissibility	2009-03-26	Paper
Optimized Colored Nets Unfolding	2009-03-11	Paper
PN Standardisation: A Survey	2009-03-11	Paper
Hierarchical Set Decision Diagrams and Automatic Saturation	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536756	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2764004	2002-01-22	Paper

This page was built for person: Fabrice Kordon