Claude Dutheillet
According to our database1,
Claude Dutheillet
authored at least 20 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
2
1
1
1
1
2
1
1
1
1
1
1
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm.
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
2023
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023
2011
An algorithmic approach for analysis of finite-source retrial systems with unreliable servers.
Comput. Math. Appl., 2011
2009
Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems.
Math. Comput. Model., 2009
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
2005
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
2001
SIGMETRICS Perform. Evaluation Rev., 2001
2000
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
1999
Proceedings of the MASCOTS 1999, 1999
1997
1995
Proceedings of the Application and Theory of Petri Nets 1995, 1995
1993
IEEE Trans. Computers, 1993
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993
Proceedings of the Application and Theory of Petri Nets 1993, 1993
1989
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989