( en | de | ru )

 

Disambiguation of "Ilié, Jean-Michel"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient lumpability check in partially symmetric systems.

, , , and . QEST, page 211-220. IEEE Computer Society, (2006)

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.

Jean-Michel Langlais

Jean-Michel Dengler

Jean-Michel Grossenbacher

Jean-Michel Autebert

Jean-Michel Ayache

 

Other publications of authors with the same name

Hierarchical System Design Using Refinable Recursive Petri Net., , and . Comput. Informatics, 37 (3): 635-655 (2018)A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation., , and . Int. J. Ambient Comput. Intell., 13 (1): 1-19 (2022)Relative Timed Model for Coordinated Multi Agent Systems., , , and . CIIA, volume 456 of IFIP Advances in Information and Communication Technology, page 15-27. Springer, (2015)Exploiting Partial Symmetries for Markov Chain Aggregation., , , and . MTCS, volume 39 of Electronic Notes in Theoretical Computer Science, page 231-257. Elsevier, (2000)An Efficient Learning Assistant for a Contextual Road Navigation., , , and . ANT/EDI40, volume 170 of Procedia Computer Science, page 522-529. Elsevier, (2020)Maximality Semantic For Recursive Petri Nets., , and . ECMS, page 544-550. European Council for Modeling and Simulation, (2013)Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates., , and . ECMS, page 549-555. European Council for Modeling and Simulation, (2015)Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond., , and . TACAS, volume 1384 of Lecture Notes in Computer Science, page 52-67. Springer, (1998)Spatio-Temporal Guidance for Ambient Agents., , , and . CSCS, page 719-726. IEEE, (2015)Pruning Search Spaces of RATA Model for the Job-Shop Scheduling., , and . QSHINE, volume 115 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 387-401. Springer, (2013)