| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuxin Deng, Stéphane Grumbach, Jean-François Monin |
A Framework for Verifying Data-Centric Protocols.  |
FMOODS/FORTE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of motion planning on acyclic and strongly connected directed graphs. |
Discrete Applied Mathematics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Fang Wang |
Netlog, a Rule-Based Language for Distributed Programming. |
PADL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
Distributed tree decomposition of graphs and applications to verification. |
IPDPS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
On Distributed Model Checking of MSO on Graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
Logical locality entails frugal distributed computation over graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Fang Wang, Zhilin Wu |
On the distributed evaluation of recursive queries over graphs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach |
Sino-French IT Lab in Beijing Opens to European Institutions. |
ERCIM News |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zhilin Wu |
Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). |
WG |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu, Stéphane Grumbach |
Feasibility of Motion Planning on Directed Graphs. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaofeng Meng, Hui Lei, Stéphane Grumbach, Hong Va Leong (eds.) |
9th International Conference on Mobile Data Management (MDM 2008), Beijing, China, April 27-30, 2008 |
Mobile Data Management |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jialiang Lu, Wenwu Qu |
Self-organization of Wireless Networks Through Declarative Local Communication. |
OTM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jidong Chen, Xiaofeng Meng, Yanyan Guo, Stéphane Grumbach, Hui Sun |
Modeling and Predicting Future Trajectories of Moving Objects in a Constrained Network. |
MDM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Liying Sui, Victor Vianu (eds.) |
Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings |
ASIAN |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini |
On the equivalence and rewriting of aggregate queries. |
Acta Inf. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Handling Interpolated Data. |
Comput. J. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach |
Building a constraint-based spatial database system: model, languages, and implementation. |
Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Leonardo Tininini |
On the content of materialized aggregate views. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manolis Koubarakis, Timos K. Sellis, Andrew U. Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian S. Jensen, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Hans-Jörg Schek, Michel Scholl, Babis Theodoulidis, Nectaria Tryfona (eds.) |
Spatio-Temporal Databases: The CHOROCHRONOS Approach |
Spatio-Temporal Databases: The CHOROCHRONOS Approach |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Manolis Koubarakis, Philippe Rigaux, Michel Scholl, Spiros Skiadopoulos |
Spatio-temporal Models and Languages: An Approach Based on Constraints. |
Spatio-Temporal Databases: The CHOROCHRONOS Approach |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Spatio-Temporal Data Handling with Constraints. |
GeoInformatica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Leonardo Tininini |
Automatic Aggregation Using Explicit Metadata. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
The DEDALE Prototype. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su |
Expressive Power: The Infinite Case. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin |
Optimization Techniques. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Pierangelo Veltri |
Hierarchical optimization of linear constraint processing. |
SEBD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Leonardo Tininini |
On the content of materialized aggregate views. |
SEBD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Leonardo Tininini |
Automatic Aggregation Using Explicit Metadata. (PDF / PS) |
SSDBM |
2000 |
DBLP DOI BibTeX RDF |
aggregate data, metadata, dependencies, aggregation, data models |
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Manipulating Interpolated Data is Easier than You Thought. |
VLDB |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Leonardo Tininini |
On the Content of Materialized Aggregate Views. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Tova Milo |
An Algebra for Pomsets. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew U. Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian S. Jensen, Manolis Koubarakis, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Hans-Jörg Schek, Michel Scholl, Timos K. Sellis, Babis Theodoulidis, Peter Widmayer |
Chorochronos: A Research Network for Spatiotemporal Database Systems. |
SIGMOD Record |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach |
Constraint Databases. |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Modeling and Querying Interpolated Spatial Data. |
Proc. 15èmes Journées Bases de Données Avancées, BDA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Giansalvatore Mecca |
In Search of the Lost Schema. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
On the Orthographic Dimension of Constraint Databases. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini |
Querying Aggregate Data. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
The DEDALE System for Complex Spatial Queries. |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Luc Segoufin, Philippe Rigaux |
Efficient multi-dimensional data handling in constraint databases. |
BDA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Spatio-Temporal Data Handling with Constraints. |
ACM-GIS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jianwen Su |
Queries with Arithmetical Constraints. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jianwen Su |
Finitely Representable Databases. |
J. Comput. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zoé Lacroix |
On Non-Determinism in Machines and Languages. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach |
Modeling and Querying Spatio-temporal Data. |
SEBD |
1997 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
DEDALE, A Spatial Constraint Database. |
BDA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
DEDALE, A Spatial Constraint Database. |
DBPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix |
Linear Constraints: Geometric Objects Represented by Inequalities. |
COSIT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Gabriel M. Kuper |
Tractable Recursion over Geometric Data. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong |
Query languages for bags: expressive power and complexity. |
SIGACT News |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Tova Milo |
Towards Tractable Algebras for Bags. |
J. Comput. Syst. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jianwen Su |
Towards Practical Constraint Databases. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Christophe Tollu |
On the Expressive Power of Counting. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Victor Vianu |
Tractable Query Languages for Complex Object Databases. |
J. Comput. Syst. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zoé Lacroix |
Computing Queries on Linear Constraint Databases. |
BDA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Tova Milo |
An Algebra for Pomsets. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zoé Lacroix |
Computing Queries on Linear Constraint Databases. |
DBPL |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zoé Lacroix, Steven Lindell |
Generalized Implicit Definitions on Finite Structures. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jianwen Su |
Dense-Order Constraint Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
| 1 | Stéphane Grumbach, Jianwen Su |
First-order Definability over Constraint Databases. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Fariza Tahi |
A New Challenge for Compression Algorithms: Genetic Sequences. |
Inf. Process. Manage. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jianwen Su, Christophe Tollu |
Linear Constraint Query Languages: Expressive Power and Complexity. |
LCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper |
Linear vs Polynomial Constraints in Database Query Languages. |
PPCP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Jianwen Su |
Finitely Representable Databases. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Tova Milo, Yoram Kornatzky |
Calculi for Bags and their Complexity. |
DBPL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Guy Fayolle, Stéphane Grumbach, Christophe Tollu |
Asymptotic Probabilities of Languages with Generalized Quantifiers |
LICS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Tova Milo |
Towards Tractable Algebras for Bags. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Fariza Tahi |
Compression of DNA Sequences. |
Data Compression Conference |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Christophe Tollu |
Query Languages with Counters. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach |
A Paradox in Database Theory. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Stéphane Grumbach |
A Rule-Based Language with Functions and Sets. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
object-oriented databases, knowledge bases, deductive databases, rule based, complex objects, fixpoint semantics |
| 1 | Stéphane Grumbach, Christophe Tollu |
The Generic Complexity of Query Languages with Counters (Extended Abstract). |
FMLDO |
1991 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Victor Vianu |
Expressiveness and Complexity of Restricted Languages for Complex Objects. |
DBPL |
1991 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Victor Vianu |
Tractable Query Languages for Complex Object Databases. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Victor Vianu |
Playing Games with Objects. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach |
DATALOGrew: DATALOG with rewriting rules. |
BDA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller |
An extensible rule-based language with complex objects and data-functions. |
BDA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller |
An Extensible Rule-Based Language with Complex Objects and data-Functions. |
DBPL |
1989 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach |
Integration of Functions Defined with Rewriting Rules in Datalog. |
DOOD |
1989 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Stéphane Grumbach |
COL: A Logic-Based Language for Complex Objects. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach |
Sémantiques déclaratives pour les bases de données stratifiées avec des ensembles. |
BDA |
1988 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Stéphane Grumbach |
Une approche logique de la manipulation d'objets complexes. |
BDA |
1987 |
DBLP BibTeX RDF |
|
| 1 | Serge Abiteboul, Stéphane Grumbach |
COL: A Logic-Based Language for Complex Objects. |
DBPL |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")