Sebastian Maneth

Recent Publications (see also )

• XML Tree Structure Compression using Repair. (with M. Lohrey and R. Mennicke)
  To appear in Information Systems, 2013.

• XML compression via DAGs. (with M. Lohrey and E. Noeth)
  In ICDT 2013, Proceedings, pp 69-80, ACM Press, 2013.

• Type Checking of Tree Walking Transducers. (with S. Pott and H. Seidl)
  In Modern Applications of Automata Theory, Chapter 11, pp. 325-372, World Scientific, 2012.

• Deterministic regular expressions in linear time (with B. Groz and S. Staworko)
  In PODS 2012, Proceedings, pp. 49-60, ACM Press, 2012.

• Dictionary-Based Tree Compression (Invited Talk)
  In RTA 2012, Proceedings, p. 5, DROPS 3480 (2012)

• Parameter reduction and automata evaluation for grammar-compressed trees (with M. Lohrey and M. Schmidt-Schauß)
  J. Comput. Syst. Sci. 78(5): 1651-1669 (2012)

Lectures

• Effiziente Suche im Web (University of Leipzig, SS 2012)
• Web Data Compression and Search (UNSW, 1/2011)
• XML and Databases (UNSW, 1/2010)
• XML and Databases (UNSW, 1/2009)
• XML and Databases (UNSW, 1/2008)
• XML and Databases (UNSW, 2/2007)
• Logic and Automata (Canberra, December 2006)
• Type Systems (EPFL, 2004/05)
• Tree Transducers and XML (Tarragona, April 2004)

Activities

• PC member, ICALP 2014
• PC member, PODS 2014
• PC member, Workshop on Scalable Cloud Data Management (SCDM 2013)
• PC Chair and Organizer, International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2013)
• PC member, International Conference on Implementation and Application of Automata (CIAA 2013)
• PC member, British National Conference on Databases (BNCOD 2013)
• Organizer, Dagstuhl Seminar on Indexes and Computation over Compressed Structured Data (June 2013)
• Organizer, Dagstuhl Seminar on Tree Transducers and Formal Methods (May 2013)
• PC member, Workshop on Data Management in the Cloud (DMC 2013)
• PC member, Australasian Database Conference (ADC 2013)
• Invited Speaker, International Conference on Rewriting Techniques and Applications (RTA 2012)
• PC member, International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2012)
• PC member, International Conference on Ambient Systems, Networks and Technologies (ANT 2012)
• PC member, Foundations of Information and Knowledge Systems (FoIKS 2012)
• PC member, International Conference on Implementation and Application of Automata (CIAA 2012)
• PC member, IEEE International Conference on Data Engineering (ICDE 2012)
• PC member, International Conference on Language and Automata Theory and its Applications (LATA 2012)
• PC member, Australasian Database Conference (ADC 2012)
• PC member, International Conference on Implementation and Application of Automata (CIAA 2011)
• PC member, International Conference on Language and Automata Theory and Applications (LATA 2011)
• PC member, International Workshop on Semantics in Data and Knowledge Bases (SDKB 2010)
• PC member, ACL 2010 Workshop on Applications of Tree Automata in Natural Language Processing
• PC member, International Conference on Implementation and Application of Automata (CIAA 2010)
• PC member, International Workshop on Benchmarking of Database Management Systems and Data-Oriented Web Technologies (BenchmarX'10)
• PC member, International Conference on Database Theory (ICDT 2010)
• PC member, International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)
• PC member, Asian Symposium on Programming Languages and Systems (APLAS 2009)
• PC member, International Workshop on Schema Languages for XML (X-Schemas'09)
• PC Chair and Organizer, International Conference on Implementation and Application of Automata (CIAA 2009)
• PC member, International Conference on Database Theory (ICDT 2009)
• PC member, Australasian Database Conference (ADC 2009)
• PC member, International Conference on Implementation and Application of Automata (CIAA 2008)
• Organizer, Dagstuhl Seminar on Structure-Based Compression of Complex Massive Data (June 2008)
• PC member, Programming Language Technologies for XML (PLAN-X 2008)
• PC member, ACM Workshop on Web Information and Data Management (WIDM 2007)
• PC member, ACM Workshop on Web Information and Data Management (WIDM 2006)
• Mathematical Reviews

My PhD Thesis

Recent Talks

Old Talks