Stéphane Grumbach

	2011
83		Yuxin Deng, Stéphane Grumbach, Jean-François Monin: A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120
	2010
82		Stéphane Grumbach, Zhilin Wu: Distributed tree decomposition of graphs and applications to verification. IPDPS Workshops 2010: 1-8
81		Stéphane Grumbach, Fang Wang: Netlog, a Rule-Based Language for Distributed Programming. PADL 2010: 88-103
80		Zhilin Wu, Stéphane Grumbach: Feasibility of motion planning on acyclic and strongly connected directed graphs. Discrete Applied Mathematics 158(9): 1017-1028 (2010)
	2009
79		Zhilin Wu, Stéphane Grumbach: Feasibility of Motion Planning on Directed Graphs. TAMC 2009: 430-439
78		Stéphane Grumbach, Zhilin Wu: Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract). WG 2009: 154-165
77		Stéphane Grumbach, Zhilin Wu: On Distributed Model Checking of MSO on Graphs CoRR abs/0904.1902: (2009)
76		Stéphane Grumbach, Zhilin Wu: Logical locality entails frugal distributed computation over graphs CoRR abs/0904.1915: (2009)
75		Zhilin Wu, Stéphane Grumbach: Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs CoRR abs/0904.1920: (2009)
74		Stéphane Grumbach, Fang Wang, Zhilin Wu: On the distributed evaluation of recursive queries over graphs CoRR abs/0904.3157: (2009)
73		Stéphane Grumbach: Sino-French IT Lab in Beijing Opens to European Institutions. ERCIM News 2009(76): (2009)
	2008
72		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
71		Stéphane Grumbach, Jialiang Lu, Wenwu Qu: Self-organization of Wireless Networks Through Declarative Local Communication. OTM Workshops (1) 2007: 497-506
	2006
70		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
69		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
68		Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini: On the equivalence and rewriting of aggregate queries. Acta Inf. 40(8): 529-584 (2004)
	2003
67		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
66		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
65		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Handling Interpolated Data. Comput. J. 46(6): 664-679 (2003)
64		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)
63		Stéphane Grumbach, Leonardo Tininini: On the content of materialized aggregate views. J. Comput. Syst. Sci. 66(1): 133-168 (2003)
	2001
62		Stéphane Grumbach, Leonardo Tininini: Automatic Aggregation Using Explicit Metadata. SEBD 2001: 17-24
61		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Spatio-Temporal Data Handling with Constraints. GeoInformatica 5(1): 95-115 (2001)
	2000
60		Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin: Optimization Techniques. Constraint Databases 2000: 319-334
59		Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: The DEDALE Prototype. Constraint Databases 2000: 365-382
58		Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su: Expressive Power: The Infinite Case. Constraint Databases 2000: 89-107
57		Stéphane Grumbach, Leonardo Tininini: On the Content of Materialized Aggregate Views. PODS 2000: 47-57
56		Stéphane Grumbach, Leonardo Tininini: On the content of materialized aggregate views. SEBD 2000: 21-34
55		Stéphane Grumbach, Philippe Rigaux, Pierangelo Veltri: Hierarchical optimization of linear constraint processing. SEBD 2000: 387-400
54		Stéphane Grumbach, Leonardo Tininini: Automatic Aggregation Using Explicit Metadata. SSDBM 2000: 85-94
53		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Manipulating Interpolated Data is Easier than You Thought. VLDB 2000: 156-165
	1999
52		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: On the Orthographic Dimension of Constraint Databases. ICDT 1999: 199-216
51		Stéphane Grumbach, Giansalvatore Mecca: In Search of the Lost Schema. ICDT 1999: 314-331
50		Stéphane Grumbach: Constraint Databases. JFPLC 1999: 179-188
49		Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini: Querying Aggregate Data. PODS 1999: 174-184
48		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
47		Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. Inf. Comput. 150(2): 268-306 (1999)
46		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
45		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Spatio-Temporal Data Handling with Constraints. ACM-GIS 1998: 106-111
44		Stéphane Grumbach, Luc Segoufin, Philippe Rigaux: Efficient multi-dimensional data handling in constraint databases. BDA 1998
43		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: The DEDALE System for Complex Spatial Queries. SIGMOD Conference 1998: 213-224
	1997
42		Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. BDA 1997
41		Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix: Linear Constraints: Geometric Objects Represented by Inequalities. COSIT 1997: 429-440
40		Stéphane Grumbach, Gabriel M. Kuper: Tractable Recursion over Geometric Data. CP 1997: 450-462
39		Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. DBPL 1997: 38-59
38		Stéphane Grumbach: Modeling and Querying Spatio-temporal Data. SEBD 1997: 11-28
37		Stéphane Grumbach, Zoé Lacroix: On Non-Determinism in Machines and Languages. Ann. Math. Artif. Intell. 19(1-2): 169-213 (1997)
36		Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. J. Comput. Syst. Sci. 55(2): 273-298 (1997)
35		Stéphane Grumbach, Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173(1): 151-181 (1997)
	1996
34		Stéphane Grumbach, Jianwen Su: Towards Practical Constraint Databases. PODS 1996: 28-39
33		Stéphane Grumbach, Tova Milo: Towards Tractable Algebras for Bags. J. Comput. Syst. Sci. 52(3): 570-588 (1996)
32		Stéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong: Query languages for bags: expressive power and complexity. SIGACT News 27(2): 30-44 (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		Stéphane Grumbach, Zoé Lacroix: Computing Queries on Linear Constraint Databases. DBPL 1995: 11
27		Stéphane Grumbach, Tova Milo: An Algebra for Pomsets. ICDT 1995: 191-207
26		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		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		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		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		Stéphane Grumbach, Tova Milo: Towards Tractable Algebras for Bags. PODS 1993: 49-58
	1992
15		Stéphane Grumbach, Christophe Tollu: Query Languages with Counters. ICDT 1992: 124-139
14		Stéphane Grumbach: A Paradox in Database Theory. ICDT 1992: 312-325
	1991
13		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		Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327
10		Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30 (1991)
	1990
9		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		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		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		Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374

Coauthor Index

1	Serge Abiteboul	[1] [2] [3] [6] [8] [10]
2	Foto N. Afrati	[21]
3	Jidong Chen	[70]
4	Stavros S. Cosmadakis	[21]
5	Yuxin Deng	[83]
6	Guy Fayolle	[17]
7	Andrew U. Frank	[46] [67]
8	Yanyan Guo	[70]
9	Ralf Hartmut Güting	[46] [67]
10	Peter Haunold	[41]
11	Christian S. Jensen	[46] [67]
12	Yoram Kornatzky	[19]
13	Manolis Koubarakis	[46] [66] [67]
14	Gabriel M. Kuper	[21] [40] [41] [58]
15	Zoé Lacroix	[28] [29] [31] [37] [41] [60]
16	Hui Lei	[72]
17	Hong Va Leong	[72]
18	Leonid Libkin	[32]
19	Steven Lindell	[29]
20	Nikos A. Lorentzos	[46] [67]
21	Jialiang Lu	[71]
22	Yannis Manolopoulos	[46] [67]
23	Giansalvatore Mecca	[51]
24	Xiaofeng Meng	[70] [72]
25	Tova Milo	[16] [19] [27] [32] [33] [47]
26	Jean-François Monin	[83]
27	Enrico Nardelli	[46] [67]
28	Barbara Pernici	[46] [67]
29	Wenwu Qu	[71]
30	Maurizio Rafanelli	[49] [68]
31	Philippe Rigaux	[39] [42] [43] [44] [45] [48] [52] [53] [55] [59] [60] [61] [64] [65] [66]
32	Hans-Jörg Schek	[46] [67]
33	Michel Scholl	[39] [42] [46] [59] [64] [66] [67]
34	Luc Segoufin	[39] [42] [43] [44] [45] [48] [52] [53] [59] [60] [61] [64] [65]
35	Timos K. Sellis	[46] [67]
36	Spiros Skiadopoulos	[66]
37	Jianwen Su	[22] [23] [26] [30] [34] [35] [36] [58]
38	Liying Sui	[69]
39	Hui Sun	[70]
40	Fariza Tahi	[18] [20]
41	Babis Theodoulidis	[46] [67]
42	Leonardo Tininini	[49] [54] [56] [57] [62] [63] [68]
43	Christophe Tollu	[12] [15] [17] [23] [24]
44	Nectaria Tryfona	[67]
45	Pierangelo Veltri	[55]
46	Victor Vianu	[9] [11] [13] [25] [69]
47	Agnès Voisard	[6] [8]
48	Emmanuel Waller	[6] [8]
49	Fang Wang	[74] [81]
50	Peter Widmayer	[46]
51	Limsoon Wong	[32]
52	Zhilin Wu	[74] [75] [76] [77] [78] [79] [80] [82]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page