Daniel Stan

发表

Reachability in Networks of Register Protocols under Stochastic Schedulers

Patricia Bouyer, Nicolas Markey, Mickael Randour, 2016, ICALP.

Syntactic Partial Order Compression for Probabilistic Reachability

Holger Hermanns, Daniel Stan, Gereon Fox, 2019, VMCAI.

Study on the Resonant Frequency Gliding in the Ultrasonic Systems Loaded with Variable Axial Compression Force

Daniel Stan, Andrei Adam, D. Stan, 2013 .

Randomized strategies in concurrent games. (Stratégies randomisées dans les jeux concurrents)

Daniel Stan, 2017 .

The Influence of the Processing Parameters in the Ultrasonic Activated Injection and Extrusion

Daniel Stan, Andrei Adam, D. Stan, 2013 .

CMM Design Based on Fundamental Design Principles

Daniel Stan, Aurel Tulcan, Liliana Tulcan, 2014 .

VIRTUAL 3D CAD MODEL OF COMPLEX BODIES REALISED UNDER SOLID WORKS ENVIRONMENT

Daniel Stan, Aurel Tulcan, Valentin Seiculescu, 2009 .

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games

Patricia Bouyer, Nicolas Markey, Daniel Stan, 2016, GandALF.

Mixed Nash Equilibria in Concurrent Terminal-Reward Games

Patricia Bouyer, Nicolas Markey, Daniel Stan, 2014, FSTTCS.

Influence Factors on the Dimensional Accuracy of the Plastic Parts

Daniel Stan, M. Viteazul, Aurel Tulcan, 2008 .

Learning Union of Integer Hypercubes with Queries (Technical Report) pdf

Daniel Stan, Oliver Markgraf, Anthony W. Lin, 2021, ArXiv.

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition)

Daniel Stan, Oliver Markgraf, Anthony Widjaja Lin, 2021, CAV.

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report)

Anthony Widjaja Lin, Daniel Stan, 2021, AAMAS.

Mixed Nash Equilibria in Concurrent Games

Patricia Bouyer, Nicolas Markey, Daniel Stan, 2015 .