×
Edit Profile (opens in new tab)

Otto, Carsten

Co-Author Distance
Author ID: otto.carsten Recent zbMATH articles by "Otto, Carsten"
Published as: Otto, Carsten
Documents Indexed: 6 Publications since 2008
Co-Authors: 15 Co-Authors with 6 Joint Publications
112 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
6 Giesl, Jürgen
5 Brockschmidt, Marc
3 Fuhs, Carsten
3 Schneider-Kamp, Peter
2 Emmes, Fabian
2 Frohn, Florian
2 Plücker, Martin
2 Ströder, Thomas
2 Swiderski, Stephanie
2 Thiemann, René
2 von Essen, Christian
1 Aschermann, Cornelius
1 Hensel, Jera
1 Lucas, Salvador
1 Navarro-Marset, Rafael

Serials

1 Journal of Automated Reasoning

Fields

6 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 85 times in 70 Documents Cited by ▼ Year ▼
Analyzing program termination and complexity automatically with AProVE. Zbl 1409.68255
Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René
33
2017
Proving termination of programs automatically with AProVE. Zbl 1409.68256
Giesl, Jürgen; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René
22
2014
Automated termination analysis of Java bytecode by term rewriting. Zbl 1236.68145
Otto, Carsten; Brockschmidt, Marc; Von Essen, Christian; Giesl, Jürgen
15
2010
Search techniques for rational polynomial orders. Zbl 1166.68354
Fuhs, Carsten; Navarro-Marset, Rafael; Otto, Carsten; Giesl, Jürgen; Lucas, Salvador; Schneider-Kamp, Peter
7
2008
Modular termination proofs of recursive Java bytecode programs by term rewriting. Zbl 1236.68036
Brockschmidt, Marc; Otto, Carsten; Giesl, Jürgen
5
2011
Termination graphs for Java bytecode. Zbl 1309.68038
Brockschmidt, Marc; Otto, Carsten; von Essen, Christian; Giesl, Jürgen
3
2010
Analyzing program termination and complexity automatically with AProVE. Zbl 1409.68255
Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René
33
2017
Proving termination of programs automatically with AProVE. Zbl 1409.68256
Giesl, Jürgen; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René
22
2014
Modular termination proofs of recursive Java bytecode programs by term rewriting. Zbl 1236.68036
Brockschmidt, Marc; Otto, Carsten; Giesl, Jürgen
5
2011
Automated termination analysis of Java bytecode by term rewriting. Zbl 1236.68145
Otto, Carsten; Brockschmidt, Marc; Von Essen, Christian; Giesl, Jürgen
15
2010
Termination graphs for Java bytecode. Zbl 1309.68038
Brockschmidt, Marc; Otto, Carsten; von Essen, Christian; Giesl, Jürgen
3
2010
Search techniques for rational polynomial orders. Zbl 1166.68354
Fuhs, Carsten; Navarro-Marset, Rafael; Otto, Carsten; Giesl, Jürgen; Lucas, Salvador; Schneider-Kamp, Peter
7
2008
all cited Publications top 5 cited Publications
all top 5

Cited by 123 Authors

15 Giesl, Jürgen
7 Frohn, Florian
6 Fuhs, Carsten
6 Hensel, Jera
5 Lucas, Salvador
5 Moser, Georg
5 Ströder, Thomas
4 Brockschmidt, Marc
4 Rubio, Albert
4 Schneider-Kamp, Peter
4 Thiemann, René
4 Winkler, Sarah
3 Ábrahám, Erika
3 Aschermann, Cornelius
3 Borralleras, Cristina
3 Cimatti, Alessandro
3 Emmes, Fabian
3 Griggio, Alberto
3 Kremer, Gereon
3 Magnago, Enrico
3 Middeldorp, Aart
3 Nishida, Naoki
3 Rodríguez-Carbonell, Enric
3 Yamada, Akihisa
3 Zuleger, Florian
2 Albert, Elvira
2 Baudon, Thaïs
2 Gonnord, Laure
2 Kop, Cynthia
2 Leutgeb, Lorenz
2 Merayo, Alicia
2 Noschinski, Lars
2 Oliveras, Albert
2 Otto, Carsten
2 Zankl, Harald
1 Aaronson, Scott
1 Bartocci, Ezio
1 Ben-Amram, Amir M.
1 Blanqui, Frédéric
1 Bonacina, Maria Paola
1 Brázdil, Tomáš
1 Caltais, Georgiana
1 Cao, Zhenfu
1 Charguéraud, Arthur
1 Chatterjee, Krishnendu
1 Chen, Jie
1 Codish, Michael
1 Corzilius, Florian
1 Deng, Yuxin
1 Dietsch, Daniel
1 Dong, Xiaolei
1 Durán, Francisco
1 Genaim, Samir
1 Genet, Thomas
1 Geser, Alfons
1 Gong, Junqing
1 Guéneau, Armaël
1 Guo, Liye
1 Gutiérrez, Raúl
1 Hähnle, Reiner
1 Hamilton, Geoff W.
1 Hark, Marcel
1 Heule, Marijn J. H.
1 Hirokawa, Nao
1 Hofbauer, Dieter
1 Hofmann, Martin
1 Ishizuki, Sayaka
1 Jourdan, Jacques-Henri
1 Jovanović, Dejan
1 Junges, Sebastian
1 Kassing, Jan-Christoph
1 Katoen, Joost-Pieter
1 Koskinen, Eric
1 Kovács, Laura Ildikó
1 Kucera, Antonin
1 Larraz, Daniel
1 Le, Ton Chanh
1 Lefaucheux, Engel
1 Liu, Yuandong Cyrus
1 Martí-Oliet, Narciso
1 Martin-Martin, Enrique
1 Meyer, Fabian
1 Moosbrugger, Marcel
1 Navarro-Marset, Rafael
1 Nipkow, Tobias
1 Novotný, Petr
1 Obwaller, David
1 Ouaknine, Joel O.
1 Oyamaguchi, Michio
1 Pang, Chengbin
1 Parting, Michael
1 Paulson, Lawrence Charles
1 Payet, Étienne
1 Plücker, Martin
1 Portokalidis, Georgios
1 Pottier, François
1 Purser, David
1 Sabel, David
1 Sakai, Masahiko
1 Salmon, Yann
...and 23 more Authors
all top 5

Cited in 13 Serials

14 Journal of Automated Reasoning
5 Journal of Logical and Algebraic Methods in Programming
3 Information and Computation
3 Logical Methods in Computer Science
2 Annals of Mathematics and Artificial Intelligence
1 Information Processing Letters
1 Formal Aspects of Computing
1 Mathematical Structures in Computer Science
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Functional Programming
1 Fundamenta Informaticae
1 ACM Transactions on Computational Logic
1 Acta Universitatis Sapientiae. Informatica
all top 5

Cited in 7 Fields

69 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
1 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Operations research, mathematical programming (90-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year