Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Daniel Stan

> Home > Persons

Person information

affiliation: Saarland University, SIC, Saarbrücken, Germany
affiliation: ENS Cachan/Paris-Saclay, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/StanNLA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/StanNLA24
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla:
Concurrent Stochastic Lossy Channel Games. CSL 2024: 46:1-46:19
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-06366
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-06366
Adrien Pommellet, Daniel Stan, Simon Scatton:
SAT-based Learning of Computation Tree Logic. CoRR abs/2402.06366 (2024)
2023
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-17037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-17037
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla:
Concurrent Stochastic Lossy Channel Games. CoRR abs/2311.17037 (2023)
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/StanL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/StanL21
Daniel Stan, Anthony W. Lin:
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems. AAMAS 2021: 1254-1262
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MarkgrafSL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MarkgrafSL20
Oliver Markgraf, Daniel Stan, Anthony W. Lin:
Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). CAV (2) 2021: 243-265
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-04361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-04361
Daniel Stan, Anthony Widjaja Lin:
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report). CoRR abs/2102.04361 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13071
Oliver Markgraf, Daniel Stan, Anthony W. Lin:
Learning Union of Integer Hypercubes with Queries (Technical Report). CoRR abs/2105.13071 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FoxSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FoxSH19
Gereon Fox, Daniel Stan, Holger Hermanns:
Syntactic Partial Order Compression for Probabilistic Reachability. VMCAI 2019: 446-467
2017
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Stan17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Stan17
Daniel Stan:
Randomized strategies in concurrent games. (Stratégies randomisées dans les jeux concurrents). University of Paris-Saclay, France, 2017
2016
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/BouyerMRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BouyerMRSS16
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan:
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP 2016: 106:1-106:14
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BouyerMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouyerMS16
Patricia Bouyer, Nicolas Markey, Daniel Stan:
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF 2016: 61-75
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BouyerMRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouyerMRSS16
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan:
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR abs/1602.05928 (2016)
2014
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BouyerMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BouyerMS14
Patricia Bouyer, Nicolas Markey, Daniel Stan:
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS 2014: 351-363

a service of

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.