Universität Konstanz
Algorithmik
Prof. Dr. Ulrik Brandes

Sven Kosub XING

Kontakt

Sven Kosub
Adresse Universität Konstanz
Fachbereich Informatik & Informationswissenschaft
Fach 67
78457 Konstanz
Büro PZ 1004
Telefon+49 7531 88-5263
Telefax+49 7531 88-3577
EmailSven.Kosub @ uni-konstanz.de
Sprechstundenach Vereinbarung
LUKS 2013
 

Die neuen Seiten der AG Theoretische Informatik finden Sie hier.

Werdegang

02/2015 - außerplanmäßiger Professor, Fachbereich Informatik & Informationswissenschaft, Universität Konstanz
01/2008 - 01/2015 Dozent, Fachbereich Informatik & Informationswissenschaft, Universität Konstanz

06/2009 Habilitation in Informatik (Technische Universität München)
08/2001 - 07/2007 Wissenschaftlicher Assistent (C1), Lehrstuhl für Effiziente Algorithmen, Fakultät für Informatik, Technische Universität München
09/2003 - 10/2003 Gastforscher, Computational Economics Group, The Selim and Rachel Benin School of Computer Science and Engineering, The Hebrew University of Jerusalem

05/2001 Promotion in Theoretischer Informatik (Dr. rer. nat.)
01/1997 - 07/2001 Wissenschaftlicher Mitarbeiter, Lehrstuhl für Theoretische Informatik, Fakultät für Mathematik und Informatik, Julius-Maximilians-Universität Würzburg
05/1996 - 12/1996 Wissenschaftliche Hilfskraft, Fachgebiet Fabrikautomation, Fakultät für Maschinenbau, Technische Universität Ilmenau

03/1996 Diplom in Mathematik
10/1991 - 03/1996 Studium der Mathematik und Informatik, Friedrich-Schiller-Universität Jena

Forschung


Lehre

SS 2016 Mathematik: Diskrete Strukturen (Vorlesung und Übung)
Datenmathematik (Vorlesung)
Brückenkurs Mathematik (Vorlesung und Übung)

WS 2015/16 Mathematische Grundlagen der Informatik (Vorlesung und Übung)
Network Dynamics (Vorlesung und Übung)
Sportinformatik (Seminar)
Theoretische Informatik (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

SS 2015 Mathematik: Diskrete Strukturen (Vorlesung und Übung)
Komplexitätstheorie (Vorlesung und Übung)
Theoretische Informatik (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

WS 2014/15 Mathematische Grundlagen der Informatik (Vorlesung und Übung)
Network Dynamics (Vorlesung)
Theoretische Informatik (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

SS 2014 Mathematik: Diskrete Strukturen (Vorlesung und Übung)
Network Analysis (Vorlesung)
Soccer Analytics (Seminar)
Soccer Analytics (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

WS 2013/14 Network Dynamics (Vorlesung und Übung)
Mathematische Grundlagen der Informatik (Vorlesung und Übung)
Ranking (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

SS 2013 Mathematik: Diskrete Strukturen (Vorlesung und Übung)
Theoretische Grundlagen der Informatik (Vorlesung und Übung)
Ranking (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

WS 2012/13 Network Dynamics (Vorlesung)
Design and Analysis of Algorithms (Vorlesung und Übung)
Ranking (Bachelor-/Masterprojekt)
Brückenkurs Mathematik (Vorlesung und Übung)

SS 2012 Mathematik: Diskrete Strukturen (Vorlesung und Übung)
Brückenkurs Mathematik (Vorlesung und Übung)
Ranking (Seminar)
Software-Projekt (Projekt)

WS 2011/12 Network Dynamics (Vorlesung und Übung)
Mathematische Grundlagen der Informatik (Vorlesung und Übung)
Brückenkurs Mathematik (Vorlesung und Übung)
Ranking (Bachelor-/Masterprojekt)

SS 2011 Complexity Theory (Vorlesung)
Mathematik: Diskrete Strukturen (Vorlesung und Übung)
Brückenkurs Mathematik (Vorlesung und Übung)

WS 2010/11 Network Dynamics (Vorlesung und Übung)
Mathematische Grundlagen der Informatik (Vorlesung und Übung)
Brückenkurs Mathematik (Vorlesung und Übung)

SS 2010 Einführung in die Informatik 2 (Vorlesung und Übung)
Mathematische Grundlagen 2 (Vorlesung und Übung)

WS 2009/10 Einführung in die Informatik 1 (Vorlesung und Übung)
Mathematische Grundlagen 1 (Vorlesung und Übung)
Brückenkurs Mathematik (Vorlesung)
Netzwerkmodelle (Seminar)

SS 2009 Einführung in die Informatik 2 (Vorlesung und Übung)
Mathematische Grundlagen 2 (Vorlesung und Übung)
Algorithmische Spieltheorie (Seminar)

WS 2008/09 Einführung in die Informatik 1 (Vorlesung und Übung)
Mathematische Grundlagen 1 (Vorlesung und Übung)

SS 2008 Einführung in die Informatik 2 (Vorlesung und Übung)
Simulationstheorie (Seminar)
Brückenkurs Mathematik (Vorlesung)

Für Lehrveranstaltungen bis WS 2007/08 siehe hier.


Veröffentlichungen

2016 Sven Kosub. Textuelle Berechenbarkeit. In: Albrecht Koschorke (Hrsg.), Komplexität und Einfachheit. DFG-Symposion 2015. Erscheint demnächst. In Deutsch.

2015 Christopher M. Homan, Sven Kosub. Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. Theoretical Computer Science, 573:16-25, 2015.

2013 Raymond Hemmecke, Sven Kosub, Ernst W. Mayr, Hanjo Täubig, Jeremias Weihmann. Inequalities for the Number of Walks in a Graph. Algorithmica, 66(4):804-828, 2013.

2012 Tatsuya Akutsu, Sven Kosub, Avraham A. Melkman, Takeyuki Tamura. Finding a Periodic Attractor of a Boolean Network. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(5):1410-1421, 2012.

Ulrik Brandes, Sven Kosub, Bobo Nick. Was messen Zentralitätsindizes? In: Marina Hennig, Christian Stegbauer (Hrsg.), Die Integration von Theorie und Methode in der Netzwerkforschung, S. 33-52. VS Verlag für Sozialwissenschaften (Reihe: Netzwerkforschung), Wiesbaden, 2012. In Deutsch.

Raymond Hemmecke, Sven Kosub, Ernst W. Mayr, Hanjo Täubig, Jeremias Weihmann. Inequalities for the Number of Walks in Graphs. In: Proceedings of the SIAM Meeting on Analytic Algorithmics and Combinatorics (ANALCO'2012), S. 28-39. SIAM, 2012.

2011 Raymond Hemmecke, Sven Kosub, Ernst W. Mayr, Hanjo Täubig, Jeremias Weihmann. Inequalities for the Number of Walks in Trees and General Graphs and a Generalization of a Conjecture of Erdös and Simonovits. Technischer Bericht TUM-I1109, Institut für Informatik, Technische Universität München, April 2011.

2008 Stefan Eckhardt, Sven Kosub, Moritz G. Maaß, Hanjo Täubig, Sebastian Wernicke. Combinatorial Network Abstraction by Trees and Distances. Theoretical Computer Science, 407(1-3):1-20, 2008.

Sven Kosub. Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. Mathematics in Computer Science, 1(3):487-505, 2008. Sonderausgabe zu Modeling and Analysis of Complex Systems.

Sven Kosub, Klaus W. Wagner. The boolean hierarchy of NP-partitions. Information and Computation, 206(5):538-568, 2008.

2007 Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub. Cluster computing and the power of edge recognition. Information and Computation, 205(8):1274-1293, 2007.

Benjamin Hummel, Sven Kosub. Acyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis. In: Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference (IMC'2007), S. 221-226. ACM Press, New York, 2007.

Sven Kosub, Christopher M. Homan. Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. In: Proceedings of the 10th Italian Conference on Theoretical Computer Science (ICTCS'2007), S. 163-174. World Scientific Publishing, Singapore, 2007.

Matthias Baumgart, Stefan Eckhardt. Jan H. Griebsch, Sven Kosub, Johannes Nowak. All-Pairs Common Ancestor Problems in Weighted Dags. In: Proceedings of the 1st International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies (ESCAPE'2007), Band 4614 der Lectures Notes in Computer Science, S. 282-293. Springer-Verlag, Berlin, 2007.

Sven Kosub. Computational Analysis of Complex Systems. Habilitationsschrift, Technische Universität München, Mai 2007.

Stefan Eckhardt, Sven Kosub, Johannes Nowak. Smoothed Analysis of Trie Height. Technischer Bericht TUM-I0715, Institut für Informatik, Technische Universität München, Juli 2007.

Benjamin Hummel, Sven Kosub. Acyclic Type-of-Relationship Problems on the Internet: An Experimental Analysis. Technischer Bericht TUM-I0709, Institut für Informatik, Technische Universität München, Februar 2007.

Sven Kosub, Christopher M. Homan. Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. Technischer Bericht TUM-I0706, Institut für Informatik, Technische Universität München, Januar 2007; überarbeitete und ergänzte Version als Technischer Bericht arXiv:0812.0283 [cs.CC], ACM Computing Research Repository, Dezember 2008.

Sven Kosub. Dichotomy Results for Fixed-Point Existence Problems in Boolean Dynamical Systems. Technischer Bericht TUM-I0701, Institut für Informatik, Technische Universität München, Januar 2007 sowie Technischer Bericht arXiv:0801.3802 [cs.CC], ACM Computing Research Repository, Januar 2008, überarbeitet im Dezember 2008.

2006 Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub, Klaus W. Wagner. The Complexity of Computing the Size of an Interval. SIAM Journal on Computing, 36(5):1264-1300, 2006.

Klaus Holzapfel, Sven Kosub, Moritz G. Maaß, Hanjo Täubig. The complexity of detecting fixed-density clusters. Discrete Applied Mathematics, 154(11):1547-1562, 2006.

Sven Kosub, Moritz G. Maaß, Hanjo Täbig. Acyclic Type-of-Relationship Problems on the Internet. In: Proceedings of the 3rd Workshop on Combinatorial and Algorithmic Aspects of Networking (CAAN'2006), Band 4235 der Lecture Notes in Computer Science, S. 98-111. Springer-Verlag, Berlin, 2006.

Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub. Cluster Computing and the Power of Edge Recognition. In: Proceedings of the 3rd Annual Conference on Theory and Applications of Models of Computation (TAMC'2006), Band 3959 der Lecture Notes in Computer Science, S. 283-294. Springer-Verlag, Berlin, 2006.

Matthias Baumgart, Stefan Eckhardt, Jan H. Griebsch, Sven Kosub, Johannes Nowak. All-Pairs Common-Ancestor Problems in Weighted Dags. Technischer Bericht TUM-I0606, Institut für Informatik, Technische Universität München, April 2006.

Sven Kosub, Moritz G. Maaß, Hanjo Täubig. Acyclic Type-of-Relationship Problems on the Internet. Technischer Bericht TUM-I0605, Institut für Informatik, Technische Universität München, März 2006.

2005 Sven Kosub. Local Density. In: Ulrik Brandes, Thomas Erlebach (Hrsg.), Network Analysis - Methodological Foundations, Band 3418 der Lecture Notes in Computer Science, Kap. 6, S. 112-142. Springer-Verlag, Berlin, 2005.

Sven Kosub. NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems. Theory of Computing Systems, 38(1):83-113, 2005.

Stefan Eckhardt, Sven Kosub, Moritz G. Maaß, Hanjo Täubig, Sebastian Wernicke. Combinatorial Network Abstraction by Trees and Distances. In: Proceedings of the 16th International Symposium on Algorithms and Computation (ISAAC'2005), Band 3827 der Lecture Notes in Computer Science, S. 1100-1109. Springer-Verlag, Berlin, 2005.

Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub. Cluster Computing and the Power of Edge Recognition. Technischer Bericht URCS-TR-2005-878, Department of Computer Science, University of Rochester, September 2005 sowie Technischer Bericht cs.CC/0509060, ACM Computing Research Repository, September 2005.

Stefan Eckhardt, Sven Kosub, Moritz G. Maaß, Hanjo Täubig, Sebastian Wernicke. Combinatorial Network Abstraction by Trees and Distances. Technischer Bericht TUM-I0502, Institut für Informatik, Technische Universität München, März 2005.

Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub, Klaus W. Wagner. The Complexity of Computing the Size of an Interval. Technischer Bericht URCS-TR-2005-856, Department of Computer Science, University of Rochester, Februar 2005 sowie Technischer Bericht cs.CC/0502058, ACM Computing Research Repository, September 2005.

2004 Sven Kosub. Local Density. Technischer Bericht TUM-I0421, Institut für Informatik, Technische Universität München, Dezember 2004.

2003 Matthias Galota, Sven Kosub, Heribert Vollmer. Generic separations and leaf languages, Mathematical Logic Quarterly, 49(4):353-362, 2003.

Sven Kosub. Boolean NP-Partitions and Projective Closure. In: Proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS'2003), Band 2731 der Lecture Notes in Computer Science, S. 225-236. Springer-Verlag, Berlin, 2003.

Klaus Holzapfel, Sven Kosub, Moritz G. Maaß, Hanjo Täubig. The Complexity of Detecting Fixed-Density Clusters. In: Proceedings of the 2nd Italian Conference on Algorithms and Complexity (CIAC'2003), Band 2653 der Lecture Notes in Computer Science, S. 201-212. Springer-Verlag, Berlin, 2003.

2002 Klaus Holzapfel, Sven Kosub, Moritz G. Maaß, Hanjo Täubig. The Complexity of Detecting Fixed-Density Clusters. Technischer Bericht TUM-I0212, Institut für Informatik, Technische Universität München, Dezember 2002.

2001 Lane A. Hemaspaandra, Sven Kosub, Klaus W. Wagner. The Complexity of Computing the Size of an Interval, In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP'2001), Band 2076 der Lecture Notes in Computer Science, S. 1040-1051. Springer-Verlag, Berlin, 2001.

Matthias Galota, Sven Kosub, Heribert Vollmer. Generic Separations and Leaf Languages. Technischer Bericht TUM-I0104, Institut für Informatik, Technische Universität München, September 2001 sowie Technischer Bericht Nr. 281, Institut für Informatik, Julius-Maximilians-Universität Würzburg, September 2001.

2000 Sven Kosub. Complexity and Partitions. Dissertation, Fakultät für Mathematik und Informatik, Julius-Maximilians-Universität Würzburg, November 2000.

Sven Kosub, Heinz Schmitz, Heribert Vollmer. Uniform Characterizations of Complexity Classes of Functions. International Journal of Foundations of Computer Science, 11(4):525-551, 2000.

Sven Kosub. On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems. In: Proceedings of the 25th Symposium on Mathematical Foundations of Computer Science (MFCS'2000), Band 1893 der Lecture Notes in Computer Science, S. 467-476. Springer-Verlag, Berlin, 2000.

Sven Kosub, Klaus W. Wagner. The Boolean Hierarchy of NP-Partitions. In: Proceedings of the 17th Symposium on Theoretical Aspects of Computer Science (STACS'2000), Band 1770 der Lecture Notes in Computer Science, S. 157-168. Springer-Verlag, Berlin, 2000.

Sven Kosub. Types of Separability. Technischer Bericht Nr. 267, Institut für Informatik, Julius-Maximilians-Universität Würzburg, November 2000.

Sven Kosub. Boolean NP-Partitions and Projective Closure. Technischer Bericht Nr. 266, Institut für Informatik, Julius-Maximilians-Universität Würzburg, November 2000.

Sven Kosub. On NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems. Technischer Bericht Nr. 257, Institut für Informatik, Julius-Maximilians-Universität Würzburg, April 2000.

1999 Sven Kosub. A note on unambiguous function classes. Information Processing Letters, 72(5-6):197-203, 1999.

Daniel Görsch, Sven Kosub, Klaus-Peter Zocher. Allgemeine Systeme der Toleranzgruppenoptimierung. Im: Tagungsband des 44. Internationalen Wissenschaftlichen Kolloquium (IWK'1999), Band 1, S. 411-417. Technische Universität Ilmenau, Ilmenau, 1999.

Klaus-Peter Zocher, Sven Kosub, Daniel Görsch. Toleranzgruppenoptimierung in der Adaptiven und Selektiven Montage. Im: Tagungsband des 44. Internationalen Wissenschaftlichen Kolloquium (IWK'1999), Band 3, S. 463-469. Technische Universität Ilmenau, Ilmenau, 1999.

Sven Kosub, Klaus W. Wagner. The Boolean Hierarchy of NP-Partitions. Technischer Bericht Nr. 233, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Juli 1999; überarbeitete und ergänzte Version als Technischer Bericht TUM-I0209, Institut für Informatik, Technische Universität München, September 2002.

1998 Sven Kosub, Heinz Schmitz, Heribert Vollmer. Uniformly defining complexity classes of functions. In: Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science (STACS'98), Band 1373 der Lecture Notes in Computer Science, S. 607-617. Springer-Verlag, Berlin, 1998.

Sven Kosub. Persistent Computations. Technischer Bericht Nr. 217, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Dezember 1998.

1997 Sven Kosub, Heinz Schmitz, Heribert Vollmer. Uniformly Defining Complexity Classes of Functions. Technischer Bericht Nr. 183, Institut für Informatik, Julius-Maximilians-Universität Würzburg, September 1997.

Sven Kosub. On Cluster Machines and Function Classes. Technischer Bericht Nr. 172, Institut für Informatik, Julius-Maximilians-Universität Würzburg, Mai 1997.

1996 Sven Kosub. Clustermaschinen. Diplomarbeit, Fakultät für Informatik, Friedrich-Schiller-Universität Jena, Februar 1996.