Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martin Kappes, Andreas Malcher, Detlef Wotschke |
Remembering Chandra Kintala ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 15-26, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anna Kasprzik |
Learning Residual Finite-State Automata Using Observation Tables ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 205-212, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Markus Holzer 0001, Sebastian Jakobi, Martin Kutrib |
The Magic Number Problem for Subregular Language Families ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 110-119, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ian McQuillan, Giovanni Pighizzini (eds.) |
Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow, Florin Manea |
Accepting Hybrid Networks of Evolutionary Processors with Special Topologies and Small Communication ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 68-77, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Galina Jirásková, Monika Krausová |
Complexity in Prefix-Free Regular Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 197-204, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Kai Salomaa |
Nondeterministic State Complexity for Suffix-Free Regular Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 189-196, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nelma Moreira, Davide Nabais, Rogério Reis |
State Elimination Ordering Strategies: Some Experimental Results ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 139-148, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxue Piao, Kai Salomaa |
Transformations Between Different Types of Unranked Bottom-Up Tree Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 159-168, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Gao 0001, Kai Salomaa, Sheng Yu 0001 |
Transition Complexity of Incomplete DFAs ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 99-109, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bo Cui 0001, Yuan Gao 0001, Lila Kari, Sheng Yu 0001 |
State Complexity of Catenation Combined with Star and Reversal ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., pp. 58-67, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Erzsébet Csuhaj-Varjú, György Vaszil |
On the Size Complexity of Non-Returning Context-Free PC Grammar Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 91-100, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Masopust, Alexander Meduna |
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 183-192, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Marcus Größer |
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 3-16, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001, Martin Kutrib |
On Measuring Non-Recursive Trade-Offs ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 141-150, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Janusz A. Brzozowski |
Quotient Complexity of Regular Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 17-28, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Galina Jirásková, Alexander Okhotin |
Nondeterministic State Complexity of Positional Addition ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 151-161, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Stiebe, Sherzod Turaev |
Capacity Bounded Grammars and Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 193-203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | M. Sakthi Balan |
Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 59-68, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher |
Bounded Languages Meet Cellular Automata with Sparse Communication ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 163-172, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Jack, Andrei Paun |
The Nondeterministic Waiting Time Algorithm: A Review ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 29-46, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Remco Loos, Florin Manea, Victor Mitrana |
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 173-182, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe (eds.) |
Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Almeida, Nelma Moreira, Rogério Reis |
Testing the Equivalence of Regular Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 47-57, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Gao 0001, Sheng Yu 0001 |
State Complexity Approximation ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 121-130, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierluigi Frisco, Oscar H. Ibarra |
On Languages Accepted by P/T Systems Composed of joins ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 111-120, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Franziska Biegler, Mark Daley, Ian McQuillan |
On the Shuffle Automaton Size for Words ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 79-89, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Freund, Andreas Klein 0001, Martin Kutrib |
On the Number of Membranes in Unary P Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 101-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Viliam Geffert, Lubomíra Istonová |
Translation from Classical Two-Way Automata to Pebble Two-Way Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 131-140, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fevzi Belli, Mutlu Beyazit |
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., pp. 69-77, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001 |
Language Operations with Regular Expressions of Polynomial Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 182-193, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Balasubramanian Ravikumar |
Non-regularity, Approximation and State Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 25, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Mark Daley, Michael Domaratzki, Kai Salomaa |
State Complexity of Orthogonal Catenation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 134-144, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Eric Allender |
Circuit Complexity, Kolmogorov Complexity, and Prospects for Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 7-13, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Lakshmanan Kuppusamy, Anand Mahendran, Kamala Krithivasan |
On the Trade-Off Between Ambiguity and Measures in Internal Contextual Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 216-223, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Franziska Biegler, Kai Salomaa |
On the Synchronized Derivation Depth of Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 73-84, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Xiaoxue Piao, Kai Salomaa |
Operational State Complexity of Nested Word Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 194-206, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Akihiro Matsuura, Yusuke Saito |
Equivalent Transformation of Minimal Finite Automata over a Two-Letter Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 224-232, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Cezar Câmpeanu, Giovanni Pighizzini (eds.) |
10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![University of Prince Edward Island, 978-0-919013-56-8 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
State Complexity of NFA to DFA Conversion of Subregular Language Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 85-96, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Artiom Alhazov, Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Yurii Rogozhin |
Computational Completeness of Hybrid Networks of Evolutionary Processors with Seven Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 38-47, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Elena Czeizler, Eugen Czeizler, Lila Kari, Kai Salomaa |
Watson-Crick automata: determinism and state complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 121-133, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jürgen Dassow, Bianca Truthe |
On Two Hierarchies of Subregularly Tree Controlled Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 145-156, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | György Vaszil |
Automata-like Membrane Systems - A Natural Way to Describe Complex Phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 26-37, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Marco Almeida, Nelma Moreira, Rogério Reis |
Exact Generation of Acyclic Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 48-60, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Janusz A. Brzozowski, Nicolae Santean |
Determinism without Determinization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 109-120, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Janusz A. Brzozowski, Stavros Konstantinidis |
State-Complexity Hierarchies of Uniform Languages of Alphabet-Size Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 97-108, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | András Faragó |
On the Descriptional Complexity of Path Optimization in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 207-215, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Maria Paola Bianchi, Beatrice Palano |
On leftmost #-Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 61-72, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Takashi Emori, Taishin Y. Nishida |
An Efficient Derivation Method for DTOL Systems and a Measure of Derivation Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 157-167, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Cristian Calude |
Incompleteness: A Personal Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 14-24, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Zoltán Ésik, Yuan Gao 0001, Guangwu Liu, Sheng Yu 0001 |
Estimation of State Complexity of Combined Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, Charlottetown, Prince Edward Island, Canada, July 16-18, 2008., pp. 168-181, 2008, University of Prince Edward Island, 978-0-919013-56-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Marco Almeida, Nelma Moreira, Rogério Reis |
Exact Generation of Minimal Acyclic Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 57-68, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Rudolf Freund, Marion Oswald |
CD Grammar Systems with Regular Start Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 69-80, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Alexander Meduna, Jirí Techet |
Reduction of Scattered Context Generators of Sentences Preceded by Their Leftmost Parses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 178-185, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Carlo Mereghetti |
The Descriptional Power of Sublogarithmic Resource Bounded Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 12-26, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Markus E. Nebel |
Compact Descriptions for Efficient Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 27-40, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Tomás Masopust, Alexander Meduna |
Descriptional Complexity of Generalized Forbidding Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 170-177, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Viliam Geffert, Giovanni Pighizzini (eds.) |
9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![University of Kosice, Slovakia, 978-80-7097-688-3 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Kostyantyn Archangelsky |
A New Measure of Descriptional Complexity of Languages and Formal Power Series: Compactness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 153-161, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Helmut Jürgensen |
Complexity, Information, Energy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 7-11, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Beatrice Palano |
A Regularity Condition for Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 117-128, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Jürgen Dassow, Ralf Stiebe |
Nonterminal Complexity of Some Operations on Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 162-169, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Jirí Wiedermann, Dana Pardubská |
Wireless Parallel Computing and its Links to Descriptive Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 41-56, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Martin Kutrib, Jens Reimann |
Optimal Simulations of Weak Restarting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 81-92, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Remco Loos, Andreas Malcher, Detlef Wotschke |
Descriptional Complexity of Splicing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 93-104, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Taishin Y. Nishida |
Descriptional Complexities of Grammars over Alphabets with Finite Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 105-116, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Bianca Truthe |
Remarks on Context-Free Parallel Communicating Grammar Systems Generating Crossed Agreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 141-152, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Gheorghe Paun, Mario J. Pérez-Jiménez, Takashi Yokomori |
Representations and Characterizations of Languages in Chomsky Hierarchy by Means of Insertion-Deletion Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20 - 22, 2007, pp. 129-140, 2007, University of Kosice, Slovakia, 978-80-7097-688-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Andreas Malcher |
Cellular Automata and Descriptional Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 26-40, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | J. Kavitha, L. Jeganathan, G. Sethuraman 0001 |
Descriptional Complexity of Alternating Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 188-198, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jürgen Dassow, Bianca Truthe |
On the Degree Complexity of Special Non-Context-Free Languages with Respect to PC Grammar Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 241-249, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jeffrey O. Shallit |
New Directions in State Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 41-45, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Rudolf Freund |
Special Variants of P Systems with One Catalyst in One Membrane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 250-258, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Franziska Biegler, Ian McQuillan, Kai Salomaa |
An Infinite Hierarchy Induced by Depth Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 82-93, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Carlo Mereghetti, Beatrice Palano |
Quantum Automata for some Multiperiodic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 199-210, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Franziska Biegler, Michael J. Burrell, Mark Daley |
Regulated RNA rewriting: modelling RNA editing with guided insertion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 70-81, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun, Bianca Popa |
On Trace Languages Generated by (Small) Spiking Neural P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 94-105, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Brian Cloteaux, Desh Ranjan |
Some Separation Results Between Classes of Pointer Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 232-240, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Joachim Kupke |
A Powerful Tool in Lower-Bounding Constantly Ambiguous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 276-284, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Rudolf Freund, Marion Oswald |
A Small Universal Antiport P System with Forbidden Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 259-266, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Marco Almeida, Nelma Moreira, Rogério Reis |
Aspects of Enumeration and Generation with a String Automata Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 58-69, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Markus Holzer 0001, Martin Kutrib |
The Size of Higman-Haines Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 177-187, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Hermann Gruber, Markus Holzer 0001 |
Results on the Average State and Transition Complexity of Finite Automata Accepting Finite Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 267-275, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Brendan J. Cordy, Kai Salomaa |
Regular Approximations of Non-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 118-129, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Yo-Sub Han, Kai Salomaa, Derick Wood |
State Complexity of Prefix-Free Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 165-176, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Piotr Faliszewski, Lane A. Hemaspaandra |
The Consequences of Eliminating NP Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 1-15, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Alessandra Cherubini, Andrzej Kisielewicz 0001 |
Recognizing Collapsing Words is co-NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 106-117, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Jürgen Dassow, György Vaszil |
On the Number of Active Symbols in Lindenmayer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 130-140, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Michael Domaratzki, Kai Salomaa |
Transition Complexity of Language Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 141-152, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Vinod Chirayath, Luc Longpré |
Measuring privacy loss in statistical databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 16-25, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Hing Leung, Giovanni Pighizzini (eds.) |
8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![New Mexico State University, Las Cruces, New Mexico, USA The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Yuan Gao 0001, Kai Salomaa, Sheng Yu 0001 |
State Complexity of Catenation and Reversal Combined with Star. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 153-164, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Cezar Câmpeanu, Andrei Paun, Jason R. Smith 0002 |
Tight Bounds for the State Complexity of Deterministic Cover Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 223-231, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Tanbir Ahmed, Gösta Grahne |
Parallel Composition of Finite State Activity Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 46-57, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Frank Nießner, Ulrich Ultes-Nitsche |
A Complete Characterization of Deterministic Regular Liveness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings, pp. 211-222, 2006, New Mexico State University, Las Cruces, New Mexico, USA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Galina Jirásková, Alexander Okhotin |
State complexity of cyclic shift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings, pp. 182-193, 2005, Università degli Studi di Milano, Milan, Italy. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Henning Bordihn, Henning Fernau |
The degree of parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings, pp. 51-62, 2005, Università degli Studi di Milano, Milan, Italy. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Carlo Mereghetti, Beatrice Palano, Giovanni Pighizzini, Detlef Wotschke (eds.) |
7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![Università degli Studi di Milano, Milan, Italy The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Lila Kari, Petr Sosík |
On Weight of Universal Insertion Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings, pp. 206-214, 2005, Università degli Studi di Milano, Milan, Italy. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|