| 2009 |
|---|
| 75 | EE | Stéphane Grumbach,
Zhilin Wu:
On Distributed Model Checking of MSO on Graphs
CoRR abs/0904.1902: (2009) |
| 74 | EE | Stéphane Grumbach,
Zhilin Wu:
Logical locality entails frugal distributed computation over graphs
CoRR abs/0904.1915: (2009) |
| 73 | EE | Zhilin Wu,
Stéphane Grumbach:
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs
CoRR abs/0904.1920: (2009) |
| 72 | EE | Stéphane Grumbach,
Fang Wang,
Zhilin Wu:
On the distributed evaluation of recursive queries over graphs
CoRR abs/0904.3157: (2009) |
| 2008 |
|---|
| 71 | | Xiaofeng Meng,
Hui Lei,
Stéphane Grumbach,
Hong Va Leong:
9th International Conference on Mobile Data Management (MDM 2008), Beijing, China, April 27-30, 2008
IEEE 2008 |
| 2007 |
|---|
| 70 | EE | Stéphane Grumbach,
Jialiang Lu,
Wenwu Qu:
Self-organization of Wireless Networks Through Declarative Local Communication.
OTM Workshops (1) 2007: 497-506 |
| 2006 |
|---|
| 69 | EE | 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: 156 |
| 2005 |
|---|
| 68 | | Stéphane Grumbach,
Liying Sui,
Victor Vianu:
Advances in Computer Science - ASIAN 2005, Data Management on the Web, 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings
Springer 2005 |
| 2004 |
|---|
| 67 | EE | Stéphane Grumbach,
Maurizio Rafanelli,
Leonardo Tininini:
On the equivalence and rewriting of aggregate queries.
Acta Inf. 40(8): 529-584 (2004) |
| 2003 |
|---|
| 66 | | 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:
Spatio-Temporal Databases: The CHOROCHRONOS Approach
Springer 2003 |
| 65 | EE | 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: 177-201 |
| 64 | EE | Stéphane Grumbach,
Philippe Rigaux,
Luc Segoufin:
Handling Interpolated Data.
Comput. J. 46(6): 664-679 (2003) |
| 63 | EE | Philippe Rigaux,
Michel Scholl,
Luc Segoufin,
Stéphane Grumbach:
Building a constraint-based spatial database system: model, languages, and implementation.
Inf. Syst. 28(6): 563-595 (2003) |
| 62 | EE | Stéphane Grumbach,
Leonardo Tininini:
On the content of materialized aggregate views.
J. Comput. Syst. Sci. 66(1): 133-168 (2003) |
| 2001 |
|---|
| 61 | | Stéphane Grumbach,
Leonardo Tininini:
Automatic Aggregation Using Explicit Metadata.
SEBD 2001: 17-24 |
| 60 | | Stéphane Grumbach,
Philippe Rigaux,
Luc Segoufin:
Spatio-Temporal Data Handling with Constraints.
GeoInformatica 5(1): 95-115 (2001) |
| 2000 |
|---|
| 59 | | Stéphane Grumbach,
Zoé Lacroix,
Philippe Rigaux,
Luc Segoufin:
Optimization Techniques.
Constraint Databases 2000: 319-334 |
| 58 | | Stéphane Grumbach,
Philippe Rigaux,
Michel Scholl,
Luc Segoufin:
The DEDALE Prototype.
Constraint Databases 2000: 365-382 |
| 57 | | Stéphane Grumbach,
Gabriel M. Kuper,
Jianwen Su:
Expressive Power: The Infinite Case.
Constraint Databases 2000: 89-107 |
| 56 | EE | Stéphane Grumbach,
Leonardo Tininini:
On the Content of Materialized Aggregate Views.
PODS 2000: 47-57 |
| 55 | | Stéphane Grumbach,
Leonardo Tininini:
On the content of materialized aggregate views.
SEBD 2000: 21-34 |
| 54 | | Stéphane Grumbach,
Philippe Rigaux,
Pierangelo Veltri:
Hierarchical optimization of linear constraint processing.
SEBD 2000: 387-400 |
| 53 | EE | Stéphane Grumbach,
Leonardo Tininini:
Automatic Aggregation Using Explicit Metadata.
SSDBM 2000: 85-94 |
| 52 | EE | Stéphane Grumbach,
Philippe Rigaux,
Luc Segoufin:
Manipulating Interpolated Data is Easier than You Thought.
VLDB 2000: 156-165 |
| 1999 |
|---|
| 51 | EE | Stéphane Grumbach,
Philippe Rigaux,
Luc Segoufin:
On the Orthographic Dimension of Constraint Databases.
ICDT 1999: 199-216 |
| 50 | EE | Stéphane Grumbach,
Giansalvatore Mecca:
In Search of the Lost Schema.
ICDT 1999: 314-331 |
| 49 | | Stéphane Grumbach:
Constraint Databases.
JFPLC 1999: 179-188 |
| 48 | EE | Stéphane Grumbach,
Maurizio Rafanelli,
Leonardo Tininini:
Querying Aggregate Data.
PODS 1999: 174-184 |
| 47 | | 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: 469-487 |
| 46 | | Stéphane Grumbach,
Tova Milo:
An Algebra for Pomsets.
Inf. Comput. 150(2): 268-306 (1999) |
| 45 | EE | 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 28(3): 12-21 (1999) |
| 1998 |
|---|
| 44 | EE | Stéphane Grumbach,
Philippe Rigaux,
Luc Segoufin:
Spatio-Temporal Data Handling with Constraints.
ACM-GIS 1998: 106-111 |
| 43 | | Stéphane Grumbach,
Luc Segoufin,
Philippe Rigaux:
Efficient multi-dimensional data handling in constraint databases.
BDA 1998 |
| 42 | EE | Stéphane Grumbach,
Philippe Rigaux,
Luc Segoufin:
The DEDALE System for Complex Spatial Queries.
SIGMOD Conference 1998: 213-224 |
| 1997 |
|---|
| 41 | | Stéphane Grumbach,
Philippe Rigaux,
Michel Scholl,
Luc Segoufin:
DEDALE, A Spatial Constraint Database.
BDA 1997 |
| 40 | | Peter Haunold,
Stéphane Grumbach,
Gabriel M. Kuper,
Zoé Lacroix:
Linear Constraints: Geometric Objects Represented by Inequalities.
COSIT 1997: 429-440 |
| 39 | | Stéphane Grumbach,
Gabriel M. Kuper:
Tractable Recursion over Geometric Data.
CP 1997: 450-462 |
| 38 | EE | Stéphane Grumbach,
Philippe Rigaux,
Michel Scholl,
Luc Segoufin:
DEDALE, A Spatial Constraint Database.
DBPL 1997: 38-59 |
| 37 | | Stéphane Grumbach:
Modeling and Querying Spatio-temporal Data.
SEBD 1997: 11-28 |
| 36 | | Stéphane Grumbach,
Zoé Lacroix:
On Non-Determinism in Machines and Languages.
Ann. Math. Artif. Intell. 19(1-2): 169-213 (1997) |
| 35 | | Stéphane Grumbach,
Jianwen Su:
Finitely Representable Databases.
J. Comput. Syst. Sci. 55(2): 273-298 (1997) |
| 34 | EE | Stéphane Grumbach,
Jianwen Su:
Queries with Arithmetical Constraints.
Theor. Comput. Sci. 173(1): 151-181 (1997) |
| 1996 |
|---|
| 33 | EE | Stéphane Grumbach,
Jianwen Su:
Towards Practical Constraint Databases.
PODS 1996: 28-39 |
| 32 | | Stéphane Grumbach,
Tova Milo:
Towards Tractable Algebras for Bags.
J. Comput. Syst. Sci. 52(3): 570-588 (1996) |
| 1995 |
|---|
| 31 | | Stéphane Grumbach,
Zoé Lacroix:
Computing Queries on Linear Constraint Databases.
BDA 1995: 103- |
| 30 | | Stéphane Grumbach,
Jianwen Su:
First-order Definability over Constraint Databases.
CP 1995: 121-136 |
| 29 | | Stéphane Grumbach,
Zoé Lacroix,
Steven Lindell:
Generalized Implicit Definitions on Finite Structures.
CSL 1995: 252-265 |
| 28 | EE | Stéphane Grumbach,
Zoé Lacroix:
Computing Queries on Linear Constraint Databases.
DBPL 1995: 11 |
| 27 | EE | Stéphane Grumbach,
Tova Milo:
An Algebra for Pomsets.
ICDT 1995: 191-207 |
| 26 | EE | Stéphane Grumbach,
Jianwen Su:
Dense-Order Constraint Databases.
PODS 1995: 66-77 |
| 25 | | Stéphane Grumbach,
Victor Vianu:
Tractable Query Languages for Complex Object Databases.
J. Comput. Syst. Sci. 51(2): 149-167 (1995) |
| 24 | EE | Stéphane Grumbach,
Christophe Tollu:
On the Expressive Power of Counting.
Theor. Comput. Sci. 149(1): 67-99 (1995) |
| 1994 |
|---|
| 23 | | Stéphane Grumbach,
Jianwen Su,
Christophe Tollu:
Linear Constraint Query Languages: Expressive Power and Complexity.
LCC 1994: 426-446 |
| 22 | EE | Stéphane Grumbach,
Jianwen Su:
Finitely Representable Databases.
PODS 1994: 289-300 |
| 21 | | Foto N. Afrati,
Stavros S. Cosmadakis,
Stéphane Grumbach,
Gabriel M. Kuper:
Linear vs Polynomial Constraints in Database Query Languages.
PPCP 1994: 181-192 |
| 20 | | Stéphane Grumbach,
Fariza Tahi:
A New Challenge for Compression Algorithms: Genetic Sequences.
Inf. Process. Manage. 30(6): 875-886 (1994) |
| 1993 |
|---|
| 19 | EE | Stéphane Grumbach,
Tova Milo,
Yoram Kornatzky:
Calculi for Bags and their Complexity.
DBPL 1993: 65-79 |
| 18 | | Stéphane Grumbach,
Fariza Tahi:
Compression of DNA Sequences.
Data Compression Conference 1993: 340-350 |
| 17 | | Guy Fayolle,
Stéphane Grumbach,
Christophe Tollu:
Asymptotic Probabilities of Languages with Generalized Quantifiers
LICS 1993: 199-207 |
| 16 | EE | Stéphane Grumbach,
Tova Milo:
Towards Tractable Algebras for Bags.
PODS 1993: 49-58 |
| 1992 |
|---|
| 15 | EE | Stéphane Grumbach,
Christophe Tollu:
Query Languages with Counters.
ICDT 1992: 124-139 |
| 14 | EE | Stéphane Grumbach:
A Paradox in Database Theory.
ICDT 1992: 312-325 |
| 1991 |
|---|
| 13 | EE | Stéphane Grumbach,
Victor Vianu:
Expressiveness and Complexity of Restricted Languages for Complex Objects.
DBPL 1991: 111-122 |
| 12 | | Stéphane Grumbach,
Christophe Tollu:
The Generic Complexity of Query Languages with Counters (Extended Abstract).
FMLDO 1991: 131-146 |
| 11 | EE | Stéphane Grumbach,
Victor Vianu:
Tractable Query Languages for Complex Object Databases.
PODS 1991: 315-327 |
| 10 | EE | Serge Abiteboul,
Stéphane Grumbach:
A Rule-Based Language with Functions and Sets.
ACM Trans. Database Syst. 16(1): 1-30 (1991) |
| 1990 |
|---|
| 9 | EE | Stéphane Grumbach,
Victor Vianu:
Playing Games with Objects.
ICDT 1990: 25-38 |
| 1989 |
|---|
| 8 | | Serge Abiteboul,
Stéphane Grumbach,
Agnès Voisard,
Emmanuel Waller:
An extensible rule-based language with complex objects and data-functions.
BDA 1989: 187-204 |
| 7 | | Stéphane Grumbach:
DATALOGrew: DATALOG with rewriting rules.
BDA 1989: 87-108 |
| 6 | EE | Serge Abiteboul,
Stéphane Grumbach,
Agnès Voisard,
Emmanuel Waller:
An Extensible Rule-Based Language with Complex Objects and data-Functions.
DBPL 1989: 298-314 |
| 5 | | Stéphane Grumbach:
Integration of Functions Defined with Rewriting Rules in Datalog.
DOOD 1989: 349-368 |
| 1988 |
|---|
| 4 | | Stéphane Grumbach:
Sémantiques déclaratives pour les bases de données stratifiées avec des ensembles.
BDA 1988: 199-226 |
| 3 | EE | Serge Abiteboul,
Stéphane Grumbach:
COL: A Logic-Based Language for Complex Objects.
EDBT 1988: 271-293 |
| 1987 |
|---|
| 2 | | Serge Abiteboul,
Stéphane Grumbach:
Une approche logique de la manipulation d'objets complexes.
BDA 1987: 21-46 |
| 1 | EE | Serge Abiteboul,
Stéphane Grumbach:
COL: A Logic-Based Language for Complex Objects.
DBPL 1987: 347-374 |
