Thomas Brihaye

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Nicolas Markey

> Home > Persons > Thomas Brihaye

Publications

2016
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrihayeDJMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrihayeDJMS16
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents]
2010
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejwcn/BrihayeJLMO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejwcn/BrihayeJLMO10
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby:
Using Model Checking for Analyzing Distributed Power Control Problems. EURASIP J. Wirel. Commun. Netw. 2010 (2010)
2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/BrihayeLLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/BrihayeLLM09
Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey:
ATL with Strategy Contexts and Bounded Memory. LFCS 2009: 92-106
2008
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BertrandBBM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BertrandBBM08
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey:
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/time/BrihayeMGR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/BrihayeMGR08
Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg:
Good Friends are Hard to Find! TIME 2008: 32-40
2007
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BrihayeLMO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BrihayeLMO07
Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby:
Timed Concurrent Game Structures. CONCUR 2007: 445-459
2006
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/BouyerBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/BouyerBM06
Patricia Bouyer, Thomas Brihaye, Nicolas Markey:
Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.