×

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: 119 Publications since 1989, including 7 Books
Reviewing Activity: 13 Reviews
all top 5

Co-Authors

3 single-authored
32 Hermanns, Holger
17 Baier, Christel
10 Haverkort, Boudewijn R.
10 Jansen, Nils
10 Kaminski, Benjamin Lucien
9 Mereacre, Alexandru
7 Han, Tingting
6 Abate, Alessandro
6 Ábrahám, Erika
6 Matheja, Christoph
6 Rensink, Arend
6 Stoelinga, Mariëlle
6 Wimmer, Ralf
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 Timmer, Mark
3 Chakraborty, Souymodip
3 Distefano, Dino
3 Guck, Dennis
3 Junges, Sebastian
3 Massink, Mieke
3 Neuhäußer, Martin R.
3 Sher, Falak
3 Siegle, Markus
3 van de Pol, Jan Cornelis
2 Delahaye, Benoît
2 Fu, Hongfei
2 Gretz, Friedrich
2 Hahn, Ernst Moritz
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 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 Bošnački, Dragan
1 Bowman, Howard
1 Bravetti, Mario
1 Brázdil, Tomáš
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 Hartmanns, Arnd
1 Hatefi, Hassan
1 Hemerik, Cornelis
1 Herzog, Ulrich
1 Huang, Mingzhang
1 Infante-Lopez, Gabriel G.
1 Jonsson, Bengt
1 Katelaan, Jens
1 Kemna, Tim
1 Kemper, Peter
1 Kern, Carsten
1 Kiefer, Stefan
1 König, Barbara
1 Kröger, Paul
1 Kucera, Antonin
1 Kwiatkowska, Marta Z.
1 Loreti, Michele
1 Lygeros, John
1 Meinicke, Larissa A.
1 Morgan, Carroll C.
1 Norman, Gethin
1 Novotný, Petr
1 Olderog, Ernst-Rüdiger
1 Parker, David F.
1 Parker, David J.
1 Prandini, Maria
1 Pretschner, Alexander
1 Quatmann, Tim
1 Ruys, Theo C.
1 Schoenmakers, Berry
...and 9 more Co-Authors
all top 5

Serials

8 Theoretical Computer Science
6 Information and Computation
6 Lecture Notes in Computer Science
4 Formal Methods in System Design
3 Science of Computer Programming
3 Formal Aspects of Computing
3 Logical Methods in Computer Science
2 Acta Informatica
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

116 Computer science (68-XX)
16 Probability theory and stochastic processes (60-XX)
7 Mathematical logic and foundations (03-XX)
6 Operations research, mathematical programming (90-XX)
5 General mathematics (00-XX)
3 Systems theory; control (93-XX)
2 Information and communication, circuits (94-XX)
1 Combinatorics (05-XX)
1 Integral equations (45-XX)
1 Game theory, economics, 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