( en | de | ru )

 

Disambiguation of "Genest, Blaise"

Author of the publication

copydeleteadd this publication to your clipboard
On Commutativity Based Edge Lean Search.

, , , and . ICALP, volume 4596 of Lecture Notes in Computer Science, page 158-170. Springer, (2007)

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

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)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)Regular set of representatives for time-constrained MSC graphs., , , and . Inf. Process. Lett., 112 (14-15): 592-598 (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)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 . AIware, ACM, (2024)Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings., , and . FoSSaCS, volume 10803 of Lecture Notes in Computer Science, page 403-419. Springer, (2018)