Journal Article Model Checking One-Dimensional Cellular Automata 2009 • Journal of Cellular Automata • 4(3):213-224 Sutner K
Conference Analytica V: Towards the Mordell-Weil theorem 2006 • Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 • 84-99 Clarke EM, Gavlovski AS, Sutner K, Windsteiger W
Journal Article CDM: Teaching Discrete Mathematics to Computer Science Majors 2005 • ACM Transactions on Computing Education • 5(2):4 Sutner K
Journal Article CDM: Teaching discrete mathematics to computer science majors 2005 • ACM Transactions on Computing Education • 5(2):41-51 Sutner K
Conference Universality and cellular automata 2005 • Lecture Notes in Computer Science • 3354:50-59 Sutner K
Journal Article The complexity of reversible cellular automata 2004 • Theoretical Computer Science • 325(2):317-328 Sutner K
Journal Article Almost periodic configurations on linear cellular automata 2003 • Fundamenta Informaticae • 58(3-4):223-240 Sutner K
Conference automata, a Hybrid system for computational automata theory 2003 • Lecture Notes in Computer Science • 2608:221-227 Sutner K
Journal Article Cellular automata and intermediate degrees 2003 • Theoretical Computer Science • 296(2):365-375 Sutner K
Journal Article Reduced power automata and sofic systems 2003 • International Journal of Foundations of Computer Science • 14(6):1117-1128 Sutner K
Conference The Ehrenfeucht-Mycielski sequence 2003 • Lecture Notes in Computer Science • 2759:282-293 Sutner K
Journal Article The size of power automata 2003 • Theoretical Computer Science • 295(1-3):371-386 Sutner K
Journal Article Cellular automata and intermediate reachability problems 2002 • Fundamenta Informaticae • 52(1-3):249-256 Sutner K
Conference The size of power automata 2001 • Lecture Notes in Computer Science • 2136:666-677 Sutner K
Journal Article σ-automata and Chebyshev-polynomials 2000 • Theoretical Computer Science • 230(1-2):49-73 Sutner K
Chapter Linear Cellular Automata and de Bruijn Automata 1999 • Mathematics and Its Applications • 303-319 Sutner K
Journal Article Two algorithms for a reachability problem in one-dimensional space 1998 • IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans • 28(4):478-486 Wang DJ, Sutner K
Journal Article Computing optimal assignments for residual network reliability 1997 • Discrete Applied Mathematics • 75(3):285-295 Stivaros C, Sutner K
Journal Article Linear cellular automata and Fischer automata 1997 • Parallel Computing • 23(11):1613-1634 Sutner K
Journal Article COMPUTING NETWORK RELIABILITY AND PERFORMABILITY - PREFACE 1995 • Networks • 25(3):99-99 COLBOURN CJ, SUTNER K
Journal Article ON THE COMPUTATIONAL-COMPLEXITY OF FINITE CELLULAR-AUTOMATA 1995 • Journal of Computer and System Sciences • 50(1):87-97 SUTNER K
Journal Article THE INTRACTABILITY OF THE RELIABLE ASSIGNMENT PROBLEM IN SPLIT NETWORKS 1995 • Networks • 26(4):165-172 STIVAROS C, SUTNER K
