.:. Listes > Toutes les collaborations avec l'ENS Cachan > Abteilung Informatik und angewandte Kognitionswissenschaft [Duisburg] .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Efficient unfolding of contextual Petri nets Baldan P., Bruni A., Corradini A., König B., Rodríguez C., Schwoon S. Theoretical Computer Science 449, 1 (2012) 2-22 [hal-00776752 - version 1]

Unfolding-based Diagnosis of Systems with an Evolving Topology Baldan P., Chatain T., Haar S., König B. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Canada (2008) [inria-00638300 - version 1]

Distributed Unfolding of Petri Nets Baldan P., Haar S., König B. Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), Austria (2006) [inria-00638316 - version 1]