Concurrent games with ordered objectives

par Bouyer, Patricia ;Brenguier, Romain

;Markey, Nicolas N.;Ummels, Michael
Référence Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12), Springer-Verlag, Vol. 7213, page (301-315)
Publication Publié, 2012-03

Publication dans des actes

Documents en relation

DI-fusion

Connaissances du contenu et connaissances technologiques des enseignants en Informatique en milieu francophone
par Komis, Vassilis K.V. , Bachy, Sylviane , Goletti, Olivier O.G. , Parriaux, Gabriel , Rafalska, Maryna , Lavidas, KONSTANTINOS L.K
Publication 2022-12-20
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Complexity of Distributed Petri Net Synthesis
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Interplays of Sure, Almost-Sure, and Threshold Parity Objectives on Markov Decision Processes
par Berthon, Raphaël
Publication Faculté des Sciences – Informatique, Bruxelles, Universiteit Antwerpen, Faculty of Science, Department of Mathematics - Computer Science - Doctor in de wetenschappen: informatica, 2022-10-28
Torsion point attacks on ‘SIDH-like’ cryptosystems
par Kutas, Péter , Petit, Christophe
Publication 2022-09-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.