Dr. Bianca Truthe

* 10.01.1975 in Magdeburg

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

1999 Diplom in Informatik (Otto-von-Guericke-Universität Magdeburg)

2005 Promotion in Theoretischer Informatik (Otto-von-Guericke-Universität Magdeburg)

Teilnahme an Tagungen in den Jahren 1999 bis 2010

Theorietag '10:
20. Theorietag "Automaten und Formale Sprachen"
Baunatal bei Kassel, 29. September bis 1. Oktober 2010 		"On the Descriptional Complexity of Limited Propagating Lindenmayer Systems"
 Fotos
NCMA '10:
2nd International Workshop on Non-Classical Models of Automata and Applications
Jena, 23. bis 27. August 2010 		"On Networks of Evolutionary Processors with State Limited Filters" (mit J. Dassow)
DLT '10:
14th International Conference on Developments in Language Theory
London, Ontario, Kanada, 17. bis 20. August 2010 		Fotos
DCFS '10:
12th International Workshop on Descriptional Complexity of
Formal Systems
Saskatoon, Saskatchewan, Kanada, 8. bis 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, 24. bis 28. Mai 2010 		Organisationskomiteemitglied Fotos
Theorietag '09:
19. Theorietag "Automaten und Formale Sprachen"
Lutherstadt Wittenberg, 28. bis 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, Polen, 31. August bis 1. September 2009 		"Target Based Accepting Networks of Evolutionary Processors with Regular Filters" Fotos
DCFS '09:
11th International Workshop on Descriptional Complexity of
Formal Systems
Magdeburg, 6. bis 9. Juli 2009 		Mitglied im Programmkomitee und Organisationskomitee Fotos
LATA '09:
3rd International Conference on Languages and Automata Theory and Applications
Tarragona, Spanien, 2. bis 8. April 2009 		"On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes" (mit V. Mitrana)
Organisationskomiteemitglied 		Fotos
Theorietag '08:
18. Theorietag "Automaten und Formale Sprachen"
Giessen, 30. September bis 2. Oktober 2008 		"Zu akzeptierenden Netzwerken evolutionärer Prozessoren mit zwei Knotenarten"
 Fotos
DCFS '08:
10th International Workshop on Descriptional Complexity of
Formal Systems
Charlottetown, Prince Edward Island, Kanada, 16. bis 18. Juli 2008 		"On Two Hierarchies of Subregularly Tree Controlled Languages" (mit J. Dassow)
 Fotos
AFL '08:
12th International Conference on Automata and Formal Languages
Balatonfüred, Ungarn, 27. bis 30 Mai 2008 		"Subregularly Tree Controlled Grammars and Languages" (mit J. Dassow)
 Fotos
LATA '08:
2nd International Conference on Languages and Automata Theory and Applications
Tarragona, Spanien, 13. bis 19. März 2008 		Organisationskomiteemitglied Fotos
Theorietag '07:
17. Theorietag "Automaten und Formale Sprachen"
Leipzig, 27. bis 29. September 2007 		"Zur Mächtigkeit von Netzwerken evolutionärer Prozessoren mit zwei Knotenarten" (mit J. Dassow)
 Fotos
MCU '07:
5th International Conference on Machines, Computations and Universality
Orléans, Frankreich, 10. bis 13. September 2007 		"On the Power of Networks of Evolutionary Processors" (mit J. Dassow)
Langfassung
Konferenzartikel erschienen in LNCS 4664 		Fotos
DCFS '07:
9th International Workshop on Descriptional Complexity of
Formal Systems
Novy Smokovec, Slowakei, 20. bis 22. Juni 2007 		"Remarks on Context-Free Parallel Communicating Grammar Systems Generating Crossed Agreements"
Fotos
LATA '07:
1st International Conference on Languages and Automata Theory and Applications
Tarragona, Spanien, 29. März bis 4. April 2007 		Organisationskomiteemitglied Fotos
Theorietag '06:
16. Theorietag "Automaten und Formale Sprachen"
Wien, Österreich, 27. bis 29. September 2006 		"Kontextfreie PC-Grammatiksysteme zum Erzeugen einer Sprache mit Verschränkung" (mit J. Dassow)
Fotos
DLT '06:
10th International Conference on Developments in Language Theory
Santa Barbara, California, USA, 26. bis 29. Juni 2006 		Fotos
DCFS '06:
8th International Workshop on Descriptional Complexity of
Formal Systems
Las Cruces, New Mexico, USA, 21. bis 23. Juni 2006 		"On the degree complexity of special non-context-free languages with respect to PC grammar systems" (mit J. Dassow)
Fotos
Theorietag '05:
15. Theorietag "Automaten und Formale Sprachen"
Lauterbad bei Freudenstadt, 27. bis 29. September 2005 		"Äquivalenz von Bildsprachen synchroner, deterministischer Ketten-Code-Bild-Systeme"
Kurzfassung
Langfassung 		Fotos
AFL '05:
11th International Conference on Automata and Formal Languages
Dobogókő, Ungarn, 17. bis 20. Mai 2005 		"A Method for Deciding the Finiteness of Synchronous, Tabled Picture Languages"
deutsche Fassung
englische Fassung 		Fotos
DLT '04:
8th International Conference on Developments in Language Theory
Auckland, Neuseeland, 13. bis 17. Dezember 2004 		"A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages"
deutsche Fassung
englische Fassung erschienen in LNCS 3340 		Fotos
Theorietag '04:
14. Theorietag "Automaten und Formale Sprachen"
Caputh bei Potsdam, 28. bis 30. September 2004 		"Zur Endlichkeit von Bildsprachen zu tabellierten Ketten-Code-Bild-Systemen"
Kurzfassung
Langfassung 		Fotos
Theorietag '99:
9. Theorietag "Automaten und Formale Sprachen"
Schauenburg-Elmshagen bei Kassel, 27. bis 29. September 1999 		"Zur Endlichkeit von Bildsprachen synchroner, deterministischer Ketten-Code-Bild-Systeme"
Kurzfassung
Überarbeitete Langfassung

Teilnahme an Tagungen in anderen Jahren

Lehre, Veröffentlichungen, Adresse

[Magdeburg]/ [Universität]/ [Fakultät]/ [Institut]/ [Arbeitsgruppe]