( en | de | ru )

 

Disambiguation of "Markey, Nicolas"

Author of the publication

copydeleteadd this publication to your clipboard
Control Strategies for Off-Line Testing of Timed Systems.

, , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 171-189. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Janice Markey

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Nicolas Swart

Lothar Nicolas

Nicólás Penzo

 

Other publications of authors with the same name

Non-blind Strategies in Timed Network Congestion Games., , and . FORMATS, volume 13465 of Lecture Notes in Computer Science, page 183-199. Springer, (2022)Lower-bound-constrained runs in weighted timed automata., , and . Perform. Evaluation, (2014)Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty., , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 203-221. Springer, (2018)Efficient Timed Diagnosis Using Automata with Timed Domains., , and . RV, volume 11237 of Lecture Notes in Computer Science, page 205-221. Springer, (2018)On the semantics of Strategy Logic., , and . Inf. Process. Lett., 116 (2): 75-79 (2016)Quantitative Verification of Weighted Kripke Structures., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 64-80. Springer, (2014)Costs Are Expensive!, and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 53-68. Springer, (2007)Symbolic Optimal Reachability in Weighted Timed Automata., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 513-530. Springer, (2016)Robust Model-Checking of Linear-Time Properties in Timed Automata., , and . LATIN, volume 3887 of Lecture Notes in Computer Science, page 238-249. Springer, (2006)Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 177-192. Springer, (2012)