Nr. |
Titel |
Autor |
|
Jahr |
|
Band |
1 |
IFIG Research Report |
|
|
20XX |
|
Serie |
2 |
Semi-Linear Lattices and Right One-Way Jumping Finite Automata |
Beier, Simon et al. |
|
2019 |
|
1901 |
3 |
Self-verifying cellular automata |
Kutrib, Martin et al. |
|
2018 |
|
1803 |
4 |
Properties of right one-way jumping finite automata |
Beier, Simon et al. |
|
2018 |
|
1802 |
5 |
Hierarchy of subregular language families |
Truthe, Bianca |
|
2018 |
|
1801 |
6 |
On the magic number problem of the cut operation |
Holzer, Markus et al. |
|
2017 |
|
1703 |
7 |
A note on the computational complexity of some problems for self-verifying finite automata |
Holzer, Markus et al. |
|
2017 |
|
1702 |
8 |
On the descriptional complexity of operations on semilinear sets |
Beier, Simon et al. |
|
2017 |
|
1701 |
9 |
On the computational complexity of partial word automata problems |
Holzer, Markus et al. |
|
2014 |
|
1404 |
10 |
Deterministic set automata |
Kutrib, Martin et al. |
|
2014 |
|
1402 |
11 |
Minimal and hyper-minimal biautomata |
Holzer, Markus et al. |
|
2014 |
|
1401 |
12 |
Automata 2013 : exploratory papers ; 19th International Workshop on Cellular Automata and Discrete Complex Systems, Giessen, Germany, Sept. 17-19, 2013 |
Kari, Jarkko et al. |
|
2013 |
|
1302 |
13 |
Minimization, characterizations, and nondeterminism for biautomata |
Holzer, Markus et al. |
|
2013 |
|
1301 |
14 |
Descriptional complexity of pushdown store languages |
Malcher, Andreas et al. |
|
2012 |
|
1203 / 2012 |
15 |
On the complexity of rolling block and Alice mazes |
Holzer, Markus et al. |
|
2012 |
|
1202 / 2012 |
16 |
Grid graphs with diagonal edges and the complexity of Xmas mazes |
Holzer, Markus et al. |
|
2012 |
|
1201 / 2012 |
17 |
Simplifying regular expressions : A quantitative perspective |
Gruber, Hermann et al. |
|
2009 |
|
0904 / 2009 |
18 |
Cellular automata with sparse communication |
Kutrib, Martin et al. |
|
2009 |
|
0903 / 2009 |
19 |
Tight bounds on the descriptional complexity of regular expressions |
Gruber, Hermann et al. |
|
2009 |
|
0901 / 2009 |
20 |
18. Theorietag "Automaten und Formale Sprachen" : Wettenberg-Launsbach bei Gießen 30. September – 2. Oktober 2008 |
Holzer, Markus et al. |
|
2008 |
|
0801 / 2008 |
21 |
Flip-Pushdown Automata: Nondeterminism is Better Than Determinism |
Holzer, Markus et al. |
|
2003 |
|
0301 / 2003 |
22 |
Flip-Pushdown Automata: k+1 Pushdown Reversals are Better Than k |
Holzer, Markus et al. |
|
2002 |
|
0206 / 2002 |
23 |
Nondeterministic Descriptional Complexity of Regular Languages |
Holzer, Markus et al. |
|
2002 |
|
0205 / 2002 |
24 |
Economy of Description for Basic Constructions on Rational Transductions |
Bordihn, Henning et al. |
|
2002 |
|
0204 / 2002 |
25 |
String Transformation for n-dimensional Image Compression |
Kutrib, Martin et al. |
|
2002 |
|
0203 / 2002 |
26 |
Grammars with Scattered Nonterminals |
Klein, Andreas et al. |
|
2002 |
|
0202 / 2002 |
27 |
Self-Assembling Finite Automata |
Klein, Andreas et al. |
|
2002 |
|
0201 / 2002 |
28 |
Unary Language Operations and Their Nondeterministic State Complexity |
Holzer, Markus et al. |
|
2001 |
|
0107 / 2001 |
29 |
Fast One-Way Cellular Automata |
Klein, Andreas et al. |
|
2001 |
|
0106 / 2001 |
30 |
Improving Raster Image Run-Length Encoding Using Data Order |
Holzer, Markus et al. |
|
2001 |
|
0105 / 2001 |
31 |
Refining Nondeterminism Below Linear-Time |
Kutrib, Martin |
|
2001 |
|
0104 / 2001 |
32 |
State Complexity of Basic Operations on Nondeterministic Finite Automata |
Holzer, Markus et al. |
|
2001 |
|
0103 / 2001 |
33 |
Massively Parallel Fault Tolerant Computations on Syntactical Patterns |
Kutrib, Martin et al. |
|
2001 |
|
0102 / 2001 |
34 |
A Time Hierarchy for Bounded One-Way Cellular Automata |
Klein, Andreas et al. |
|
2001 |
|
0101 / 2001 |
35 |
Below linear-time : Dimensions versus time |
Kutrib, Martin |
|
2000 |
|
0005 / 2000 |
36 |
Efficient universal pushdown cellular automata and their application to complexity |
Kutrib, Martin |
|
2000 |
|
0004 / 2000 |
37 |
Massively parallel pattern recognition with link failures |
Löwe, Jan-Thomas et al. |
|
2000 |
|
0003 / 2000 |
38 |
Deterministic Turing machines in the range between real-time and linear-time |
Klein, Andreas et al. |
|
2000 |
|
0002 / 2000 |
39 |
Fault tolerant parallel pattern recognition |
Kutrib, Martin et al. |
|
2000 |
|
0001 / 2000 |
40 |
Automata arrays and context-free languages |
Kutrib, Martin |
|
1999 |
|
9907 / 1999 |
41 |
Iterative arrays with small time bounds |
Buchholz, Thomas et al. |
|
1999 |
|
9906 / 1999 |
42 |
Iterative arrays with a wee bit alternation |
Buchholz, Thomas et al. |
|
1999 |
|
9905 / 1999 |
43 |
Real-time language recognition by alternating cellular automata |
Buchholz, Thomas et al. |
|
1999 |
|
9904 / 1999 |
44 |
Probalistic logic programming under maximum entropy |
Lukasiewicz, Thomas et al. |
|
1999 |
|
9903 / 1999 |
45 |
On tally languages and generalized interacting automata |
Buchholz, Thomas et al. |
|
1999 |
|
9902 / 1999 |
46 |
Iterative arrays with limited nondeterministic communication cell |
Buchholz, Thomas et al. |
|
1999 |
|
9901 / 1999 |
47 |
Probalistic and truth-functional many-valued logic programming |
Lukasiewicz, Thomas |
|
1998 |
|
9809 / 1998 |
48 |
Preferred answer sets for extended logic programs |
Brewka, Gerd et al. |
|
1998 |
|
9807 / 1998 |
49 |
On interacting automata with limited nondeterminism |
Buchholz, Thomas et al. |
|
1998 |
|
9806 / 1998 |
50 |
A first-order representation of stable models |
Eiter, Thomas et al. |
|
1998 |
|
9805 / 1998 |
51 |
Decision lists and related Boolean functions |
Eiter, Thomas et al. |
|
1998 |
|
9804 / 1998 |
52 |
Computing intersections of Horn theories for reasoning with models |
Eiter, Thomas et al. |
|
1998 |
|
9803 / 1998 |
53 |
Heterogeneous active agents |
Eiter, Thomas et al. |
|
1998 |
|
9802 / 1998 |
54 |
One guess one-way cellular arrays |
Buchholz, Thomas et al. |
|
1998 |
|
9801 / 1998 |
55 |
On time reduction and simulation in cellular spaces |
Buchholz, Thomas et al. |
|
1998 |
|
9703 / 1998 |
56 |
Existential second-order logic over strings |
Eiter, Thomas et al. |
|
1997 |
|
9702 / 1997 |
57 |
Enhancing symbolic model checking by AI techniques |
Buccafurri, Francesco et al. |
|
1997 |
|
9701 / 1997 |