Sebastian Müller

	2011
22		Franziska Brecht, Benjamin Fabian, Steffen Kunz, Sebastian Müller: Are you willing to wait longer for internet privacy? ECIS 2011
21		Sebastian Müller, Suparna Goswami, Helmut Krcmar: Monetizing blogs: revenue streams of individual blogs. ECIS 2011
20		Steffen Kunz, Benjamin Fabian, Daniel Marx, Sebastian Müller: Engineering Policies for Secure Interorganizational Information Flow. EDOCW 2011: 438-447
19		Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer: Proof complexity of propositional default logic. Arch. Math. Log. 50(7-8): 727-742 (2011)
18		Sebastian Müller, Iddo Tzameret: Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas CoRR abs/1101.3970: (2011)
17		Sebastian Müller, Iddo Tzameret: Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas. Electronic Colloquium on Computational Complexity (ECCC) 18: 6 (2011)
16		Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Proof systems that take advice. Inf. Comput. 209(3): 320-332 (2011)
15		Danny Pannicke, Rüdiger Zarnekow, Sebastian Müller: Relativer Vorteil im Unterhaltungserleben virtueller Welten - Eine empirische Analyse am Beispiel „World of Warcraft". i-com 10(1): 49-57 (2011)
	2010
14		Benjamin Fabian, Florian Goertz, Steffen Kunz, Sebastian Müller, Mathias Nitzsche: Privately Waiting - A Usability Analysis of the Tor Anonymity Network. AMCIS 2010: 258
13		Danny Pannicke, Rüdiger Zarnekow, Sebastian Müller: Post-Adoptionsverhalten im Kontext virtueller Welten. GI Jahrestagung (1) 2010: 619-624
12		Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer: Proof Complexity of Propositional Default Logic. SAT 2010: 30-43
11		Kai Uwe Barthel, Sebastian Müller, David Backstein, Dirk Neumann, Klaus Jung: Image retrieval using collaborative filtering and visual navigation. SIGGRAPH Posters 2010
10		Olaf Beyersdorff, Sebastian Müller: Different Approaches to Proof Systems. TAMC 2010: 50-59
9		Olaf Beyersdorff, Sebastian Müller: A tight Karp-Lipton collapse result in bounded arithmetic. ACM Trans. Comput. Log. 11(4): (2010)
	2009
8		Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Nondeterministic Instance Complexity and Proof Systems with Advice. LATA 2009: 164-175
7		Olaf Beyersdorff, Sebastian Müller: Does Advice Help to Prove Propositional Tautologies? SAT 2009: 65-72
6		Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Proof Systems that Take Advice. Electronic Colloquium on Computational Complexity (ECCC) 16: 92 (2009)
	2008
5		Olaf Beyersdorff, Sebastian Müller: A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. CSL 2008: 199-214
4		Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Nondeterministic Instance Complexity and Proof Systems with Advice. Electronic Colloquium on Computational Complexity (ECCC) 15(075): (2008)
3		Michael Gläser, Sebastian Müller, Axel Rennoch, Peter Schmitting: Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing. STTT 10(4): 353-358 (2008)
	2005
2		Sebastian Müller, Arno Schödl: A Smart Algorithm for Column Chart Labeling. Smart Graphics 2005: 127-137
	2001
1		Markus Hannebauer, Sebastian Müller: Distributed constraint optimization for medical appointment scheduling. Agents 2001: 139-140

Coauthor Index

1	David Backstein	[11]
2	Kai Uwe Barthel	[11]
3	Olaf Beyersdorff	[4] [5] [6] [7] [8] [9] [10] [12] [16] [19]
4	Franziska Brecht	[22]
5	Benjamin Fabian	[14] [20] [22]
6	Michael Gläser	[3]
7	Florian Goertz	[14]
8	Suparna Goswami	[21]
9	Markus Hannebauer	[1]
10	Klaus Jung	[11]
11	Johannes Köbler	[4] [6] [8] [16]
12	Helmut Krcmar	[21]
13	Steffen Kunz	[14] [20] [22]
14	Daniel Marx	[20]
15	Arne Meier	[12] [19]
16	Dirk Neumann	[11]
17	Mathias Nitzsche	[14]
18	Danny Pannicke	[13] [15]
19	Axel Rennoch	[3]
20	Peter Schmitting	[3]
21	Arno Schödl	[2]
22	Michael Thomas	[12] [19]
23	Iddo Tzameret	[17] [18]
24	Heribert Vollmer	[12] [19]
25	Rüdiger Zarnekow	[13] [15]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page