×

zbMATH — the first resource for mathematics

Edit Profile

Katoen, Joost-Pieter

Compute Distance To:
Author ID: katoen.joost-pieter
Published as: Katoen, J. P.; Katoen, J.-P.; Katoen, Joost-Pieter
External Links: ORCID
Documents Indexed: 126 Publications since 1989, including 9 Books
Reviewing Activity: 13 Reviews
all top 5

Co-Authors

1 single-authored
32 Hermanns, Holger
18 Baier, Christel
10 Haverkort, Boudewijn R.
10 Jansen, Nils
10 Kaminski, Benjamin Lucien
9 Mereacre, Alexandru
7 Han, Tingting
7 Junges, Sebastian
7 Stoelinga, Mariëlle
6 Abate, Alessandro
6 Ábrahám, Erika
6 Matheja, Christoph
6 Rensink, Arend
6 Wimmer, Ralf D.
6 Wolf, Verena
5 D’Argenio, Pedro Rubén
5 Dehnert, Christian
5 Leucker, Martin
5 Olmedo, Federico
4 Becker, Bernd
4 Chen, Taolue
4 Klink, Daniel
4 Latella, Diego
4 Sher, Falak
4 Timmer, Mark
3 Distefano, Dino
3 Guck, Dennis
3 Massink, Mieke
3 Neuhäußer, Martin R.
3 Siegle, Markus
3 van de Pol, Jan Cornelis
2 Delahaye, Benoît
2 Fu, Hongfei
2 Gretz, Friedrich
2 Hahn, Ernst Moritz
2 Hartmanns, Arnd
2 Heinen, Jonathan
2 Jansen, Christina
2 Jansen, David N.
2 Klaren, Ric
2 Langerak, Rom
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 McIver, Annabelle K.
2 Meyer-Kayser, Joachim
2 Noll, Thomas
2 Nymeyer, Albert
2 Pedersen, Mikkel Lykke
2 Quatmann, Tim
2 Tkachev, Ilya
2 Wąsowski, Andrzej
2 Zhang, Lijun
1 Andova, Suzana
1 Barbot, Benoît
1 Batz, Kevin
1 Bohnenkamp, Henrik C.
1 Bollig, Benedikt
1 Bowman, Howard
1 Bravetti, Mario
1 Brinksma, Ed
1 Broy, Manfred
1 Buchholz, Peter
1 Cloth, Lucia
1 De Nicola, Rocco
1 D’Innocenzo, Alessandro
1 Eisentraut, Christian
1 Faconti, G. P.
1 Fränzle, Martin
1 Gerwinn, Sebastian
1 Hatefi, Hassan
1 Hemerik, Cornelis
1 Hensel, Christian
1 Herzog, Ulrich
1 Huang, Mingzhang
1 Hutschenreiter, Lisa
1 Infante-Lopez, Gabriel G.
1 Jonsson, Bengt
1 Katelaan, Jens
1 Kemna, Tim
1 Kemper, Peter
1 Kern, Carsten
1 Klein, Joachim
1 König, Barbara
1 Kröger, Paul
1 Kwiatkowska, Marta Z.
1 Loreti, Michele
1 Lygeros, John
1 Meinicke, Larissa A.
1 Morgan, Carroll C.
1 Norman, Gethin
1 Olderog, Ernst-Rüdiger
1 Parker, David F.
1 Parker, David J.
1 Prandini, Maria
1 Pretschner, Alexander
1 Ruys, Theo C.
1 Song, Lei
1 Spel, Jip
1 Swaminathan, Mani
1 Tepper, Carsten
...and 3 more Co-Authors
all top 5

Serials

8 Theoretical Computer Science
7 Information and Computation
5 Lecture Notes in Computer Science
3 Formal Aspects of Computing
3 Formal Methods in System Design
3 Logical Methods in Computer Science
2 Acta Informatica
2 Science of Computer Programming
2 The Journal of Logic and Algebraic Programming
1 Information Processing Letters
1 MSCS. Mathematical Structures in Computer Science
1 European Journal of Control
1 Journal of the ACM
all top 5

Fields

110 Computer science (68-XX)
15 Probability theory and stochastic processes (60-XX)
7 Operations research, mathematical programming (90-XX)
5 Mathematical logic and foundations (03-XX)
4 General and overarching topics; collections (00-XX)
3 Systems theory; control (93-XX)
2 Information and communication theory, circuits (94-XX)
1 Integral equations (45-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription