( en | de | ru )

 

Disambiguation of "Katoen, Joost-Pieter"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.

, , and . FORTE, volume C-22 of IFIP Transactions, page 253-268. North-Holland, (1993)

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.

Joost-Pieter Katoen

Pieter Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

Other publications of authors with the same name

Partial Order Models for Quantitative Extensions of LOTOS., , , and . Comput. Networks, 30 (9-10): 925-950 (1998)Approximate Model Checking of Stochastic Hybrid Systems., , , and . Eur. J. Control, 16 (6): 624-641 (2010)Pattern-matching algorithms based on term rewrite systems., and . Theor. Comput. Sci., 238 (1-2): 439-464 (2000)Automatically Finding the Right Probabilities in Bayesian Networks., and . J. Artif. Intell. Res., (2023)Generative Datalog with Continuous Distributions., , , and . J. ACM, 69 (6): 46:1-46:52 (2022)Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)., , , and . Dagstuhl Reports, 8 (3): 74-93 (2018)Guest editors' introduction: quantitative analysis of real-time embedded systems., , and . Int. J. Softw. Tools Technol. Transf., 8 (6): 605-606 (2006)Guest editors' introduction: Advancements and extensions of verification techniques., and . Int. J. Softw. Tools Technol. Transf., 6 (2): 99-101 (2004)Relatively Complete Verification of Probabilistic Programs., , , and . CoRR, (2020)Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence., and . SETSS, volume 12154 of Lecture Notes in Computer Science, page 44-121. Springer, (2019)