|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Müller, Iddo Tzameret |
Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas. |
Electronic Colloquium on Computational Complexity (ECCC) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Johannes Köbler, Sebastian Müller |
Proof systems that take advice. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Müller, Iddo Tzameret |
Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Danny Pannicke, Rüdiger Zarnekow, Sebastian Müller |
Relativer Vorteil im Unterhaltungserleben virtueller Welten - Eine empirische Analyse am Beispiel World of Warcraft". |
i-com |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer |
Proof complexity of propositional default logic. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Kunz, Benjamin Fabian, Daniel Marx, Sebastian Müller |
Engineering Policies for Secure Interorganizational Information Flow. |
EDOCW |
2011 |
DBLP DOI BibTeX RDF |
Interorganizational Processes, RBAC, Access Control Policies |
| 1 | Sebastian Müller, Suparna Goswami, Helmut Krcmar |
Monetizing blogs: revenue streams of individual blogs. |
ECIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franziska Brecht, Benjamin Fabian, Steffen Kunz, Sebastian Müller |
Are you willing to wait longer for internet privacy? |
ECIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Sebastian Müller |
A tight Karp-Lipton collapse result in bounded arithmetic. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Uwe Barthel, Sebastian Müller, David Backstein, Dirk Neumann, Klaus Jung |
Image retrieval using collaborative filtering and visual navigation. |
SIGGRAPH Posters |
2010 |
DBLP DOI BibTeX RDF |
collaborative techniques, CBIR, semantic modeling |
| 1 | Benjamin Fabian, Florian Goertz, Steffen Kunz, Sebastian Müller, Mathias Nitzsche |
Privately Waiting - A Usability Analysis of the Tor Anonymity Network. |
AMCIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Sebastian Müller |
Different Approaches to Proof Systems. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer |
Proof Complexity of Propositional Default Logic. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Pannicke, Rüdiger Zarnekow, Sebastian Müller |
Post-Adoptionsverhalten im Kontext virtueller Welten. |
GI Jahrestagung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Johannes Köbler, Sebastian Müller |
Proof Systems that Take Advice. |
Electronic Colloquium on Computational Complexity (ECCC) |
2009 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Johannes Köbler, Sebastian Müller |
Nondeterministic Instance Complexity and Proof Systems with Advice. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Sebastian Müller |
Does Advice Help to Prove Propositional Tautologies? |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Johannes Köbler, Sebastian Müller |
Nondeterministic Instance Complexity and Proof Systems with Advice. |
Electronic Colloquium on Computational Complexity (ECCC) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Gläser, Sebastian Müller, Axel Rennoch, Peter Schmitting |
Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing. |
STTT |
2008 |
DBLP DOI BibTeX RDF |
ISUP, Validation, SIP, TTCN-3, ISDN |
| 1 | Olaf Beyersdorff, Sebastian Müller |
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
Karp-Lipton Theorem, Optimal Propositional Proof Systems, Extended Frege, Bounded Arithmetic, Advice |
| 1 | Sebastian Müller, Arno Schödl |
A Smart Algorithm for Column Chart Labeling. |
Smart Graphics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Hannebauer, Sebastian Müller |
Distributed constraint optimization for medical appointment scheduling. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")