Sebastian S. Bauer
Affiliations:- Ludwig Maximilian University of Munich, Germany
According to our database1,
Sebastian S. Bauer
authored at least 22 papers
between 2008 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
0
1
2
3
4
5
6
7
2
1
1
2
4
2
6
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2014
Sci. Comput. Program., 2014
2013
2012
Math. Struct. Comput. Sci., 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
Proceedings of the Computer Science - Theory and Applications, 2012
2011
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010
Proceedings of the Proceedings Foundations for Interface Technologies, 2010
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
2008
Proceedings of the Advanced Lectures on Software Engineering, 2008