( en | de | ru )

 

Disambiguation of "Genest, Blaise"

Author of the publication

copydeleteadd this publication to your clipboard
Succinct Population Protocols for Presburger Arithmetic.

, , , , and . CoRR, (2019)

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

Harald Genest

Andrea 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)Atomicity for XML Databases., , and . XSym, volume 5679 of Lecture Notes in Computer Science, page 180-187. Springer, (2009)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)A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application., , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 9 (5): 1352-1365 (2012)Symbolically Bounding the Drift in Time-Constrained MSC Graphs., , , and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 1-15. Springer, (2012)Privacy preserving minimal observability for composite transactional services., and . Discrete Event Dynamic Systems, 24 (4): 611-646 (2014)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)