Stéphane Grumbach
According to our database1, Stéphane Grumbach
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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