Stéphane Grumbach

Ahmad Ahmad-Kassem, Stéphane Grumbach: Distribution d'applications client-serveur sur des réseaux déclaratifs. Ingénierie des Systèmes d'Information 17(5): 113-138 (2012)

Ahmad Ahmad-Kassem, Christophe Bobineau, Christine Collet, Etienne Dublé, Stéphane Grumbach, Fuda Ma, Lourdes Martínez, Stéphane Ubéda: A Data-Centric Approach for Networking Applications. DATA 2012: 147-152

Stéphane Frénot, Stéphane Grumbach: An in-Browser Microblog Ranking Engine. ER Workshops 2012: 78-88

Ahmad Ahmad-Kassem, Christophe Bobineau, Christine Collet, Etienne Dublé, Stéphane Grumbach, Fuda Ma, Lourdes Martínez, Stéphane Ubéda: UBIQUEST, for rapid prototyping of networking applications. IDEAS 2012: 187-192

Yuxin Deng, Stéphane Grumbach, Jean-François Monin: A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120

Zhilin Wu, Stéphane Grumbach: Feasibility of motion planning on acyclic and strongly connected directed graphs. Discrete Applied Mathematics 158(9): 1017-1028 (2010)

Stéphane Grumbach, Zhilin Wu: Distributed tree decomposition of graphs and applications to verification. IPDPS Workshops 2010: 1-8

Stéphane Grumbach, Fang Wang: Netlog, a Rule-Based Language for Distributed Programming. PADL 2010: 88-103

Stéphane Grumbach: Sino-French IT Lab in Beijing Opens to European Institutions. ERCIM News 2009(76) (2009)

Zhilin Wu, Stéphane Grumbach: Feasibility of Motion Planning on Directed Graphs. TAMC 2009: 430-439

Stéphane Grumbach, Zhilin Wu: Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). WG 2009: 154-165

Stéphane Grumbach, Zhilin Wu: On Distributed Model Checking of MSO on Graphs. CoRR abs/0904.1902 (2009)

Stéphane Grumbach, Zhilin Wu: Logical locality entails frugal distributed computation over graphs. CoRR abs/0904.1915 (2009)

Zhilin Wu, Stéphane Grumbach: Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs. CoRR abs/0904.1920 (2009)

Stéphane Grumbach, Fang Wang, Zhilin Wu: On the distributed evaluation of recursive queries over graphs. CoRR abs/0904.3157 (2009)

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. IEEE 2008

Stéphane Grumbach, Jialiang Lu, Wenwu Qu: Self-organization of Wireless Networks Through Declarative Local Communication. OTM Workshops (1) 2007: 497-506

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

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. Lecture Notes in Computer Science 3818, Springer 2005, isbn 3-540-30767-2

Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini: On the equivalence and rewriting of aggregate queries. Acta Inf. 40(8): 529-584 (2004)

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Handling Interpolated Data. Comput. J. 46(6): 664-679 (2003)

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)

Stéphane Grumbach, Leonardo Tininini: On the content of materialized aggregate views. J. Comput. Syst. Sci. 66(1): 133-168 (2003)

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

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. Lecture Notes in Computer Science 2520, Springer 2003, isbn 3-540-40552-6

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Spatio-Temporal Data Handling with Constraints. GeoInformatica 5(1): 95-115 (2001)

Stéphane Grumbach, Leonardo Tininini: Automatic Aggregation Using Explicit Metadata. SEBD 2001: 17-24

Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su: Expressive Power: The Infinite Case. Constraint Databases 2000: 89-107

Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin: Optimization Techniques. Constraint Databases 2000: 319-334

Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: The DEDALE Prototype. Constraint Databases 2000: 365-382

Stéphane Grumbach, Leonardo Tininini: On the Content of Materialized Aggregate Views. PODS 2000: 47-57

Stéphane Grumbach, Leonardo Tininini: On the content of materialized aggregate views. SEBD 2000: 21-34

Stéphane Grumbach, Philippe Rigaux, Pierangelo Veltri: Hierarchical optimization of linear constraint processing. SEBD 2000: 387-400

Stéphane Grumbach, Leonardo Tininini: Automatic Aggregation Using Explicit Metadata. SSDBM 2000: 85-94

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Manipulating Interpolated Data is Easier than You Thought. VLDB 2000: 156-165

Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. Inf. Comput. 150(2): 268-306 (1999)

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)

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

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: On the Orthographic Dimension of Constraint Databases. ICDT 1999: 199-216

Stéphane Grumbach, Giansalvatore Mecca: In Search of the Lost Schema. ICDT 1999: 314-331

Stéphane Grumbach: Constraint Databases. JFPLC 1999: 179-188

Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini: Querying Aggregate Data. PODS 1999: 174-184

Stéphane Grumbach, Luc Segoufin, Philippe Rigaux: Efficient multi-dimensional data handling in constraint databases. BDA 1998

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Spatio-Temporal Data Handling with Constraints. ACM-GIS 1998: 106-111

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: The DEDALE System for Complex Spatial Queries. SIGMOD Conference 1998: 213-224

Stéphane Grumbach, Zoé Lacroix: On Non-Determinism in Machines and Languages. Ann. Math. Artif. Intell. 19(1-2): 169-213 (1997)

Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. J. Comput. Syst. Sci. 55(2): 273-298 (1997)

Stéphane Grumbach, Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173(1): 151-181 (1997)

Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. BDA 1997

Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix: Linear Constraints: Geometric Objects Represented by Inequalities. COSIT 1997: 429-440

Stéphane Grumbach, Gabriel M. Kuper: Tractable Recursion over Geometric Data. CP 1997: 450-462

Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. DBPL 1997: 38-59

Stéphane Grumbach: Modeling and Querying Spatio-temporal Data. SEBD 1997: 11-28

Stéphane Grumbach, Tova Milo: Towards Tractable Algebras for Bags. J. Comput. Syst. Sci. 52(3): 570-588 (1996)

Stéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong: Query languages for bags: expressive power and complexity. SIGACT News 27(2): 30-44 (1996)

Stéphane Grumbach, Jianwen Su: Towards Practical Constraint Databases. PODS 1996: 28-39

Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. J. Comput. Syst. Sci. 51(2): 149-167 (1995)

Stéphane Grumbach, Christophe Tollu: On the Expressive Power of Counting. Theor. Comput. Sci. 149(1): 67-99 (1995)

Stéphane Grumbach, Zoé Lacroix: Computing Queries on Linear Constraint Databases. BDA 1995: 103-

Stéphane Grumbach, Jianwen Su: First-order Definability over Constraint Databases. CP 1995: 121-136

Stéphane Grumbach, Zoé Lacroix, Steven Lindell: Generalized Implicit Definitions on Finite Structures. CSL 1995: 252-265

Stéphane Grumbach, Zoé Lacroix: Computing Queries on Linear Constraint Databases. DBPL 1995: 11

Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. ICDT 1995: 191-207

Stéphane Grumbach, Jianwen Su: Dense-Order Constraint Databases. PODS 1995: 66-77

Stéphane Grumbach, Fariza Tahi: A New Challenge for Compression Algorithms: Genetic Sequences. Inf. Process. Manage. 30(6): 875-886 (1994)

Stéphane Grumbach, Jianwen Su, Christophe Tollu: Linear Constraint Query Languages: Expressive Power and Complexity. LCC 1994: 426-446

Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. PODS 1994: 289-300

Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper: Linear vs Polynomial Constraints in Database Query Languages. PPCP 1994: 181-192

Stéphane Grumbach, Tova Milo, Yoram Kornatzky: Calculi for Bags and their Complexity. DBPL 1993: 65-79

Stéphane Grumbach, Fariza Tahi: Compression of DNA Sequences. Data Compression Conference 1993: 340-350

Guy Fayolle, Stéphane Grumbach, Christophe Tollu: Asymptotic Probabilities of Languages with Generalized Quantifiers. LICS 1993: 199-207

Stéphane Grumbach, Tova Milo: Towards Tractable Algebras for Bags. PODS 1993: 49-58

Stéphane Grumbach, Christophe Tollu: Query Languages with Counters. ICDT 1992: 124-139

Stéphane Grumbach: A Paradox in Database Theory. ICDT 1992: 312-325

Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30 (1991)

Stéphane Grumbach, Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991: 111-122

Stéphane Grumbach, Christophe Tollu: The Generic Complexity of Query Languages with Counters (Extended Abstract). FMLDO 1991: 131-146

Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327

Stéphane Grumbach, Victor Vianu: Playing Games with Objects. ICDT 1990: 25-38

Stéphane Grumbach: DATALOG^rew: DATALOG with rewriting rules. BDA 1989: 87-108

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

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

Stéphane Grumbach: Integration of Functions Defined with Rewriting Rules in Datalog. DOOD 1989: 349-368

Stéphane Grumbach: Sémantiques déclaratives pour les bases de données stratifiées avec des ensembles. BDA 1988: 199-226

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293

Serge Abiteboul, Stéphane Grumbach: Une approche logique de la manipulation d'objets complexes. BDA 1987: 21-46

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374