Philippe Quéinnec
According to our database1,
Philippe Quéinnec
authored at least 36 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
2
1
1
1
1
1
1
3
1
2
1
1
1
1
1
1
4
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2022
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.
Inf. Syst., 2022
2021
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models.
Log. Methods Comput. Sci., 2021
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021
2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Tests and Proofs - 13th International Conference, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Business Process Management - 17th International Conference, 2019
2018
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018
2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
Proceedings of the Distributed Computing and Artificial Intelligence, 2017
2016
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem.
Int. J. Intell. Syst. Technol. Appl., 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
2013
Concurr. Comput. Pract. Exp., 2013
2010
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
2009
Scalable Comput. Pract. Exp., 2009
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009
2008
Proceedings of the 8th international conference on New technologies in distributed systems, 2008
2007
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007
2006
Proceedings of the 14th Euromicro International Conference on Parallel, 2006
2005
Proceedings of the Parallel Processing and Applied Mathematics, 2005
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005
Proceedings of the 13th ACM International Conference on Multimedia, 2005
Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005
2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
2000
Describing Mobile Computations with Path Vectors.
Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000
Proceedings of the Parallel and Distributed Processing, 2000
1999
Modelling and Verifying Migration: A case study.
Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999
1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
1996
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996
1994
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994
1993
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993