Sebastian Müller

Sebastian Müller: Polylogarithmic Cuts in Models of V^0. Logical Methods in Computer Science 9(1) (2013)

Sebastian Müller, Mario Schölzel, Heinrich Theodor Vierhaus: Towards a Graceful Degradable Multicore-System by Hierarchical Handling of Hard Errors. PDP 2013: 302-309

Benjamin Fabian, Steffen Kunz, Marcel Konnegen, Sebastian Müller, Oliver Günther: Access control for semantic data federations in industrial product-lifecycle management. Computers in Industry 63(9): 930-940 (2012)

Sebastian Müller, Franziska Brecht, Benjamin Fabian, Steffen Kunz, Dominik Kunze: Distributed Performance Measurement and Usability Assessment of the Tor Anonymization Network. Future Internet 4(2): 488-513 (2012)

Andrea Zauner, Robert Fellinger, Joachim Gross, Simon Hanslmayr, Kimron Shapiro, Walter Gruber, Sebastian Müller, Wolfgang Klimesch: Alpha entrainment is responsible for the attentional blink phenomenon. NeuroImage 63(2): 674-686 (2012)

Sebastian Müller, Mario Schölzel, Heinrich Theodor Vierhaus: Hierarchical Self-repair in Heterogeneous Multi-core Systems by Means of a Software-based Reconfiguration. ARCS Workshops 2012: 251-262

Franziska Brecht, Benjamin Fabian, Steffen Kunz, Sebastian Müller: Communication Anonymizers: Personality, Internet Privacy Literacy and their Influence on Technology Acceptance. ECIS 2012: 214

Olexiy Chudnovskyy, Sebastian Müller, Martin Gaedke: Extending Web Standards-Based Widgets towards Inter-Widget Communication. ICWE Workshops 2012: 93-96

Sebastian Müller, Iddo Tzameret: Short Propositional Refutations for Dense Random 3CNF Formulas. LICS 2012: 501-510

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)

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Proof systems that take advice. Inf. Comput. 209(3): 320-332 (2011)

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)

Franziska Brecht, Benjamin Fabian, Steffen Kunz, Sebastian Müller: Are you willing to wait longer for internet privacy? ECIS 2011

Sebastian Müller, Suparna Goswami, Helmut Krcmar: Monetizing blogs: revenue streams of individual blogs. ECIS 2011

Steffen Kunz, Benjamin Fabian, Daniel Marx, Sebastian Müller: Engineering Policies for Secure Interorganizational Information Flow. EDOCW 2011: 438-447

Sebastian Müller, Alexander Richter: Ziele der Einführung von Corporate Social Software. Mensch & Computer Workshopband 2011: 119-122

Sebastian Müller, Iddo Tzameret: Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas. CoRR abs/1101.3970 (2011)

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)

Olaf Beyersdorff, Sebastian Müller: A tight Karp-Lipton collapse result in bounded arithmetic. ACM Trans. Comput. Log. 11(4) (2010)

Benjamin Fabian, Florian Goertz, Steffen Kunz, Sebastian Müller, Mathias Nitzsche: Privately Waiting - A Usability Analysis of the Tor Anonymity Network. AMCIS 2010: 258

Danny Pannicke, Rüdiger Zarnekow, Sebastian Müller: Post-Adoptionsverhalten im Kontext virtueller Welten. GI Jahrestagung (1) 2010: 619-624

Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer: Proof Complexity of Propositional Default Logic. SAT 2010: 30-43

Kai Uwe Barthel, Sebastian Müller, David Backstein, Dirk Neumann, Klaus Jung: Image retrieval using collaborative filtering and visual navigation. SIGGRAPH Posters 2010

Olaf Beyersdorff, Sebastian Müller: Different Approaches to Proof Systems. TAMC 2010: 50-59

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Nondeterministic Instance Complexity and Proof Systems with Advice. LATA 2009: 164-175

Olaf Beyersdorff, Sebastian Müller: Does Advice Help to Prove Propositional Tautologies? SAT 2009: 65-72

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller: Proof Systems that Take Advice. Electronic Colloquium on Computational Complexity (ECCC) 16: 92 (2009)

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)

Olaf Beyersdorff, Sebastian Müller: A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. CSL 2008: 199-214

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)

Sebastian Müller, Arno Schödl: A Smart Algorithm for Column Chart Labeling. Smart Graphics 2005: 127-137

Markus Hannebauer, Sebastian Müller: Distributed constraint optimization for medical appointment scheduling. Agents 2001: 139-140