Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

8 résultats

	Pour les 8 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Game Quantification Patterns Dietmar Berwanger , Sophie Pinchinat ICLA, Jan 2009, Chennai, India. pp.116-130 Communication dans un congrès inria-00555746v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Synthesising Full-Information Protocols Dietmar Berwanger , Laurent Doyen , Thomas Soullard 2023 Pré-publication, Document de travail hal-04310707v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automata on Directed Graphs : Edge versus Vertex Marking Dietmar Berwanger , David Janin ICGT, Sep 2006, Brazil. pp.46--60 Communication dans un congrès hal-00306378v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Observation and Distinction: Representing Information in Infinite Games Dietmar Berwanger , Laurent Doyen Theory of Computing Systems, 2022, Special Issue on Theoretical Aspects of Computer Science (STACS 2020), ⟨10.1007/s00224-021-10044-x⟩ Article dans une revue hal-03876610v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Parity Games on Undirected Graphs Dietmar Berwanger , Olivier Serre Information Processing Letters, 2012, 112 (23), pp.5. ⟨10.1016/j.ipl.2012.08.021⟩ Article dans une revue hal-01260646v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Observation and Distinction. Representing Information in Infinite Games Dietmar Berwanger , Laurent Doyen 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), Mar 2020, Grenoble, France. ⟨10.4230/LIPIcs.STACS.2020.48⟩ Communication dans un congrès hal-03081949v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Hierarchical information and the synthesis of distributed strategies Dietmar Berwanger , Anup Basil Mathew , Marie van den Bogaard Acta Informatica, 2018, 55 (8), pp.669-701. ⟨10.1007/s00236-017-0306-5⟩ Article dans une revue hal-02408152v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Observation and Distinction. Representing Information in Infinite Games Dietmar Berwanger , Laurent Doyen 2019 Pré-publication, Document de travail hal-02408155v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More