| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frederik Harwath, Nicole Schweikardt |
Regular tree languages, cardinality predicates, and addition-invariant FO.  |
STACS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin |
Locality from Circuit Lower Bounds.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | André Hernich, Leonid Libkin, Nicole Schweikardt |
Closed world data exchange.  |
ACM Trans. Database Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Maurizio Lenzerini, Nicole Schweikardt |
Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar).  |
SIGMOD Record  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt, Thomas Schwentick |
A note on the expressive power of linear orders  |
Logical Methods in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin |
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.  |
ICALP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik D. Freydenberger, Nicole Schweikardt |
Expressiveness and Static Analysis of Extended Conjunctive Regular Path Queries.  |
AMW  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Henrik Björklund, Wim Martens, Nicole Schweikardt, Thomas Schwentick |
Logik und Automaten: ein echtes Dreamteam.  |
Informatik Spektrum  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt, Luc Segoufin |
Addition-Invariant FO and Regularity.  |
LICS  |
2010 |
DBLP DOI BibTeX RDF |
bounded languages, Logic, automata |
| 1 | Nicole Schweikardt |
Machine models for query processing.  |
SIGMOD Record  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, André Hernich, Nicole Schweikardt |
Lower bounds for processing data with few random accesses to external memory.  |
J. ACM  |
2009 |
DBLP DOI BibTeX RDF |
real-time data, XML, Complexity, query processing, data streams, query optimization, semi-structured data |
| 1 | Nicole Schweikardt |
Lower Bounds for Multi-Pass Processing of Multiple Data Streams  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche |
Database Query Processing Using Finite Cursor Machines.  |
Theory Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Database, Query processing, Relational algebra, Semijoin |
| 1 | Nicole Schweikardt |
Ehrenfeucht-Fraïssé Games.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
Zero-One Laws.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
One-Pass Algorithm.  |
Encyclopedia of Database Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
Lower Bounds for Multi-Pass Processing of Multiple Data Streams.  |
STACS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Hernich, Nicole Schweikardt |
Reversal complexity revisited.  |
Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | André Hernich, Nicole Schweikardt |
Logic and Data Exchange: Which Solutions Are "Good" Solutions?  |
LOFT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Matz, Nicole Schweikardt |
Expressive power of monadic logics on words, trees, pictures, and graphs.  |
Logic and Automata ![In: Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., pp. 531-552, 2008, Amsterdam University Press, 978-90-5356-576-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Christoph Koch, Nicole Schweikardt |
Tight lower bounds for query processing on streaming and external memory data.  |
Theor. Comput. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
An Ehrenfeucht-Fraïssé game approach to collapse results in database theory.  |
Inf. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, André Hernich, Nicole Schweikardt |
Randomized Computations on Large Data Sets: Tight Lower Bounds  |
CoRR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephan Kreutzer, Martin Otto, Nicole Schweikardt |
Boundedness of Monadic FO over Acyclic Structures.  |
ICALP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
Model Theory Makes Formulas Large.  |
ICALP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche |
Database Query Processing Using Finite Cursor Machines.  |
ICDT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | André Hernich, Nicole Schweikardt |
CWA-solutions for data exchange settings with target dependencies.  |
PODS  |
2007 |
DBLP DOI BibTeX RDF |
the chase, data exchange, core, closed world assumption |
| 1 | Nicole Schweikardt |
Machine models and lower bounds for query processing.  |
PODS  |
2007 |
DBLP DOI BibTeX RDF |
machine models, XML, complexity, query processing, lower bounds, data streams, survey, external memory |
| 1 | Nicole Schweikardt |
On the expressive power of monadic least fixed point logic.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | André Hernich, Nicole Schweikardt |
Reversal Complexity Revisited  |
CoRR  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
Approximation Schemes for First-Order Definable Optimisation Problems.  |
LICS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, André Hernich, Nicole Schweikardt |
Randomized computations on large data sets: tight lower bounds.  |
PODS  |
2006 |
DBLP DOI BibTeX RDF |
data streams/real-time data, query processing/query optimization, XML, complexity, semi-structured data |
| 1 | Martin Grohe, Nicole Schweikardt |
The succinctness of first-order logic on linear orders.  |
Logical Methods in Computer Science  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Christoph Koch, Nicole Schweikardt |
Tight Lower Bounds for Query Processing on Streaming and External Memory Data  |
CoRR  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Nicole Schweikardt |
The succinctness of first-order logic on linear orders  |
CoRR  |
2005 |
DBLP BibTeX RDF |
|
| 1 | David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien |
First-order expressibility of languages with neutral letters or: The Crane Beach conjecture.  |
J. Comput. Syst. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
Arithmetic, first-order logic, and counting quantifiers.  |
ACM Trans. Comput. Log.  |
2005 |
DBLP DOI BibTeX RDF |
Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic |
| 1 | Martin Grohe, Christoph Koch, Nicole Schweikardt |
Tight Lower Bounds for Query Processing on Streaming and External Memory Data.  |
ICALP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
The Expressive Power of Two-Variable Least Fixed-Point Logics.  |
MFCS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Christoph Koch, Nicole Schweikardt |
The Complexity of Querying External Memory and Streaming Data.  |
FCT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Nicole Schweikardt |
Lower bounds for sorting with few random accesses to external memory.  |
PODS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Nicole Schweikardt |
Comparing the succinctness of monadic query languages over finite trees.  |
ITA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Koch, Stefanie Scherzinger, Nicole Schweikardt, Bernhard Stegmaier |
Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams  |
CoRR  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stephan Kreutzer, Nicole Schweikardt |
Logik und Informatik.  |
it - Information Technology  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nicole Schweikardt |
On the Expressive Power of Monadic Least Fixed Point Logic.  |
ICALP  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Koch, Stefanie Scherzinger, Nicole Schweikardt, Bernhard Stegmaier |
FluXQuery: An Optimizing XQuery Processor for Streaming XML Data.  |
VLDB  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christoph Koch, Stefanie Scherzinger, Nicole Schweikardt, Bernhard Stegmaier |
Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams.  |
VLDB  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Nicole Schweikardt |
The Succinctness of First-Order Logic on Linear Orders.  |
LICS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Nicole Schweikardt |
Comparing the Succinctness of Monadic Query Languages over Finite Trees.  |
CSL  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Matz, Nicole Schweikardt, Wolfgang Thomas |
The Monadic Quantifier Alternation Hierarchy over Grids and Graphs.  |
Inf. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
Arithmetic, First-Order Logic, and Counting Quantifiers  |
CoRR  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nicole Schweikardt |
An Ehrenfeucht-Fraisse Game Approach to Collapse Results in Database Theory  |
CoRR  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nicole Schweikardt |
On the expressive power of first-order logic with built-in predicates.  |
|
2001 |
RDF |
|
| 1 | Clemens Lautemann, Nicole Schweikardt |
An Ehrenfeucht-Fraïssé Approach to Collapse Results for First-Order Queries over Embedded Databases.  |
STACS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien |
The Crane Beach Conjecture.  |
LICS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
The Natural Order-Generic Collapse for omega-Representable Databases over the Rational and the Real Ordered Group.  |
CSL  |
2001 |
DBLP DOI BibTeX RDF |
Database Theory, Constructive Mathematics, Logic in Computer Science |
| 1 | Clemens Lautemann, Nicole Schweikardt, Thomas Schwentick |
A Logical Characterisation of Linear Time on Nondeterministic Turing Machines.  |
STACS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Schweikardt |
The Monadic Quantifier Alternation Hierarchy over Grids and Pictures.  |
CSL  |
1997 |
DBLP DOI BibTeX RDF |
|