( en | de | ru )

 

Disambiguation of "Genest, Blaise"

Author of the publication

copydeleteadd this publication to your clipboard
Distribution-based objectives for Markov Decision Processes.

, , and . LICS, page 36-45. ACM, (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.

Hartmut Genest

Götz Genest

Dietrich Genest

Andrea Genest

Harald Genest

 

Other publications of authors with the same name

Regular set of representatives for time-constrained MSC graphs., , , and . Inf. Process. Lett., 112 (14-15): 592-598 (2012)On Implementation of Global Concurrent Systems with Local Asynchronous Controllers.. CONCUR, volume 3653 of Lecture Notes in Computer Science, page 443-457. Springer, (2005)Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.. TACAS, volume 3440 of Lecture Notes in Computer Science, page 429-444. Springer, (2005)Atomicity for XML Databases., , and . XSym, volume 5679 of Lecture Notes in Computer Science, page 180-187. Springer, (2009)Symbolically Bounding the Drift in Time-Constrained MSC Graphs., , , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 1-15. Springer, (2012)On Commutativity Based Edge Lean Search., , , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 158-170. Springer, (2007)Decidable Classes of Unbounded Petri Nets with Time and Urgency., , and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 301-322. Springer, (2016)A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways., , , and . CMSB, page 35-44. ACM, (2011)Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning., , and . CoRR, (2024)Succinct Population Protocols for Presburger Arithmetic, , , , and . (2019)