ask others

Johannes Waldmann

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c26]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/abp/Waldmann17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/abp/Waldmann17
Johannes Waldmann:
Automatische Erzeugung und Bewertung von Aufgaben zu Algorithmen und Datenstrukturen(Generating and Grading Exercises on Algorithms and Data Structures Automatically). ABP 2017
2016
[c25]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/Waldmann16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/Waldmann16
Johannes Waldmann:
Efficient Completion of Weighted Automata. TERMGRAPH 2016: 55-62
2015
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/GieslMRTW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/GieslMRTW15
Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann:
Termination Competition (termCOMP 2015). CADE 2015: 105-108
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Waldmann15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Waldmann15
Johannes Waldmann:
Matrix Interpretations on Polyhedral Domains. RTA 2015: 318-333
[e1]
- view
- export record
  dblp key:
  - conf/wlp/2014
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wlp/2014
Stefan Brass, Johannes Waldmann:
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014. CEUR Workshop Proceedings 1335, CEUR-WS.org 2015 [contents]
2014
[c22]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/wlp/BauW14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wlp/BauW14
Alexander Bau, Johannes Waldmann:
Describing and Measuring the Complexity of SAT encodings for Constraint Programs. WLP/WFLP 2014: 26-37
[c21]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/wlp/Waldmann14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wlp/Waldmann14
Johannes Waldmann:
Automated Exercises for Constraint Programming. WLP/WFLP 2014: 66-80
2013
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/inap/BauW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/inap/BauW13
Alexander Bau, Johannes Waldmann:
Propositional Encoding of Constraints over Tree-Shaped Data. KDPD 2013: 33-47
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BauLNW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BauLNW13
Alexander Bau, Markus Lohrey, Eric Nöth, Johannes Waldmann:
Compression of Rewriting Systems for Termination Analysis. RTA 2013: 97-112
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1305-4957
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1305-4957
Alexander Bau, Johannes Waldmann:
Propositional Encoding of Constraints over Tree-Shaped Data. CoRR abs/1305.4957 (2013)
2012
[c18]
- view
  - electronic edition @ easychair.org
- export record
  dblp key:
  - conf/cade/CodishFFGW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/CodishFFGW12
Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann:
Exotic Semi-Ring Constraints. SMT@IJCAR 2012: 88-97
2011
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cai/MiddeldorpMNWZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cai/MiddeldorpMNWZ11
Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl:
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. CAI 2011: 1-20
2010
[j12]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1006-4955
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1006-4955
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann:
Local Termination: theory and practice. Logical Methods in Computer Science 6(3) (2010)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Waldmann10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Waldmann10
Johannes Waldmann:
Polynomially Bounded Matrix Interpretations. RTA 2010: 357-372

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j11]
- view
  - electronic edition @ u-szeged.hu
- export record
  dblp key:
  - journals/actaC/GebhardtW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/actaC/GebhardtW09
Andreas Gebhardt, Johannes Waldmann:
Weighted Automata Define a Hierarchy of Terminating String Rewriting Systems. Acta Cybern. 19(2): 295-312 (2009)
[j10]
- view
  - electronic edition @ u-szeged.hu
- export record
  dblp key:
  - journals/actaC/KoprowskiW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/actaC/KoprowskiW09
Adam Koprowski, Johannes Waldmann:
Max/Plus Tree Automata for Termination of Term Rewriting. Acta Cybern. 19(2): 357-392 (2009)
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Waldmann09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Waldmann09
Johannes Waldmann:
Automatic Termination. RTA 2009: 1-16
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/EndrullisVW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/EndrullisVW09
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann:
Local Termination. RTA 2009: 270-284
2008
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/EndrullisWZ08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/EndrullisWZ08
Jörg Endrullis, Johannes Waldmann, Hans Zantema:
Matrix Interpretations for Proving Termination of Term Rewriting. J. Autom. Reasoning 40(2-3): 195-220 (2008)
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/MoserSW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/MoserSW08
Georg Moser, Andreas Schnabl, Johannes Waldmann:
Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations. FSTTCS 2008: 304-315
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/KoprowskiW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/KoprowskiW08
Adam Koprowski, Johannes Waldmann:
Arctic Termination ...Below Zero. RTA 2008: 202-216
2007
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/GeserHWZ07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/GeserHWZ07
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema:
On tree automata that certify termination of left-linear term rewriting systems. Inf. Comput. 205(4): 512-534 (2007)
[j7]
- no documents available
- export record
  dblp key:
  - journals/jalc/Waldmann07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jalc/Waldmann07
Johannes Waldmann:
Weighted Automata for Proving Termination of String Rewriting. Journal of Automata, Languages and Combinatorics 12(4): 545-570 (2007)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/ZantemaW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/ZantemaW07
Hans Zantema, Johannes Waldmann:
Termination by Quasi-periodic Interpretations. RTA 2007: 404-418
2006
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/HofbauerW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/HofbauerW06
Dieter Hofbauer, Johannes Waldmann:
Termination of {aa->bc, bb->ac, cc->ab}. Inf. Process. Lett. 98(4): 156-158 (2006)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/EndrullisWZ06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/EndrullisWZ06
Jörg Endrullis, Johannes Waldmann, Hans Zantema:
Matrix Interpretations for Proving Termination of Term Rewriting. IJCAR 2006: 574-588
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/HofbauerW06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/HofbauerW06
Dieter Hofbauer, Johannes Waldmann:
Termination of String Rewriting with Matrix Interpretations. RTA 2006: 328-342
2005
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/GeserHWZ05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijfcs/GeserHWZ05
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema:
Finding finite automata that certify termination of string rewriting systems. Int. J. Found. Comput. Sci. 16(3): 471-486 (2005)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jar/GeserHW05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jar/GeserHW05
Alfons Geser, Dieter Hofbauer, Johannes Waldmann:
Termination Proofs for String Rewriting Systems via Inverse Match-Bounds. J. Autom. Reasoning 34(4): 365-385 (2005)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/GeserHWZ05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/GeserHWZ05
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema:
On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems. RTA 2005: 353-367
2004
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aaecc/GeserHW04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aaecc/GeserHW04
Alfons Geser, Dieter Hofbauer, Johannes Waldmann:
Match-Bounded String Rewriting Systems. Appl. Algebra Eng. Commun. Comput. 15(3-4): 149-171 (2004)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HofbauerW04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HofbauerW04
Dieter Hofbauer, Johannes Waldmann:
Deleting string rewriting systems preserve regularity. Theor. Comput. Sci. 327(3): 301-317 (2004)
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Waldmann04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Waldmann04
Johannes Waldmann:
Matchbox: A Tool for Match-Bounded String Rewriting. RTA 2004: 85-94
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wia/GeserHWZ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wia/GeserHWZ04
Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema:
Finding Finite Automata That Certify Termination of String Rewriting. CIAA 2004: 134-145
2003
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/HofbauerW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlt/HofbauerW03
Dieter Hofbauer, Johannes Waldmann:
Deleting String Rewriting Systems Preserve Regularity. Developments in Language Theory 2003: 337-348
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/GeserHW03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/GeserHW03
Alfons Geser, Dieter Hofbauer, Johannes Waldmann:
Match-Bounded String Rewriting Systems. MFCS 2003: 449-459
2002
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Waldmann02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Waldmann02
Johannes Waldmann:
Rewrite Games. RTA 2002: 144-158
2001
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dlt/NiemannW01a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dlt/NiemannW01a
Gundula Niemann, Johannes Waldmann:
Some Regular Languages That Are Church-Rosser Congruential. Developments in Language Theory 2001: 330-339
2000
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Waldmann00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Waldmann00
Johannes Waldmann:
The Combinator S. Inf. Comput. 159(1-2): 2-21 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[b1]
- view
  - electronic edition @ d-nb.info
- export record
  dblp key:
  - phd/dnb/Waldmann98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/dnb/Waldmann98
Johannes Waldmann:
The combinator S. University of Jena, Germany 1998, pp. 1-118
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Waldmann98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Waldmann98
Johannes Waldmann:
Normalization of S-Terms is Decidable. RTA 1998: 138-150

maintained by

at