Nombre de documents trouvés : 11 documents

1 - 2

A Framework for Verifying Data-Centric Protocols Deng Y., Grumbach S., Monin J.-F. Dans DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems 6722 (2011) 106-120 [hal-00647802 - version 1]

Verifying Declarative Netlog Protocols with Coq: a First Experiment Deng Y., Grumbach S., Monin J.-F. N° RR-7511 (2011) [inria-00567811 - version 1]

Towards Verifying Declarative Netlog Protocols with Coq Deng Y., Grumbach S., Monin J.-F. (2010) [inria-00506093 - version 1]

Modeling and Predicting Future Trajectories of Moving Objects in a Constrained Network Cheny J., Meng X., Guo Y., Grumbach S., Suny H. Dans Proceedings of the 7th International Conference on Mobile Data Management (MDM'06) (2006) 156 [inria-00120276 − version 1]

On the content of materialized aggregate views Grumbach S., Tininini L. Journal of Computer and System Sciences (JCSS) 66, 1 (2003) 133-168 [inria-00115471 − version 1]

Finitely Representable Databases. Grumbach S., Su J. Journal of Computer and System Sciences (JCSS) 55, 2 (1997) 273-298 [inria-00120273 - version 1]

Tractable query languages for complex object databases Grumbach S., Vianu V. Journal of Computer and System Sciences (JCSS) 51, 2 (1995) 149-167 [inria-00074988 - version 1]

A New Challenge for Compression Algorithms: Genetic Sequences Grumbach S., Tahi F. Information Processing & Management 30 (1994) [inria-00180949 − version 1]

Asymptotic probabilities of languages with generalized quantifiers Fayolle G., Grumbach S., Tollu C. Dans Eighth Annual IEEE Symposium on Logic in Computer Science (1993) 199-207 [inria-00077192 - version 1]

On the Expressive Power of Counting Grumbach S., Tollu C. N° RR-2330 (1992) [inria-00074344 - version 1]

1 - 2

L'URL de cette page est : http://hal.inria.fr/aut/Stephane Grumbach/