Stéphane Grumbach

According to our database1, Stéphane Grumbach
  • authored at least 91 papers between 1987 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Distributed Protocols at the Rescue for Trustworthy Online Voting.
CoRR, 2017

Secure and Trustable Distributed Aggregation Based on Kademlia.
Proceedings of the ICT Systems Security and Privacy Protection, 2017

Distributed Protocols at the Rescue for Trustworthy Online Voting.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Distributed Random Process for a Large-Scale Peer-to-Peer Lottery.
Proceedings of the Distributed Applications and Interoperable Systems, 2017

2016
Chasing Data in the Intermediation Era: Economy and Security at Stake.
IEEE Security & Privacy, 2016

2014
Intermediation Platforms, an Economic Revolution.
ERCIM News, 2014

2012
Distribution d'applications client-serveur sur des réseaux déclaratifs.
Ingénierie des Systèmes d'Information, 2012

UBIQUEST, for rapid prototyping of networking applications.
Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

An in-Browser Microblog Ranking Engine.
Proceedings of the Advances in Conceptual Modeling, 2012

A Data-Centric Approach for Networking Applications.
Proceedings of the DATA 2012, 2012

Messages with implicit destinations as mobile agents.
Proceedings of the 2nd edition on Programming systems, 2012

2011
A Framework for Verifying Data-Centric Protocols.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2010
Feasibility of motion planning on acyclic and strongly connected directed graphs.
Discrete Applied Mathematics, 2010

Netlog, a Rule-Based Language for Distributed Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2010

Distributed tree decomposition of graphs and applications to verification.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009
Sino-French IT Lab in Beijing Opens to European Institutions.
ERCIM News, 2009

On the distributed evaluation of recursive queries over graphs
CoRR, 2009

Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs
CoRR, 2009

Logical locality entails frugal distributed computation over graphs
CoRR, 2009

On Distributed Model Checking of MSO on Graphs
CoRR, 2009

Logical Locality Entails Frugal Distributed Computation over Graphs (Extended Abstract).
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2009

Feasibility of Motion Planning on Directed Graphs.
Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

2007
Self-organization of Wireless Networks Through Declarative Local Communication.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2006
Modeling and Predicting Future Trajectories of Moving Objects in a Constrained Network.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

2004
On the equivalence and rewriting of aggregate queries.
Acta Inf., 2004

2003
On the content of materialized aggregate views.
J. Comput. Syst. Sci., 2003

Building a constraint-based spatial database system: model, languages, and implementation.
Inf. Syst., 2003

Handling Interpolated Data.
Comput. J., 2003

Spatio-temporal Models and Languages: An Approach Based on Constraints.
Proceedings of the Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003

2001
Spatio-Temporal Data Handling with Constraints.
GeoInformatica, 2001

Automatic Aggregation Using Explicit Metadata.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

2000
Manipulating Interpolated Data is Easier than You Thought.
Proceedings of the VLDB 2000, 2000

Automatic Aggregation Using Explicit Metadata.
Proceedings of the 12th International Conference on Scientific and Statistical Database Management, 2000

On the content of materialized aggregate views.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Hierarchical optimization of linear constraint processing.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

On the Content of Materialized Aggregate Views.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

The DEDALE Prototype.
Constraint Databases, 2000

Optimization Techniques.
Constraint Databases, 2000

Expressive Power: The Infinite Case.
Constraint Databases, 2000

1999
Chorochronos: A Research Network for Spatiotemporal Database Systems.
SIGMOD Record, 1999

An Algebra for Pomsets.
Inf. Comput., 1999

Querying Aggregate Data.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Constraint Databases.
Proceedings of the JFPLC'99, 1999

On the Orthographic Dimension of Constraint Databases.
Proceedings of the Database Theory, 1999

In Search of the Lost Schema.
Proceedings of the Database Theory, 1999

Modeling and Querying Interpolated Spatial Data.
Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999

1998
The DEDALE System for Complex Spatial Queries.
Proceedings of the SIGMOD 1998, 1998

Spatio-Temporal Data Handling with Constraints.
Proceedings of the ACM-GIS '98, 1998

Efficient multi-dimensional data handling in constraint databases.
Proceedings of the 14ème Journées Bases de Données Avancées, 1998

1997
Queries with Arithmetical Constraints.
Theor. Comput. Sci., 1997

Finitely Representable Databases.
J. Comput. Syst. Sci., 1997

On Non-Determinism in Machines and Languages.
Ann. Math. Artif. Intell., 1997

Modeling and Querying Spatio-temporal Data.
Proceedings of the Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1997

DEDALE, A Spatial Constraint Database.
Proceedings of the Database Programming Languages, 6th International Workshop, 1997

Tractable Recursion over Geometric Data.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Linear Constraints: Geometric Objects Represented by Inequalities.
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

DEDALE, A Spatial Constraint Database.
Proceedings of the 13ème Journées Bases de Données Avancées, 1997

1996
Query languages for bags: expressive power and complexity.
SIGACT News, 1996

Towards Tractable Algebras for Bags.
J. Comput. Syst. Sci., 1996

Towards Practical Constraint Databases.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

1995
On the Expressive Power of Counting.
Theor. Comput. Sci., 1995

Tractable Query Languages for Complex Object Databases.
J. Comput. Syst. Sci., 1995

Dense-Order Constraint Databases.
Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

An Algebra for Pomsets.
Proceedings of the Database Theory, 1995

Computing Queries on Linear Constraint Databases.
Proceedings of the Database Programming Languages (DBPL-5), 1995

Generalized Implicit Definitions on Finite Structures.
Proceedings of the Computer Science Logic, 9th International Workshop, 1995

First-order Definability over Constraint Databases.
Proceedings of the Principles and Practice of Constraint Programming, 1995

Computing Queries on Linear Constraint Databases.
Proceedings of the Onzièmes Journées Bases de Données Avancées, 29 Août, 1995

1994
A New Challenge for Compression Algorithms: Genetic Sequences.
Inf. Process. Manage., 1994

Linear vs Polynomial Constraints in Database Query Languages.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Finitely Representable Databases.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Linear Constraint Query Languages: Expressive Power and Complexity.
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1993
Towards Tractable Algebras for Bags.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Asymptotic Probabilities of Languages with Generalized Quantifiers
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

Compression of DNA Sequences.
Proceedings of the IEEE Data Compression Conference, 1993

Calculi for Bags and their Complexity.
Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

1992
Query Languages with Counters.
Proceedings of the Database Theory, 1992

A Paradox in Database Theory.
Proceedings of the Database Theory, 1992

1991
A Rule-Based Language with Functions and Sets.
ACM Trans. Database Syst., 1991

Tractable Query Languages for Complex Object Databases.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

The Generic Complexity of Query Languages with Counters (Extended Abstract).
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Expressiveness and Complexity of Restricted Languages for Complex Objects.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991

1990
Playing Games with Objects.
Proceedings of the ICDT'90, 1990

1989
Integration of Functions Defined with Rewriting Rules in Datalog.
DOOD, 1989

An Extensible Rule-Based Language with Complex Objects and data-Functions.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

DATALOGrew: DATALOG with rewriting rules.
Proceedings of the Cinquièmes Journées Bases de Données Avancées, 1989

An extensible rule-based language with complex objects and data-functions.
Proceedings of the Cinquièmes Journées Bases de Données Avancées, 1989

1988
COL: A Logic-Based Language for Complex Objects.
Proceedings of the Advances in Database Technology, 1988

Sémantiques déclaratives pour les bases de données stratifiées avec des ensembles.
Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987
COL: A Logic-Based Language for Complex Objects.
Proceedings of the Advances in Database Programming Languages, 1987

Une approche logique de la manipulation d'objets complexes.
Proceedings of the Troisièmes Journées Bases de Données Avancées, 1987


  Loading...