Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Tijdschriftartikel
2019

Counting symbol switches in synchronizing automata

Don, H. & Zantema, H., 1 jan 2019, In : Journal of Automata, Languages and Combinatorics. 24, 2-4, blz. 253-286 34 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

Lower bounds for synchronizing word lengths in partial automata

de Bondt, M., Don, H. M. & Zantema, H., 2019, In : International Journal of Foundations of Computer Science. 30, 1, blz. 29-60 32 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)

Solving computational problems in the theory of word-representable graphs

Akgün, Ö., Gent, I., Kitaev, S. & Zantema, H., 2019, In : Journal of Integer Sequences. 22, 2, 18 blz., 19.2.5.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

The k-dimensional cube is k-representable

Broere, B. & Zantema, H., 2019, In : Journal of Automata, Languages and Combinatorics. 24, 1, blz. 3-12 10 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2018

Counting symbol switches in synchronizing automata

Don, H. M. & Zantema, H., 2018, In : arXiv. 26 blz., 1812.04050v1 .

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
6 Downloads (Pure)

Finding small counter examples for abstract rewriting properties

Zantema, H., 1 sep 2018, In : Mathematical Structures in Computer Science. 28, 8, blz. 1485-1505 21 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
32 Downloads (Pure)

Lower bounds for synchronizing word lengths in partial automata

de Bondt, M., Don, H. M. & Zantema, H., 2018, In : arXiv. 1801.10436 .

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

Open Access
Bestand
25 Downloads (Pure)

Synchronizing non-deterministic finite automata

Don, H. & Zantema, H., 2018, In : Journal of Automata, Languages and Combinatorics. 23, 4, blz. 307-328 22 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
19 Downloads (Pure)
2017

Ordering sequences by permutation transducers

Bosma, W. & Zantema, H., 1 feb 2017, In : Indagationes Mathematicae. 28, 1, blz. 38-54 17 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
3 Citaten (Scopus)
1 Downloads (Pure)

Termination of cycle rewriting by transformation and matrix interpretation

Sabel, D. & Zantema, H., 1 jan 2017, In : Logical Methods in Computer Science. 13, 1, 11.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
16 Downloads (Pure)
2016

A probabilistic analysis of the Game of the Goose

Groote, J. F., Wiedijk, F. & Zantema, H., 2016, In : SIAM Review. 58, 1, blz. 143-155

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
2 Downloads (Pure)

Turtle graphics of morphic sequences

Zantema, H., 2016, In : Fractals. 24, 1, 16 blz., 1650009.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
41 Downloads (Pure)
2014

De kans om Ganzenbord te winnen

Groote, J. F. & Zantema, H., 2014, In : Nieuw Archief voor Wiskunde. 5/15, 4, blz. 234-239

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Downloads (Pure)
2013

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2013, In : Logical Methods in Computer Science. 9, 1, blz. 4/1-29

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
3 Citaten (Scopus)
48 Downloads (Pure)

RNA-editing with combined insertion and deletion preserves regularity

Vink, de, E. P., Zantema, H. & Bosnacki, D., 2013, In : Scientific Annals of Computer Science. XXIII, 1, blz. 39-73 35 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
71 Downloads (Pure)
2011

A problem from IMO 2010

Zantema, H., 2011, In : Nieuw Archief voor Wiskunde. 5/12, 1, blz. 40-43

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

2 Downloads (Pure)

Levels of undecidability in rewriting

Endrullis, J., Geuvers, J. H., Simonsen, J. G. & Zantema, H., 2011, In : Information and Computation. 209, 2, blz. 227-245

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

13 Citaten (Scopus)
2 Downloads (Pure)

Long-run order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M. R. & Zantema, H., 2011, In : IET Computers and Digital Techniques. 5, 6, blz. 468-478

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Downloads (Pure)
2010

Liveness verification in trss using tree automata and termination analysis

Mousazadeh, M., Ladani, B. T. & Zantema, H., 2010, In : Computing and Informatics. 29, 3, blz. 407-426

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Well-definedness of streams by transformation and termination

Zantema, H., 2010, In : Logical Methods in Computer Science. 6, 3, blz. 21-1/27

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
5 Citaten (Scopus)
69 Downloads (Pure)
2008

Adding constants to string rewriting

Thiemann, R., Zantema, H., Giesl, J. & Schneider-Kamp, P., 2008, In : Applicable Algebra in Engineering, Communication and Computing. 19, 1, blz. 27-38

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Matrix interpretations for proving termination of term rewriting

Endrullis, J., Waldmann, J. & Zantema, H., 2008, In : Journal of Automated Reasoning. 40, 2-3, blz. 195-220

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

98 Citaten (Scopus)
2 Downloads (Pure)

Proving termination of rewriting automatically

Zantema, H., 2008, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 12, blz. 25-33

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

2 Downloads (Pure)
2007

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2007, In : Information and Computation. 205, 8, blz. 1188-1211

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
7 Citaten (Scopus)
2 Downloads (Pure)

On tree automata that certify termination of left-linear term rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2007, In : Information and Computation. 205, 4, blz. 512-534

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
31 Citaten (Scopus)
2 Downloads (Pure)
2005

Finding finite automata that certify termination of string rewriting systems

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, In : International Journal of Foundations of Computer Science. 16, 3, blz. 471-486

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)
2 Downloads (Pure)

Termination of string rewriting proved automatically

Zantema, H., 2005, In : Journal of Automated Reasoning. 34, 2, blz. 105-139

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

26 Citaten (Scopus)
2 Downloads (Pure)
2003

Resolution and binary decision diagrams cannot simulate each other polynomially

Groote, J. F. & Zantema, H., 2003, In : Discrete Applied Mathematics. 130, 2, blz. 157-171

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
19 Citaten (Scopus)
2 Downloads (Pure)
2002

Relative undecidability in term rewriting : I. The termination hierarchy

Geser, A., Middeldorp, A., Ohlebusch, E. & Zantema, H., 2002, In : Information and Computation. 178, 1, blz. 101-131

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
8 Citaten (Scopus)
3 Downloads (Pure)

Relative undecidability in term rewriting : II. The confluence hierarchy

Geser, A., Middeldorp, A., Ohlebusch, E. & Zantema, H., 2002, In : Information and Computation. 178, 1, blz. 132-148

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
7 Citaten (Scopus)
2 Downloads (Pure)

Sizes of ordered decision trees

Zantema, H. & Bodlaender, H. L., 2002, In : International Journal of Foundations of Computer Science. 13, 3, blz. 445-458

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
2 Downloads (Pure)
2001

A rewriting approach to binary decision diagrams

Zantema, H. & Pol, van de, J. C., 2001, In : Journal of Logic and Algebraic Programming. 49, 1-2, blz. 61-86

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
8 Citaten (Scopus)
3 Downloads (Pure)

The termination hierarchy for term rewriting

Zantema, H., 2001, In : Applicable Algebra in Engineering, Communication and Computing. 12, 1-2, blz. 3-19

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)
2 Downloads (Pure)
2000

A complete characterization of termination of 1q→ 1r 0s

Zantema, H. & Geser, A., 2000, In : Applicable Algebra in Engineering, Communication and Computing. 11, 1, blz. 1-25 25 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

14 Citaten (Scopus)
2 Downloads (Pure)

Finding small equivalent decision trees is hard

Zantema, H. & Bodlaender, H. L., 2000, In : International Journal of Foundations of Computer Science. 11, 2, blz. 343-354

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

25 Citaten (Scopus)
4 Downloads (Pure)
1999

Non-looping string rewriting

Geser, A. & Zantema, H., 1999, In : Informatique Théorique et Applications / Theoretical Informatics and Applications. 33, 3, blz. 279-301

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

18 Citaten (Scopus)
2 Downloads (Pure)
1997

Simple termination of rewrite systems

Middeldorp, A. & Zantema, H., 1997, In : Theoretical Computer Science. 175, 1, blz. 127-158 32 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

36 Citaten (Scopus)
3 Downloads (Pure)

Termination modulo equations by abstract commutation with an application to iteration

Fokkink, W. J. & Zantema, H., 1997, In : Theoretical Computer Science. 177, 2, blz. 407-423 17 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)
1996

Total termination of term rewriting

Ferreira, M. C. F. & Zantema, H., 1996, In : Applicable Algebra in Engineering, Communication and Computing. 7, 2, blz. 133-162 30 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

14 Citaten (Scopus)
2 Downloads (Pure)
1995

Termination of term rewriting by semantic labelling

Zantema, H., 1995, In : Fundamenta Informaticae. 24, 1-2, blz. 89-105

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

113 Citaten (Scopus)
2 Downloads (Pure)

Total termination of term rewriting is undecidable

Zantema, H., 1995, In : Journal of Symbolic Computation. 20, 1, blz. 43-60

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

12 Citaten (Scopus)
1994

Basic process algebra with iteration : completeness of its equational axioms

Fokkink, W. J. & Zantema, H., 1994, In : The Computer Journal. 37, 4, blz. 259-267 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

35 Citaten (Scopus)
2 Downloads (Pure)

Termination of term rewriting : interpretation and type elimination

Zantema, H., 1994, In : Journal of Symbolic Computation. 17, 1, blz. 23-50

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

109 Citaten (Scopus)
1992

Longest segment problems

Zantema, H., 1992, In : Science of Computer Programming. 18, 1, blz. 39-66

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)
2 Downloads (Pure)
1991

Minimizing sums of addition chains

Zantema, H., 1991, In : Journal of Algorithms. 12, 2, blz. 281-307 27 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
4 Downloads (Pure)
1984

A computation concerning doubly transitive permutation groups

Cohen, A. M. & Zantema, H., 1984, In : Journal für die reine und angewandte Mathematik (Crelle's Journal). 347, blz. 196-211

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)
1983

Global restrictions on ramification in number fields

Zantema, H., 1983, In : Manuscripta Mathematica. 43, blz. 87-106

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1982

Integer valued polynomials over a number field

Zantema, H., 1982, In : Manuscripta Mathematica. 40, 2/3, blz. 155-203 49 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

31 Citaten (Scopus)
7 Downloads (Pure)