Martin Kutrib

From MaRDI portal
Person:442150

Available identifiers

zbMath Open kutrib.martinMaRDI QIDQ442150

List of research outcomes

PublicationDate of PublicationType
Reversible Computations of One-Way Counter Automata2024-04-16Paper
Reversible Two-Party Computations2024-04-09Paper
On the power of pushing or stationary moves for input-driven pushdown automata2024-04-04Paper
Sweeping input-driven pushdown automata2024-02-28Paper
Iterative arrays with finite inter-cell communication2024-02-16Paper
Iterative arrays with self-verifying communication cell2024-02-16Paper
Shrinking one-way cellular automata2024-02-09Paper
https://portal.mardi4nfdi.de/entity/Q61904382024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q61908852024-02-06Paper
Revisiting the cutting of the firing squad synchronization2023-11-30Paper
https://portal.mardi4nfdi.de/entity/Q60706042023-11-23Paper
Tree-walking-storage automata2023-11-16Paper
One-dimensional pattern generation by cellular automata2023-09-01Paper
Complexity of exclusive nondeterministic finite automata2023-08-17Paper
Input-Driven Double-Head Pushdown Automata2023-08-15Paper
Reversible Top-Down Syntax Analysis2023-08-15Paper
Iterated uniform finite-state transducers on unary languages2023-08-01Paper
Self-verifying Cellular Automata2023-06-30Paper
Syntax checking either way2023-06-21Paper
State complexity of finite partial languages2023-06-21Paper
State complexity of finite partial languages2023-01-18Paper
Deterministic and nondeterministic iterated uniform finite-state transducers: computational and descriptional power2022-12-16Paper
Optimizing reversible programs2022-11-11Paper
State complexity of partial word finite automata2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q58675162022-09-14Paper
Syntax checking either way2022-08-16Paper
On the power of pushing or stationary moves for input-driven pushdown automata2022-08-16Paper
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers*2022-07-14Paper
String assembling systems: comparison to sticker systems and decidability2022-07-06Paper
Cellular Automata and Language Theory2022-04-28Paper
Finite automata with undirected state graphs2022-04-01Paper
Reversible top-down syntax analysis2022-03-25Paper
One-dimensional pattern generation by cellular automata2022-03-24Paper
Iterated uniform finite-state transducers on unary languages2022-03-24Paper
Boolean kernels of context-free languages2022-03-22Paper
Descriptional complexity of iterated uniform finite-state transducers2022-03-14Paper
Descriptional complexity of regular languages2022-02-04Paper
Digging input-driven pushdown automata2022-01-12Paper
https://portal.mardi4nfdi.de/entity/Q50163572021-12-13Paper
https://portal.mardi4nfdi.de/entity/Q50163642021-12-13Paper
Reversible pushdown transducers2021-11-25Paper
Self-Verifying Pushdown and Queue Automata2021-11-15Paper
Two-Sided Strictly Locally Testable Languages2021-11-15Paper
Compiling Janus to RSSA2021-11-03Paper
String Generation by Cellular Automata2021-09-08Paper
https://portal.mardi4nfdi.de/entity/Q50103592021-08-25Paper
Iterated uniform finite-state transducers: descriptional complexity of nondeterminism and two-way motion2021-07-14Paper
Cellular string generators2021-07-08Paper
https://portal.mardi4nfdi.de/entity/Q49949392021-06-22Paper
Input-driven multi-counter automata2021-06-03Paper
https://portal.mardi4nfdi.de/entity/Q49881622021-05-12Paper
https://portal.mardi4nfdi.de/entity/Q49881642021-05-12Paper
https://portal.mardi4nfdi.de/entity/Q49863162021-04-27Paper
Boosting Reversible Pushdown and Queue Machines by Preprocessing2021-04-19Paper
https://portal.mardi4nfdi.de/entity/Q49640152021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q51465202021-01-26Paper
https://portal.mardi4nfdi.de/entity/Q51465242021-01-26Paper
https://portal.mardi4nfdi.de/entity/Q51465262021-01-26Paper
https://portal.mardi4nfdi.de/entity/Q51451522021-01-20Paper
Multi-stranded string assembling systems2020-10-22Paper
Kernels of Sub-classes of Context-Free Languages2020-07-20Paper
Finite automata with undirected state graphs2020-06-30Paper
Cellular Automata: Descriptional Complexity and Decidability2020-05-28Paper
Queue Automata: Foundations and Developments2020-05-28Paper
Non-recursive trade-offs are ``almost everywhere2020-05-12Paper
Descriptional complexity of iterated uniform finite-state transducers2020-05-12Paper
Input-driven multi-counter automata2020-05-06Paper
https://portal.mardi4nfdi.de/entity/Q52197532020-03-12Paper
One-Time Nondeterministic Computations2019-12-10Paper
Iterative arrays with finite inter-cell communication2019-12-05Paper
Iterative arrays with self-verifying communication cell2019-12-05Paper
Transducing reversibly with finite state machines2019-08-20Paper
Diving into the queue2019-07-18Paper
Expressive capacity of subregular expressions2019-07-18Paper
https://portal.mardi4nfdi.de/entity/Q49671542019-07-03Paper
Operational State Complexity and Decidability of Jumping Finite Automata2019-06-24Paper
Reversible pushdown transducers2018-11-22Paper
Boosting pushdown and queue machines by preprocessing2018-11-07Paper
Parametrizing string assembling systems2018-11-07Paper
Structure and Complexity of Some Subregular Language Families2018-09-20Paper
Cutting the Firing Squad Synchronization2018-07-06Paper
Minimal Reversible Deterministic Finite Automata2018-05-15Paper
https://portal.mardi4nfdi.de/entity/Q46093292018-03-29Paper
Descriptional complexity of limited automata2018-03-21Paper
Reversible nondeterministic finite automata2018-03-16Paper
Fast one-way cellular automata with reversible Mealy cells2018-03-08Paper
The Degree of Irreversibility in Deterministic Finite Automata2018-02-22Paper
Deterministic Stack Transducers2018-02-22Paper
Reversible Limited Automata2018-01-19Paper
Tinput-Driven Pushdown, Counter, and Stack Automata2018-01-19Paper
Reversible Queue Automata2017-11-09Paper
Operational state complexity and decidability of jumping finite automata2017-10-13Paper
One-time nondeterministic computations2017-08-31Paper
Transducing reversibly with finite state machines2017-08-22Paper
Concatenation-free languages2017-06-19Paper
The chop of languages2017-06-15Paper
One-way reversible multi-head finite automata2017-06-15Paper
When input-driven pushdown automata meet reversiblity2017-03-24Paper
https://portal.mardi4nfdi.de/entity/Q55070562016-12-16Paper
https://portal.mardi4nfdi.de/entity/Q55070632016-12-16Paper
Descriptional Complexity of Bounded Regular Languages2016-11-09Paper
The Degree of Irreversibility in Deterministic Finite Automata2016-11-09Paper
Deterministic Stack Transducers2016-11-09Paper
A Hierarchy of Fast Reversible Turing Machines2016-09-30Paper
On Measuring Non-Recursive Trade-Offs2016-09-29Paper
https://portal.mardi4nfdi.de/entity/Q28193852016-09-29Paper
https://portal.mardi4nfdi.de/entity/Q28194022016-09-29Paper
Boosting Reversible Pushdown Machines by Preprocessing2016-08-10Paper
https://portal.mardi4nfdi.de/entity/Q57404212016-07-26Paper
Set Automata2016-06-23Paper
On One-way One-bit O (One)-message Cellular Automata2016-06-09Paper
Deterministic One-Way Turing Machines with Sublinear Space2016-05-11Paper
Returning Parallel Communicating Finite Automata with Communication Bounds: Hierarchies, Decidabilities, and Undecidabilities2016-04-15Paper
Input-Driven Queue Automata with Internal Transductions2016-04-13Paper
Reversible Shrinking Two-Pushdown Automata2016-04-13Paper
One-Way Reversible Multi-head Finite Automata2015-11-30Paper
Minimal Reversible Deterministic Finite Automata2015-11-10Paper
https://portal.mardi4nfdi.de/entity/Q34500112015-11-02Paper
Expressive Capacity of Concatenation Freeness2015-09-23Paper
Reversible and Irreversible Computations of Deterministic Finite-State Devices2015-09-16Paper
Tinput-Driven Pushdown Automata2015-09-15Paper
Reversible Limited Automata2015-09-15Paper
Aspects of Reversibility for Classical Automata2015-09-08Paper
Shrinking One-Way Cellular Automata2015-08-07Paper
On Simulation Cost of Unary Limited Automata2015-08-07Paper
Complexity of One-Way Cellular Automata2015-08-04Paper
Real-Time Reversible One-Way Cellular Automata2015-08-04Paper
Deterministic input-driven queue automata: finite turns, decidability, and closure properties2015-05-18Paper
STATELESS ONE-WAY MULTI-HEAD FINITE AUTOMATA WITH PEBBLES2015-04-23Paper
Complexity of Operation Problems2015-02-25Paper
SIMULATIONS OF UNARY ONE-WAY MULTI-HEAD FINITE AUTOMATA2015-02-09Paper
Parameterized Prefix Distance between Regular Languages2015-01-13Paper
Head and state hierarchies for unary multi-head finite automata2014-12-03Paper
Measuring Communication in Automata Systems2014-10-14Paper
Deterministic Set Automata2014-10-14Paper
Degrees of Reversibility for DFA and DPDA2014-09-02Paper
Bidirectional string assembling systems2014-08-22Paper
Regularity and Size of Set Automata2014-08-07Paper
Oblivious two-way finite automata: decidability and complexity2014-07-18Paper
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy2014-03-31Paper
ON THE DESCRIPTIONAL COMPLEXITY OF THE WINDOW SIZE FOR DELETING RESTARTING AUTOMATA2014-03-10Paper
https://portal.mardi4nfdi.de/entity/Q57470942014-02-11Paper
https://portal.mardi4nfdi.de/entity/Q53963722014-02-05Paper
Non-deterministic cellular automata and languages2014-01-06Paper
Time-Symmetric Machines2013-12-17Paper
Size of Unary One-Way Multi-head Finite Automata2013-08-09Paper
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties2013-08-07Paper
One-Way Multi-Head Finite Automata with Pebbles But No States2013-06-28Paper
String Assembling Systems2012-11-22Paper
Reversible pushdown automata2012-11-06Paper
States and Heads Do Count for Unary Multi-head Finite Automata2012-11-02Paper
On CD-Systems of Stateless Deterministic Two-Phase RR(1)-Automata2012-11-01Paper
Input-Driven Stack Automata2012-09-21Paper
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata2012-09-20Paper
THE MAGIC NUMBER PROBLEM FOR SUBREGULAR LANGUAGE FAMILIES2012-08-30Paper
ON THE COMPUTATIONAL CAPACITY OF PARALLEL COMMUNICATING FINITE AUTOMATA2012-08-30Paper
THE COMPLEXITY OF REGULAR(-LIKE) EXPRESSIONS2012-08-29Paper
UNDECIDABILITY AND HIERARCHY RESULTS FOR PARALLEL COMMUNICATING FINITE AUTOMATA2012-08-29Paper
Nondeterministic state complexity of star-free languages2012-08-09Paper
Oblivious Two-Way Finite Automata: Decidability and Complexity2012-06-29Paper
https://portal.mardi4nfdi.de/entity/Q31021442011-12-01Paper
Computational Complexity of NURIKABE2011-11-22Paper
Nature-Based Problems in Cellular Automata2011-09-09Paper
Nodes Connected by Path Languages2011-07-29Paper
Gaining Power by Input Operations: Finite Automata and Beyond2011-07-29Paper
Nondeterministic State Complexity of Star-Free Languages2011-07-29Paper
Decidability of operation problems for T0L languages and subclasses2011-07-27Paper
Descriptional and computational complexity of finite automata -- a survey2011-07-27Paper
Cellular automata with limited inter-cell bandwidth2011-07-18Paper
String Transformation for n-Dimensional Image Compression2011-04-01Paper
Two-Party Watson-Crick Computations2011-02-11Paper
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction2011-01-21Paper
Complexity of multi-head finite automata: origins and directions2011-01-10Paper
On stateless deterministic restarting automata2010-12-13Paper
ON STATELESS TWO-PUSHDOWN AUTOMATA AND RESTARTING AUTOMATA2010-11-11Paper
Cellular automata with sparse communication2010-10-07Paper
The Complexity of Regular(-Like) Expressions2010-08-31Paper
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata2010-08-31Paper
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata2010-08-31Paper
Reversible Pushdown Automata2010-05-26Paper
Fundamentals of Computation Theory2010-04-20Paper
Real-time reversible iterative arrays2010-02-09Paper
CONTEXT-FREE GRAMMARS WITH LINKED NONTERMINALS2010-01-29Paper
WHEN CHURCH-ROSSER BECOMES CONTEXT FREE2010-01-29Paper
On input-revolving deterministic and nondeterministic finite automata2009-11-27Paper
Regulated nondeterminism in pushdown automata2009-09-14Paper
NONDETERMINISTIC FINITE AUTOMATA — RECENT RESULTS ON THE DESCRIPTIONAL AND COMPUTATIONAL COMPLEXITY2009-08-21Paper
https://portal.mardi4nfdi.de/entity/Q51929912009-08-10Paper
Determination of finite automata accepting subregular languages2009-08-07Paper
Cellular Automata with Sparse Communication2009-07-09Paper
More on the Size of Higman-Haines Sets: Effective Constructions2009-06-23Paper
Descriptional and Computational Complexity of Finite Automata2009-04-02Paper
Undecidability of Operation Problems for T0L Languages and Subclasses2009-04-02Paper
Context-Dependent Nondeterminism for Pushdown Automata2009-03-26Paper
More on the Size of Higman-Haines Sets: Effective Constructions2009-03-05Paper
Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity2009-02-12Paper
On Stateless Deterministic Restarting Automata2009-02-03Paper
Deterministic Input-Reversal and Input-Revolving Finite Automata2008-11-20Paper
On the Computational Capacity of Parallel Communicating Finite Automata2008-10-30Paper
Fast reversible language recognition using cellular automata2008-10-08Paper
Succinct description of regular languages by weak restarting automata2008-10-08Paper
OPTIMAL SIMULATIONS OF WEAK RESTARTING AUTOMATA2008-09-25Paper
https://portal.mardi4nfdi.de/entity/Q35270182008-09-25Paper
https://portal.mardi4nfdi.de/entity/Q35171042008-08-12Paper
https://portal.mardi4nfdi.de/entity/Q35117282008-07-11Paper
The Boolean closure of linear context-free languages2008-06-17Paper
Regulated Nondeterminism in Pushdown Automata2008-06-10Paper
HYBRID EXTENDED FINITE AUTOMATA2008-05-20Paper
Real-Time Reversible Iterative Arrays2008-02-26Paper
The size of Higman-Haines sets2007-12-19Paper
Hairpin Finite Automata2007-11-28Paper
Finite turns and the regular closure of linear context-free languages2007-09-21Paper
https://portal.mardi4nfdi.de/entity/Q35922042007-09-12Paper
Hybrid Extended Finite Automata2007-09-06Paper
Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability2007-09-05Paper
Context-dependent nondeterminism for pushdown automata2007-05-11Paper
https://portal.mardi4nfdi.de/entity/Q34160942007-01-19Paper
https://portal.mardi4nfdi.de/entity/Q54859702006-09-06Paper
Developments in Language Theory2006-06-23Paper
Developments in Language Theory2005-12-22Paper
Developments in Language Theory2005-12-22Paper
Machines, Computations, and Universality2005-12-08Paper
THE PHENOMENON OF NON-RECURSIVE TRADE-OFFS2005-11-14Paper
NONDETERMINISTIC DESCRIPTIONAL COMPLEXITY OF REGULAR LANGUAGES2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q53137832005-09-01Paper
Implementation and Application of Automata2005-08-17Paper
UNSOLVABILITY LEVELS OF OPERATION PROBLEMS FOR SUBCLASSES OF CONTEXT-FREE LANGUAGES2005-08-01Paper
On the descriptional complexity of finite automata with modified acceptance conditions2005-02-22Paper
On the descriptional power of heads, counters, and pebbles2005-02-22Paper
https://portal.mardi4nfdi.de/entity/Q48256782004-11-05Paper
https://portal.mardi4nfdi.de/entity/Q48086512004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44720032004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44653382004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44520762004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44491982004-02-08Paper
Fast one-way cellular automata.2003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q44186102003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44125772003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44121082003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q47993642003-03-19Paper
Deterministic Turing machines in the range between real-time and linear-time.2003-01-21Paper
Massively parallel fault tolerant computations on syntactical patterns2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q47821022002-11-27Paper
https://portal.mardi4nfdi.de/entity/Q45364272002-11-25Paper
https://portal.mardi4nfdi.de/entity/Q47791632002-11-25Paper
https://portal.mardi4nfdi.de/entity/Q45363602002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q45300042002-05-07Paper
https://portal.mardi4nfdi.de/entity/Q27089752001-04-04Paper
https://portal.mardi4nfdi.de/entity/Q49343262000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q43216032000-06-21Paper
On time reduction and simulation in cellular spaces1999-09-01Paper
https://portal.mardi4nfdi.de/entity/Q42181551999-06-21Paper
Pushdown cellular automata1999-04-28Paper
On time computability of functions in one-way cellular automata1998-08-20Paper
https://portal.mardi4nfdi.de/entity/Q48554061995-11-12Paper
https://portal.mardi4nfdi.de/entity/Q33575561991-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Martin Kutrib