Hans Zantema

	2011
76		Hans Zantema, Jörg Endrullis: Proving Equality of Streams Automatically. RTA 2011: 393-408
75		Hans Zantema: Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic WRS 2011: 69-76
74		Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Long-run order-independence of vector-based transition systems. IET Computers & Digital Techniques 5(6): 468-478 (2011)
73		Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema: Levels of undecidability in rewriting. Inf. Comput. 209(2): 227-245 (2011)
	2010
72		Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema: Order-Independence of Vector-Based Transition Systems. ACSD 2010: 115-123
71		Hans Zantema: Complexity of Guided Insertion-Deletion in RNA-Editing. LATA 2010: 608-619
70		Hans Zantema, Matthias Raffelsieper: Proving Productivity in Infinite Data Structures. RTA 2010: 401-416
69		M. Mousazadeh, B. T. Ladani, Hans Zantema: Liveness Verification in TRSs Using Tree Automata and Termination Analysis. Computing and Informatics 29(3): 407-426 (2010)
68		Olga Tveretina, Carsten Sinz, Hans Zantema: Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. JSAT 7(1): 35-58 (2010)
67		Hans Zantema: Well-definedness of Streams by Transformation and Termination Logical Methods in Computer Science 6(3): (2010)
	2009
66		Olga Tveretina, Carsten Sinz, Hans Zantema: An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas ACAC 2009: 13-21
65		Hans Zantema: A Tool Proving Well-Definedness of Streams Using Termination Tools. CALCO 2009: 449-456
64		Jörg Endrullis, Herman Geuvers, Hans Zantema: Degrees of Undecidability in Term Rewriting. CSL 2009: 255-270
63		Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema: Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. FMICS 2009: 133-148
62		Hans Zantema: Well-Definedness of Streams by Termination. RTA 2009: 164-178
61		Hans Zantema, Matthias Raffelsieper: Stream Productivity by Outermost Termination WRS 2009: 83-95
60		Jörg Endrullis, Herman Geuvers, Hans Zantema: Degrees of Undecidability in Rewriting CoRR abs/0902.4723: (2009)
59		Matthias Raffelsieper, Hans Zantema: A Transformational Approach to Prove Outermost Termination Automatically. Electr. Notes Theor. Comput. Sci. 237: 3-21 (2009)
58		Olga Tveretina, Carsten Sinz, Hans Zantema: Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Electronic Colloquium on Computational Complexity (ECCC) 16: 87 (2009)
	2008
57		Hans Zantema, Stefan Wagemans, Dragan Bosnacki: Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets. BIRD 2008: 303-317
56		Hans Zantema: Normalization of Infinite Terms. RTA 2008: 441-455
55		Adam Koprowski, Hans Zantema: Certification of Proving Termination of Term Rewriting by Matrix Interpretations. SOFSEM 2008: 328-339
54		René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp: Adding constants to string rewriting. Appl. Algebra Eng. Commun. Comput. 19(1): 27-38 (2008)
53		Jörg Endrullis, Johannes Waldmann, Hans Zantema: Matrix Interpretations for Proving Termination of Term Rewriting. J. Autom. Reasoning 40(2-3): 195-220 (2008)
	2007
52		Claude Marché, Hans Zantema: The Termination Competition. RTA 2007: 303-313
51		Hans Zantema, Johannes Waldmann: Termination by Quasi-periodic Interpretations. RTA 2007: 404-418
50		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)
49		Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema: Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205(8): 1188-1211 (2007)
	2006
48		Adam Koprowski, Hans Zantema: Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems. IJCAR 2006: 332-346
47		Jörg Endrullis, Johannes Waldmann, Hans Zantema: Matrix Interpretations for Proving Termination of Term Rewriting. IJCAR 2006: 574-588
	2005
46		Adam Koprowski, Hans Zantema: Proving Liveness with Fairness Using Rewriting. FroCos 2005: 232-247
45		Hans Zantema: Reducing Right-Hand Sides for Termination. Processes, Terms and Cycles 2005: 173-197
44		Jaco van de Pol, Hans Zantema: Generalized Innermost Rewriting. RTA 2005: 2-16
43		Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema: On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems. RTA 2005: 353-367
42		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)
41		Hans Zantema: Termination of String Rewriting Proved Automatically. J. Autom. Reasoning 34(2): 105-139 (2005)
	2004
40		Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema: Finding Finite Automata That Certify Termination of String Rewriting. CIAA 2004: 134-145
39		Olga Tveretina, Hans Zantema: A Proof System and a Decision Procedure for Equality Logic. LATIN 2004: 530-539
38		Hans Zantema: TORPA: Termination of Rewriting Proved Automatically. RTA 2004: 95-104
	2003
37		Jürgen Giesl, Hans Zantema: Liveness in Rewriting. RTA 2003: 321-336
36		Jan Friso Groote, Hans Zantema: Resolution and binary decision diagrams cannot simulate each other polynomially. Discrete Applied Mathematics 130(2): 157-171 (2003)
35		Hans Zantema, Jan Friso Groote: Transforming equality logic to propositional logic. Electr. Notes Theor. Comput. Sci. 86(1): 162-173 (2003)
34		Jürgen Giesl, Hans Zantema: Simulating liveness by reduction strategies. Electr. Notes Theor. Comput. Sci. 86(4): 641-656 (2003)
	2002
33		Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema: Relative Undecidability in Term Rewriting: I. The Termination Hierarchy. Inf. Comput. 178(1): 101-131 (2002)
32		Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema: Relative Undecidability in Term Rewriting: II. The Confluence Hierarchy. Inf. Comput. 178(1): 132-148 (2002)
31		Hans Zantema, Hans L. Bodlaender: Sizes of Ordered Decision Trees. Int. J. Found. Comput. Sci. 13(3): 445-458 (2002)
	2001
30		Jan Friso Groote, Hans Zantema: Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. Ershov Memorial Conference 2001: 33-38
29		Hans Zantema: The Termination Hierarchy for Term Rewriting. Appl. Algebra Eng. Commun. Comput. 12(1/2): 3-19 (2001)
28		Hans Zantema, Jaco van de Pol: A rewriting approach to binary decision diagrams. J. Log. Algebr. Program. 49(1-2): 61-86 (2001)
	2000
27		Jaco van de Pol, Hans Zantema: Binary Decision Diagrams by Shard Rewriting. MFCS 2000: 609-618
26		Hans Zantema, Alfons Geser: A Complete Characterization of Termination of 0p 1q-> 1r 0s. Appl. Algebra Eng. Commun. Comput. 11(1): 1-25 (2000)
25		Hans Zantema, Hans L. Bodlaender: Finding Small Equivalent Decision Trees is Hard. Int. J. Found. Comput. Sci. 11(2): 343-354 (2000)
	1999
24		Alfons Geser, Hans Zantema: Non-looping string rewriting. ITA 33(3): 279-302 (1999)
	1997
23		Hans Zantema: Termination of Context-Sensitive Rewriting. RTA 1997: 172-186
22		Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema: Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules. TAPSOFT 1997: 237-248
21		Aart Middeldorp, Hans Zantema: Simple Termination of Rewrite Systems. Theor. Comput. Sci. 175(1): 127-158 (1997)
20		Wan Fokkink, Hans Zantema: Termination Modulo Equations by Abstract Commutation with an Application to Iteration. Theor. Comput. Sci. 177(2): 407-423 (1997)
	1996
19		Aart Middeldorp, Hitoshi Ohsaki, Hans Zantema: Transforming Termination by Self-Labelling. CADE 1996: 373-387
18		Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema: Relative Undecidability in Term Rewriting. CSL 1996: 150-166
17		Maria C. F. Ferreira, Hans Zantema: Total termination of term rewriting. Appl. Algebra Eng. Commun. Comput. 7(2): 133-162 (1996)
	1995
16		Maria C. F. Ferreira, Hans Zantema: Dummy Elimination: Making Termination Easier. FCT 1995: 243-252
15		Thomas Arts, Hans Zantema: Termination of Logic Programs Using Semantic Unification. LOPSTR 1995: 219-233
14		H. R. Walters, Hans Zantema: Rewrite Systems for Integer Arithmetic. RTA 1995: 324-338
13		Hans Zantema, Alfons Geser: A Complete Characterization of Termination of Op 1q -> 1r Os. RTA 1995: 41-55
12		Hans Zantema: Termination of Term Rewriting by Semantic Labelling. Fundam. Inform. 24(1/2): 89-105 (1995)
11		Hans Zantema: Total Termination of Term Rewriting is Undecidable. J. Symb. Comput. 20(1): 43-60 (1995)
	1994
10		Maria C. F. Ferreira, Hans Zantema: Syntactical Analysis of Total Termination. ALP 1994: 204-222
9		Aart Middeldorp, Hans Zantema: Simple Termination Revisited. CADE 1994: 451-465
8		Maria C. F. Ferreira, Hans Zantema: Well-foundedness of Term Orderings. CTRS 1994: 106-123
7		Wan Fokkink, Hans Zantema: Basic Process Algebra with Iteration: Completeness of its Equational Axioms. Comput. J. 37(4): 259-268 (1994)
6		Hans Zantema: Termination of Term Rewriting: Interpretation and Type Elimination. J. Symb. Comput. 17(1): 23-50 (1994)
	1993
5		Maria C. F. Ferreira, Hans Zantema: Total Termination of Term Rewriting. RTA 1993: 213-227
	1992
4		Hans Zantema: Type Removal in Term Rewriting. CTRS 1992: 148-154
3		Hans Zantema: Termination of Term Rewriting by Interpretation. CTRS 1992: 155-167
2		Hans Zantema: Longest Segment Problems. Sci. Comput. Program. 18(1): 39-66 (1992)
	1991
1		Hans Zantema: Minimizing Sums of Addition Chains. J. Algorithms 12(2): 281-307 (1991)

Coauthor Index

1	Thomas Arts	[15]
2	Bahareh Badban	[49]
3	Hans L. Bodlaender	[25] [31]
4	Dragan Bosnacki	[57]
5	Jörg Endrullis	[47] [53] [60] [64] [73] [76]
6	Maria C. F. Ferreira	[5] [8] [10] [16] [17]
7	Wan Fokkink	[7] [20]
8	Alfons Geser	[13] [18] [22] [24] [26] [32] [33] [40] [42] [43] [50]
9	Herman Geuvers	[60] [64] [73]
10	Jürgen Giesl	[34] [37] [54]
11	Jan Friso Groote	[30] [35] [36]
12	Dieter Hofbauer	[40] [42] [43] [50]
13	Adam Koprowski	[46] [48] [55]
14	B. T. Ladani	[69]
15	Claude Marché	[52]
16	Aart Middeldorp	[9] [18] [19] [21] [22] [32] [33]
17	Mohammad Reza Mousavi	[63] [72] [74]
18	M. Mousazadeh	[69]
19	Enno Ohlebusch	[18] [22] [32] [33]
20	Hitoshi Ohsaki	[19]
21	Jaco van de Pol	[27] [28] [44] [49]
22	Matthias Raffelsieper	[59] [61] [63] [70] [72] [74]
23	Jan-Willem Roorda	[63]
24	Peter Schneider-Kamp	[54]
25	Jakob Grue Simonsen	[73]
26	Carsten Sinz	[58] [66] [68]
27	Chris W. H. Strolenberg	[63]
28	René Thiemann	[54]
29	Olga Tveretina	[39] [49] [58] [66] [68]
30	Stefan Wagemans	[57]
31	Johannes Waldmann	[40] [42] [43] [47] [50] [51] [53]
32	H. R. Walters	[14]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page