Stéphane Grumbach

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
78A Framework for Verifying Data-Centric Protocols. Yuxin Deng, Stéphane Grumbach, Jean-François Monin. FMOODS/FORTE 2011, 106-120. Web SearchBibTeXDownload
2010
77Feasibility of motion planning on acyclic and strongly connected directed graphs. Zhilin Wu, Stéphane Grumbach. Discrete Applied Mathematics (158): 1017-1028 (2010). Web SearchBibTeXDownload
76Distributed tree decomposition of graphs and applications to verification. Stéphane Grumbach, Zhilin Wu. IPDPS Workshops 2010, 1-8. Web SearchBibTeXDownload
75Netlog, a Rule-Based Language for Distributed Programming. Stéphane Grumbach, Fang Wang. PADL 2010, 88-103. Web SearchBibTeXDownload
2009
74Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs. Zhilin Wu, Stéphane Grumbach. CoRR (abs/0904.1920) (2009). Web SearchBibTeXDownload
73On the distributed evaluation of recursive queries over graphs. Stéphane Grumbach, Fang Wang, Zhilin Wu. CoRR (abs/0904.3157) (2009). Web SearchBibTeXDownload
72Logical locality entails frugal distributed computation over graphs. Stéphane Grumbach, Zhilin Wu. CoRR (abs/0904.1915) (2009). Web SearchBibTeXDownload
71On Distributed Model Checking of MSO on Graphs. Stéphane Grumbach, Zhilin Wu. CoRR (abs/0904.1902) (2009). Web SearchBibTeXDownload
70Sino-French IT Lab in Beijing Opens to European Institutions. Stéphane Grumbach. ERCIM News (2009) (2009). Web SearchBibTeXDownload
69Feasibility of Motion Planning on Directed Graphs. Zhilin Wu, Stéphane Grumbach. TAMC 2009, 430-439. Web SearchBibTeXDownload
68Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). Stéphane Grumbach, Zhilin Wu. WG 2009, 154-165. Web SearchBibTeXDownload
2007
67Self-organization of Wireless Networks Through Declarative Local Communication. Stéphane Grumbach, Jialiang Lu, Wenwu Qu. OTM Workshops (1) 2007, 497-506. Web SearchBibTeXDownload
2006
66Modeling and Predicting Future Trajectories of Moving Objects in a Constrained Network. Jidong Chen, Xiaofeng Meng, Yanyan Guo, Stéphane Grumbach, Hui Sun. MDM 2006, 156. Web SearchBibTeXDownload
2004
65On the equivalence and rewriting of aggregate queries. Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini. Acta Inf. (40): 529-584 (2004). Web SearchBibTeXDownload
2003
64Handling Interpolated Data. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. Comput. J. (46): 664-679 (2003). Cited by 2Web SearchBibTeXDownload
63Building a constraint-based spatial database system: model, languages, and implementation. Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach. Inf. Syst. (28): 563-595 (2003). Cited by 23Web SearchBibTeXDownload
62On the content of materialized aggregate views. Stéphane Grumbach, Leonardo Tininini. J. Comput. Syst. Sci. (66): 133-168 (2003). Web SearchBibTeXDownload
61Spatio-temporal Models and Languages: An Approach Based on Constraints. Stéphane Grumbach, Manolis Koubarakis, Philippe Rigaux, Michel Scholl, Spiros Skiadopoulos. Spatio-Temporal Databases: The CHOROCHRONOS Approach 2003, 177-201. Cited by 8Web SearchBibTeXDownload
2001
60Spatio-Temporal Data Handling with Constraints. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. GeoInformatica (5): 95-115 (2001). Cited by 89Web SearchBibTeXDownload
59Automatic Aggregation Using Explicit Metadata. Stéphane Grumbach, Leonardo Tininini. SEBD 2001, 17-24. Web SearchBibTeX
2000
58The DEDALE Prototype. Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin. Constraint Databases 2000, 365-382. Web SearchBibTeX
57Expressive Power: The Infinite Case. Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su. Constraint Databases 2000, 89-107. Web SearchBibTeX
56Optimization Techniques. Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin. Constraint Databases 2000, 319-334. Cited by 2Web SearchBibTeX
55On the Content of Materialized Aggregate Views. Stéphane Grumbach, Leonardo Tininini. PODS 2000, 47-57. Web SearchBibTeX
54Hierarchical optimization of linear constraint processing. Stéphane Grumbach, Philippe Rigaux, Pierangelo Veltri. SEBD 2000, 387-400. Web SearchBibTeX
53On the content of materialized aggregate views. Stéphane Grumbach, Leonardo Tininini. SEBD 2000, 21-34. Web SearchBibTeX
52Automatic Aggregation Using Explicit Metadata. Stéphane Grumbach, Leonardo Tininini. SSDBM 2000, 85-94. Web SearchBibTeXDownload
51Manipulating Interpolated Data is Easier than You Thought. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. VLDB 2000, 156-165. Cited by 40Web SearchBibTeX
1999
50On the Orthographic Dimension of Constraint Databases. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. ICDT 1999, 199-216. Cited by 30Web SearchBibTeXDownload
49In Search of the Lost Schema. Stéphane Grumbach, Giansalvatore Mecca. ICDT 1999, 314-331. Cited by 50Web SearchBibTeXDownload
48An Algebra for Pomsets. Stéphane Grumbach, Tova Milo. Inf. Comput. (150): 268-306 (1999). Cited by 34Web SearchBibTeXDownload
47Constraint Databases. Chunnian Liu. JFPLC 1999, 179-188. Web SearchBibTeX
46Querying Aggregate Data. Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini. PODS 1999, 174-184. Web SearchBibTeX
45Modeling and Querying Interpolated Spatial Data. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999, 469-487. Cited by 2Web SearchBibTeX
44Chorochronos: A Research Network for Spatiotemporal Database Systems. 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. SIGMOD Record (28): 12-21 (1999). Cited by 2Web SearchBibTeXDownload
1998
43Spatio-Temporal Data Handling with Constraints. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. ACM-GIS 1998, 106-111. Cited by 89Web SearchBibTeXDownload
42Efficient multi-dimensional data handling in constraint databases. Stéphane Grumbach, Luc Segoufin, Philippe Rigaux. BDA 1998. Web SearchBibTeX
41The DEDALE System for Complex Spatial Queries. Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. SIGMOD Conference 1998, 213-224. Cited by 137Web SearchBibTeX
1997
40On Non-Determinism in Machines and Languages. Stéphane Grumbach, Zoé Lacroix. Ann. Math. Artif. Intell. (19): 169-213 (1997). Cited by 4Web SearchBibTeXDownload
39DEDALE, A Spatial Constraint Database. Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin. BDA 1997, 38-59. Cited by 42Web SearchBibTeX
38Linear Constraints: Geometric Objects Represented by Inequalities. Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix. COSIT 1997, 429-440. Cited by 5Web SearchBibTeXDownload
37Tractable Recursion over Geometric Data. Stéphane Grumbach, Gabriel M. Kuper. CP 1997, 450-462. Web SearchBibTeXDownload
36Finitely Representable Databases. Stéphane Grumbach, Jianwen Su. J. Comput. Syst. Sci. (55): 273-298 (1997). Cited by 102Web SearchBibTeXDownload
35Modeling and Querying Spatio-temporal Data. Stéphane Grumbach. SEBD 1997, 11-28. Web SearchBibTeX
34Queries with Arithmetical Constraints. Stéphane Grumbach, Jianwen Su. Theor. Comput. Sci. (173): 151-181 (1997). Cited by 70Web SearchBibTeXDownload
1996
33Towards Tractable Algebras for Bags. Stéphane Grumbach, Tova Milo. J. Comput. Syst. Sci. (52): 570-588 (1996). Cited by 95Web SearchBibTeXDownload
32Towards Practical Constraint Databases. Stéphane Grumbach, Jianwen Su. PODS 1996, 28-39. Cited by 19Web SearchBibTeX
31Query languages for bags: expressive power and complexity. Stéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong. SIGACT News (27): 30-44 (1996). Web SearchBibTeXDownload
1995
30First-order Definability over Constraint Databases. Stéphane Grumbach, Jianwen Su. CP 1995, 121-136. Web SearchBibTeXDownload
29Generalized Implicit Definitions on Finite Structures. Stéphane Grumbach, Zoé Lacroix, Steven Lindell. CSL 1995, 252-265. Cited by 5Web SearchBibTeXDownload
28Computing Queries on Linear Constraint Databases. Stéphane Grumbach, Zoé Lacroix. DBPL 1995, 11. Cited by 9Web SearchBibTeX
27An Algebra for Pomsets. Stéphane Grumbach, Tova Milo. ICDT 1995, 191-207. Cited by 34Web SearchBibTeXDownload
26Tractable Query Languages for Complex Object Databases. Stéphane Grumbach, Victor Vianu. J. Comput. Syst. Sci. (51): 149-167 (1995). Cited by 66Web SearchBibTeXDownload
25Dense-Order Constraint Databases. Stéphane Grumbach, Jianwen Su. PODS 1995, 66-77. Cited by 54Web SearchBibTeXDownload
24On the Expressive Power of Counting. Stéphane Grumbach, Christophe Tollu. Theor. Comput. Sci. (149): 67-99 (1995). Web SearchBibTeXDownload
1994
23A New Challenge for Compression Algorithms: Genetic Sequences. Stéphane Grumbach, Fariza Tahi. Inf. Process. Manage. (30): 875-886 (1994). Web SearchBibTeXDownload
22Linear Constraint Query Languages: Expressive Power and Complexity. Stéphane Grumbach, Jianwen Su, Christophe Tollu. LCC 1994, 426-446. Cited by 59Web SearchBibTeXDownload
21Finitely Representable Databases. Stéphane Grumbach, Jianwen Su. PODS 1994, 289-300. Cited by 102Web SearchBibTeX
20Linear vs Polynomial Constraints in Database Query Languages. Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper. PPCP 1994, 181-192. Cited by 78Web SearchBibTeXDownload
1993
19Compression of DNA Sequences. Stéphane Grumbach, Fariza Tahi. Data Compression Conference 1993, 340-350. Web SearchBibTeXDownload
18Calculi for Bags and their Complexity. Stéphane Grumbach, Tova Milo, Yoram Kornatzky. DBPL 1993, 65-79. Cited by 18Web SearchBibTeX
17Asymptotic Probabilities of Languages with Generalized Quantifiers. Guy Fayolle, Stéphane Grumbach, Christophe Tollu. LICS 1993, 199-207. Web SearchBibTeXDownload
16Towards Tractable Algebras for Bags. Stéphane Grumbach, Tova Milo. PODS 1993, 49-58. Cited by 95Web SearchBibTeX
1992
15A Paradox in Database Theory. Stéphane Grumbach. ICDT 1992, 312-325. Web SearchBibTeXDownload
14Query Languages with Counters. Stéphane Grumbach, Christophe Tollu. ICDT 1992, 124-139. Web SearchBibTeXDownload
1991
13A Rule-Based Language with Functions and Sets. Serge Abiteboul, Stéphane Grumbach. ACM Trans. Database Syst. (16): 1-30 (1991). Cited by 112Web SearchBibTeXDownload
12Expressiveness and Complexity of Restricted Languages for Complex Objects. Stéphane Grumbach, Victor Vianu. DBPL 1991, 111-122. Cited by 12Web SearchBibTeX
11The Generic Complexity of Query Languages with Counters (Extended Abstract). Stéphane Grumbach, Christophe Tollu. FMLDO 1991, 131-146. Web SearchBibTeX
10Tractable Query Languages for Complex Object Databases. Stéphane Grumbach, Victor Vianu. PODS 1991, 315-327. Cited by 66Web SearchBibTeX
1990
9Playing Games with Objects. Stéphane Grumbach, Victor Vianu. ICDT 1990, 25-38. Web SearchBibTeXDownload
1989
8DATALOGrew: DATALOG with rewriting rules. Stéphane Grumbach. BDA 1989, 87-108. Web SearchBibTeX
7An extensible rule-based language with complex objects and data-functions. Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller. BDA 1989, 187-204. Cited by 12Web SearchBibTeX
6An Extensible Rule-Based Language with Complex Objects and data-Functions. Serge Abiteboul, Stéphane Grumbach, Agnès Voisard, Emmanuel Waller. DBPL 1989, 298-314. Web SearchBibTeX
5Integration of Functions Defined with Rewriting Rules in Datalog. Stéphane Grumbach. DOOD 1989, 349-368. Web SearchBibTeX
1988
4Sémantiques déclaratives pour les bases de données stratifiées avec des ensembles. Stéphane Grumbach. BDA 1988, 199-226. Web SearchBibTeX
3COL: A Logic-Based Language for Complex Objects. Serge Abiteboul, Stéphane Grumbach. EDBT 1988, 271-293. Cited by 205Web SearchBibTeXDownload
1987
2Une approche logique de la manipulation d'objets complexes. Serge Abiteboul, Stéphane Grumbach. BDA 1987, 21-46. Web SearchBibTeX
1COL: A Logic-Based Language for Complex Objects. Serge Abiteboul, Stéphane Grumbach. DBPL 1987, 347-374. Cited by 205Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research