Joost-Pieter Katoen

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of …
Dirección de correo verificada de cs.rwth-aachen.de
Citado por 18876
model checking concurrency theory probabilistic computation probabilistic programming program verification
Daowen Qiu

Daowen Qiu

Sun Yat-sen University
Citado por 3110
Quantum computation and quantum … Fuzzy computation Probabilistic computation Discrete Event Systems
Ugo Dal Lago

Ugo Dal Lago

Professor of Computer Science, University of Bologna
Dirección de correo verificada de cs.unibo.it
Citado por 1989
Programming Languages Implicit Computational Complexity Quantum Computation Probabilistic Computation Cryptography
Himansu Sekahr Pattanayak

Himansu Sekahr Pattanayak

PhD Scholar, NIT Jalandhar
Citado por 4
Social Network Analysis Complex Network Probabilistic Computation Soft Computing Cryptography