Publications of Joost-Pieter Katoen
Current status: normal - monitoring
Number of users monitoring this page: 2
Most recent sizable change (text, html) : 2013-05-17 02:39
Most recent change (text, html) : 2013-05-17 02:39
Last checked for changes: 2013-05-18 02:39
ChangeDetection started monitoring: 2008-03-14 02:39
|
|
|
monitor this page
summary of most recent changes
|
View changes:
2013-05-17 02:39
100 new words, 2 deleted words, 1% change
|
|
... . Conf. on Application and Theory and Application of Petri Nets and Concurrency (ICATPN). pages ... Springer, 2013. Friedrich Gretz, Joost-Pieter Katoen, and Annabelle McIver. PRINSYS—on a Quest for Probabilistic Loop Invariants. In 10th ... Markov Automata. In 10th Int. Conf. on Quantitative Evaluation of Systems (QEST’13). LNCS. Springer, 2013. E. Moritz Hahn ... 7792 of LNCS. Springer, ...
. Conf. on Application and Theory ... of Petri Nets and Concurrency (ICATPN). pages ... Springer, 2013. Friedrich Gretz, Joost-Pieter Katoen, and Annabelle McIver. PRINSYS—on a Quest for Probabilistic Loop Invariants. In 10th ... Markov Automata. In 10th Int. Conf. on Quantitative Evaluation of Systems (QEST’13). LNCS. Springer, 2013. E. Moritz Hahn ... 7792 of LNCS. Springer, 2013. Ilya Tkachev ...
. Conf. on ... Theory and Application of Petri Nets ... 2013. Ilya Tkachev
more...
|
|
View changes:
2013-05-14 02:39
51 new words, 0 deleted words, <1% change
|
|
... ACM, 2013. Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen, and Bernd Becker. High-level Counterexamples for Probabilistic Automata . In 10th Int. Conf. on Quantitative Evaluation of Systems (QEST’13). LNCS (to appear). Springer, 2013. 2012 Alessandro D&#
ACM, 2013. Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen, and Bernd Becker. High-level Counterexamples for Probabilistic Automata . In 10th Int. Conf. on Quantitative Evaluation of Systems (QEST’13). LNCS (to appear). Springer, 2013. 2012 Alessandro D&#
ACM, 2013. ... 2012 Alessandro D&#
|
|
View changes:
2013-04-25 02:39
8 new words, 0 deleted words, <1% change
|
|
... Nets (ICATPN). pages 90–109. Volume 7927 of LNCS
Nets (ICATPN). pages 90–109. Volume 7927 of LNCS
Nets (ICATPN). ... Volume 7927 of LNCS
|
|
View changes:
2013-04-22 02:39
42 new words, 0 deleted words, <1% change
|
|
... Springer, 2013. Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, and Andrzej Wasowski. Abstract Probabilistic Automata. Information and Computation , :1–80, 2013. Christian Eisentraut, Holger
Springer, 2013. Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, and Andrzej Wasowski. Abstract Probabilistic Automata. Information and Computation , :1–80, 2013. Christian Eisentraut, Holger
Springer, 2013. ... Christian Eisentraut, Holger
|
|
View changes:
2013-04-16 02:39
3 new words, 0 deleted words, <1% change
|
|
... Nets (ICATPN). Volume 7927 of LNCS. Springer,
Nets (ICATPN). Volume 7927 of LNCS. Springer,
Nets (ICATPN). ... LNCS. Springer,
|
link to this change log
Changes to the page www-i2.informatik.rwth-aachen.de/~katoen/pubs.php?al=no are logged on this page as they are detected. You can link to this log
by pasting the HTML below into your page. It produces a link which looks like this: change log
|
|
