Sebastian Maneth
I am currently a researcher at University of Oxford; from 1st August I will
be working at University of Edinburgh.
Prior, I was Senior Researcher at
National ICT Australia (NICTA)'s Kensington Research Lab,
Sydney, Australia
and
Conjoint Associate Professor at the
School of Computer Science & Engineering
, University of New South Wales (UNSW).
At NICTA, I managed the project
In Memory XML Query Processing (ComQu).
Research Interests
XML Query and Transformation Languages
Automata and Formal Language Theory
Logic (on graphs and trees)
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
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 Erdös number: 3 (F. Neven -> N. Alon -> P. Erdös)
some pictures