• 1237 Citaties
1980 …2019

Research output per year

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

Onderzoeksoutput

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
5 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
25 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
20 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)
13 Downloads (Pure)
2017

Classifying non-periodic sequences by permutation transducers

Zantema, H. & Bosma, W., 2017, Developments in Langauge Theory"21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Charlier, E., Leroy, J. & Rigo, M. (redactie). Cham: Springer, blz. 365-377 13 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

DFAs and PFAs with long shortest synchronizing word length

de Bondt, M., Don, H. & Zantema, H., 2017, Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Charlier, E., Leroy, J. & Rigo, M. (redactie). Dordrecht: Springer, blz. 122-133 12 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Finding DFAs with maximal shortest synchronizing word length

Zantema, H. & Don, H., 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (redactie). Dordrecht: Springer, blz. 249-260 12 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

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)
14 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)

Preface

Corradini, A., Fernández, M., Mackie, I., Plump, D., van Raamsdonk, F. & Zantema, H., 10 sep 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 225, 1 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access

Turtle graphics of morphic sequences

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
37 Downloads (Pure)
2015

Proving looping and non-looping non-termination by finite automata

Endrullis, J. & Zantema, H., 2015, s.n. 20 blz. (arXiv; vol. 1505.00478 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
36 Downloads (Pure)

Proving non-termination by finite automata

Endrullis, J. & Zantema, H., 2015, Rewriting Techniques and Applications (26th International Conference, RTA'15, Warsaw, Poland, June 29-July 3, 2015). Fernández, M. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 160-176 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 36).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
7 Citaten (Scopus)
18 Downloads (Pure)

Proving termination of graph transformation systems using weighted type graphs over semirings

Bruggink, H. J. S., König, B., Nolte, D. & Zantema, H., 2015, s.n. 19 blz. (arXiv; vol. 1505.01695 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
5 Citaten (Scopus)
75 Downloads (Pure)

Proving termination of graph transformation systems using weighted type graphs over semirings

Bruggink, H. J. S., König, B., Nolte, D. & Zantema, H., 2015, Graph Transformation (8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings). Parisi-Presicce, F. & Westfechtel, B. (redactie). Cham: Springer, blz. 52-68 (Lecture Notes in Computer Science; vol. 9151).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
3 Downloads (Pure)

The degree of squares is an atom

Endrullis, J., Grabmayer, C. A., Hendriks, D. & Zantema, H., 2015, Combinatorics on Words: 10th International Conference, WORDS 2015. Amsterdam: Springer, blz. 109-121 13 blz. (Lecture Notes in Computer Science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)

The degree of squares is an atom (Extended version)

Endrullis, J., Grabmayer, C. A., Hendriks, D. & Zantema, H., 2015, s.n. 19 blz. (arXiv; vol. 1506.00884 [cs.FL])

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Downloads (Pure)

Transforming cycle rewriting into string rewriting

Sabel, D. & Zantema, H., 2015, Rewriting Techniques and Applications (26th International Conference, RTA'15, Warsaw, Poland, June 29-July 3, 2015). Fernández, M. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 285-300 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 36).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)

Using SMT for solving fragments of parameterised Boolean equation systems

Koolen, R. P. J., Willemse, T. A. C. & Zantema, H., 2015, Automated Technology for Verification and Analysis (13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015). Finkbeiner, B., Pu, G. & Zhang, L. (redactie). Springer, blz. 14-30 (Lecture Notes in Computer Science; vol. 9364).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
5 Downloads (Pure)
2014

A probablistic analysis of the Game of the Goose

Groote, J. F. & Zantema, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 1404)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
54 Downloads (Pure)

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)

Non-termination using regular languages

Endrullis, J. & Zantema, H., 2014, s.n. 6 blz. (arXiv; vol. 1405.5662 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
23 Downloads (Pure)

Termination analysis for graph transformation systems

Bruggink, H. J. S., König, B. & Zantema, H., 2014, Theoretical Computer Science (8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings). Diaz, J., Lanese, I. & Sangiorgi, D. (redactie). Berlin: Springer, blz. 179-194 (Lecture Notes in Computer Science; vol. 8705).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
2 Downloads (Pure)

Termination of cycle rewriting

Zantema, H., König, B. & Bruggink, H. J. S., 2014, Rewriting and Typed Lambda Calculi (Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014. Proceedings). Dowek, G. (redactie). Berlin: Springer, blz. 476-490 (Lecture Notes in Computer Science; vol. 8560).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2 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)
43 Downloads (Pure)

Relaxation of 3-partition instances

Joosten, S. J. C. & Zantema, H., 2013, 12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (Enschede, Netherlands, May 21-23, 2013). Cornelissen, K., Hoeksma, R., Hurink, J. & Manthey, B. (redactie). blz. 133-136 (CTIT Workshop Proceedings Series; vol. WP 13-01).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
29 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
67 Downloads (Pure)
2012

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2012, s.n. 27 blz. (arXiv.org; vol. 1211.0865 [cs.PL])

Onderzoeksoutput: Boek/rapportRapportAcademic

Cinderella versus the Wicked Stepmother

Bodlaender, M. H. L., Hurkens, C. A. J., Kusters, V. J. J., Staals, F., Woeginger, G. J. & Zantema, H., 2012, Theoretical Computer Science (7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings). Baeten, J. C. M., Ball, T. & Boer, de, F. S. (redactie). Berlin: Springer, blz. 57-71 (Lecture Notes in Computer Science; vol. 7604).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2 Downloads (Pure)

Combining insertion and deletion in RNA-editing preserves regularity

Vink, de, E. P., Zantema, H. & Bosnacki, D., 2012, Proceedings of the 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (McCBIC 2012, Newcastle, UK, September 8, 2012). Ciobanu, G. (redactie). EPTCS, blz. 48-62 (Electronic Proceedings in Theoretical Computer Science; vol. 100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

Strategy independent reduction lengths in rewriting and binary arithmetic

Zantema, H., 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011, Novi Sad, Serbia, May 29, 2011). Escobar, S. (redactie). EPTCS, blz. 69-76 (Electronic Proceedings in Theoretical Computer Science; vol. 82).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Downloads (Pure)

Triangulation in rewriting

Oostrom, van, V. & Zantema, H., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012). Tiwari, A. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 240-255 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 15).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2 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)

Proving equality of streams automatically

Zantema, H. & Endrullis, J., 2011, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011, Novi Sad, Serbia, May 30-June 1, 2011). Schmidt-Schlauß, M. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 393-408 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 10).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
7 Citaten (Scopus)
26 Downloads (Pure)

Strategy independent reduction lengths in rewriting and binary arithmetic

Zantema, H., 2011, Reduction Strategies in Rewriting and Programming (10th International Workshop, WRS 2011, Novi Sad, Serbia, May 29, 2011. Informal proceedings). Escobar, S. (redactie). Valencia: Universidad Politechnica de Valencia, blz. 41-45

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
58 Downloads (Pure)
2010

Book review: Automatic Sequences. Theory, Applications, Generalizations

Zantema, H., 2010, In : Nieuw Archief voor Wiskunde. 5/11, blz. 218-219

Onderzoeksoutput: Bijdrage aan tijdschriftBoek besprekingProfessioneel

Combinatorial problems by termination of rewriting

Zantema, H., 2010, Proceedings 10th International Workshop on Termination (WST'09, Leipzig, Germany, June 3-5, 2009). blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Downloads (Pure)

Complexity of guided insertion-deletion in RNA-editing

Zantema, H., 2010, Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings). Dediu, A. H., Fernau, H. & Martin-Vide, C. (redactie). Berlin: Springer, blz. 608-619 (Lecture Notes in Computer Science; vol. 6031).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)

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)

Order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M. R. & Zantema, H., 2010, Proceedings 10th International Conference on Application of Concurrency to System Design (ACSD'10, Braga, Portugal, June 21-25, 2010). IEEE Computer Society, blz. 115-123

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Proving productivity in infinite data structures

Zantema, H. & Raffelsieper, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010, Edinburgh, Scotland, July 11-13, 2010). Lynch, C. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 401-416 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 6).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)
2 Downloads (Pure)

Stream productivity by outermost termination

Zantema, H. & Raffelsieper, M., 2010, Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09, Brasilia, Brazil, June 28, 2009). Fernández, M. (redactie). blz. 83-95 (Electronic Proceedings in Theoretical Computer Science; vol. 15).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
2 Downloads (Pure)