Dr. Bianca Truthe


* 10.01.1975 in Magdeburg

1993 Abitur (Werner-von-Siemens-Gymnasium Magdeburg)

1999 Diplom in Computer Science (Otto von Guericke University Magdeburg)

2005 PhD in Theoretical Computer Science (Otto von Guericke University Magdeburg)


Conferences in the years 1999 until 2010

Theorietag '10:
20. Theorietag "Automaten und Formale Sprachen"
Baunatal near Kassel, Germany, 29 September – 1 October 2010
"On the Descriptional Complexity of Limited Propagating Lindenmayer Systems"
Photos
NCMA '10:
2nd International Workshop on Non-Classical Models of Automata and Applications
Jena, Germany, 23–27 August 2010
"On Networks of Evolutionary Processors with State Limited Filters" (with J. Dassow)
DLT '10:
14th International Conference on Developments in Language Theory
London, Ontario, Canada, 17–20 August 2010
Photos
DCFS '10:
12th International Workshop on Descriptional Complexity of
Formal Systems
Saskatoon, Saskatchewan, Canada, 8–10 August 2010
"On the Descriptional Complexity of Limited Propagating Lindenmayer Systems"
LATA '10:
4th International Conference on Languages and Automata Theory and Applications
Trier, Germany, 24–28 May 2010
Member of the organizing committee Photos
Theorietag '09:
19. Theorietag "Automaten und Formale Sprachen"
Lutherstadt Wittenberg, Germany, 28–30 September, 2009
"Ziel basierte akzeptierende Netzwerke evolutionärer Prozessoren mit regulären Filtern"
NCMA '09:
1st International Workshop on Non-Classical Models of Automata and Applications
Wrocław, Poland, 31 August – 1 September, 2009
"Target Based Accepting Networks of Evolutionary Processors with Regular Filters" Photos
DCFS '09:
11th International Workshop on Descriptional Complexity of
Formal Systems
Magdeburg, Germany, 6–9 July 2009
Member of the Program Committee and Organization Committee Photos
LATA '09:
2nd International Conference on Languages and Automata Theory and Applications
Tarragona, Spain, 2–8 April 2009
"On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes" (with V. Mitrana)
Member of the Organizing Committee
Photos
Theorietag '08:
18. Theorietag "Automaten und Formale Sprachen"
Giessen, Germany, 30 September – 2 Oktober 2008
"Zu akzeptierenden Netzwerken evolutionärer Prozessoren mit zwei Knotenarten"
Photos
DCFS '08:
10th International Workshop on Descriptional Complexity of
Formal Systems
Charlottetown, Prince Edward Island, Canada, 16–18 July 2008
"On Two Hierarchies of Subregularly Tree Controlled Languages" (with J. Dassow)
Photos
AFL '08:
12th International Conference on Automata and Formal Languages
Balatonfüred, Hungary, 27–30 May 2008
"Subregularly Tree Controlled Grammars and Languages" (with J. Dassow)
Photos
LATA '08:
2nd International Conference on Languages and Automata Theory and Applications
Tarragona, Spain, 13–19 March 2008
Member of the organizing committee Photos
Theorietag '07:
17. Theorietag "Automaten und Formale Sprachen"
Leipzig, Germany, 27–29 September 2007
"Zur Mächtigkeit von Netzwerken evolutionärer Prozessoren mit zwei Knotenarten" (with J. Dassow)
Photos
MCU '07:
5th International Conference on Machines, Computations and Universality
Orléans, France, 10–13 September 2007
"On the Power of Networks of Evolutionary Processors" (with J. Dassow)
long version
published in LNCS 4664
Photos
DCFS '07:
9th International Workshop on Descriptional Complexity of
Formal Systems
Novy Smokovec, Slovakia, 20–22 Juni 2007
"Remarks on Context-Free Parallel Communicating Grammar Systems Generating Crossed Agreements"
Photos
LATA '07:
1st International Conference on Languages and Automata Theory and Applications
Tarragona, Spain, 29 March – 4 April 2007
Member of the organizing committee Photos
Theorietag '06:
16. Theorietag "Automaten und Formale Sprachen"
Vienna, Austria, 27–29 September 2006
"Kontextfreie PC-Grammatiksysteme zum Erzeugen einer Sprache mit Verschränkung" (with J. Dassow)
Photos
DLT '06:
10th International Conference on Developments in Language Theory
Santa Barbara, California, USA, 26–29 June 2006
Photos
DCFS '06:
8th International Workshop on Descriptional Complexity of
Formal Systems
Las Cruces, New Mexico, USA, 21–23 June 2006
"On the degree complexity of special non-context-free languages with respect to PC grammar systems" (with J. Dassow)
Photos
Theorietag '05:
15. Theorietag "Automaten und Formale Sprachen"
Lauterbad near Freudenstadt, Germany, 27–29 September 2005
"Äquivalenz von Bildsprachen synchroner, deterministischer Ketten-Code-Bild-Systeme"
short version
long version
Photos
AFL '05:
11th International Conference on Automata and Formal Languages
Dobogókő, Hungary, 17–20 May 2005
"A Method for Deciding the Finiteness of Synchronous, Tabled Picture Languages"
german version
english version
Photos
DLT '04:
8th International Conference on Developments in Language Theory
Auckland, New Zealand, 13–17 December 2004
"A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages"
german version
english version published in LNCS 3340
Photos
Theorietag '04:
14. Theorietag "Automaten und Formale Sprachen"
Caputh near Potsdam, Germany, 28–30 September 2004
"Zur Endlichkeit von Bildsprachen zu tabellierten Ketten-Code-Bild-Systemen"
short version
long version
Photos
Theorietag '99:
9. Theorietag "Automaten und Formale Sprachen"
Schauenburg-Elmshagen near Kassel, Germany, 27–29 September 1999
"Zur Endlichkeit von Bildsprachen synchroner, deterministischer Ketten-Code-Bild-Systeme"
short version
revised long version

Conferences in other years


Teaching, Publications, Address


[Magdeburg]/ [University]/ [Faculty]/ [Institute]/ [Research Group]