Biblio

Export 42 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is A  [Clear All Filters]
2018
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Abstractions refinement for hybrid systems diagnosability analysis, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., Automating Abstraction Computations of Hybrid Systems, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.
2017
D. Chistaras Papageorgiou, Pernelle, N., and Saïs, F., Approche numérique pour l'invalidation de liens d'identité (owl:SameAs), in 28es Journées francophones d'Ingénierie des Connaissances IC 2017, caen, France, 2017.
2015
N. Bidoit, Colazzo, D., Sartiani, C., Solimando, A., and Ulliana, F., Andromeda: A System for Processing Queries and Updates on Big XML Documents, in BigDap 2015 - 2nd International Workshop on Big Data Applications and Principles, Poitiers, France, 2015.
2013
A. Bonifati, Goodfellow, M., Manolescu, I., and Sileo, D., Algebraic incremental maintenance of XML views, ACM Transactions on Database Systems, 2013.
D. Colazzo, Ghelli, G., Pardini, L., and Sartiani, C., Almost-Linear Inclusion for XML Regular Expression Types, ACM Transactions on Database Systems, 2013.
J. C. Dos-Reis, Pruski, C., Da Silveira, M., and Reynaud, C., Analysing the Evolution of Semantic Correspondences between SNOMED CT and ICT-9-CM, in International eHealth, Telemedecine and Health ICT Forum For Education, Networking and Business - Med@Tel, Luxembourg, 2013.
N. Bidoit, Herschel, M., and Tzompanaki, K., Answering Why-Not Questions, in Bases de Données Avancées (BDA), 2013.
R. Khefifi, Poizat, P., and Sais, F., Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space, in International Conference on Service Oriented Computing (ICSOC 2013), 2013, p. to appear.
N. Pernelle, Sais, F., and Symeonidou, D., An automatic key discovery approach for data linking, Journal of Web Semantics: Science, Services and Agents on the World Wide Web, p. to appear, 2013.

Pages