Biblio

Export 526 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
M. Batteux, Rapin, N., Dague, P., and Fiani, P., Faulty models of a fuel cell system for model-based diagnosis study, in Fundamentals and Developments of Fuel Cells Conference (FDFC), Grenoble, France, 2011.
M. Batteux, Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une cha\^ıne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés., Université Paris Sud, 2011.
W. Beek, Raad, J., Wielemaker, J., and Van Harmelen, F., sameAs.cc: The Closure of 500M owl:sameAs Statements, in The Semantic Web. 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings, 2018.
H. Belhajfrej, Aspects dynamiques des bibliothèques numériques : systèmes de notification, Université Paris Sud - Paris XI, 2009.
M. Benedikt, Florescu, D., Gardner, P., Guerrini, G., Mesiti, M., and Waller, E., Report on the EDBT/ICDT 2010 workshop on updates in XML, SIGMOD Record, vol. 39, pp. 54-57, 2010.
V. Benzaken, Castagna, G., Colazzo, D., and Nguyen, K., Optimizing XML querying using type-based document projection, ACM Transactions on Database Systems, vol. 38, p. 54, 2013.
V. Benzaken, Fekete, J. - D., Khemiri, W., and Manolescu, I., EdiFlow: data-intensive interactive workflows for visual analytics, in Journées Bases de Données Avancées, Toulouse France, 2010.
V. Benzaken, Castagna, G., Colazzo, D., and Miachon, C., Pattern by Example: Type-driven Visual Programming of XML Queries., in 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, 2008.
V. Benzaken, Castagna, G., Hosoya, H., Pierce, B. C., and Vansummeren, S., XML Typechecking, in Encyclopedia of Database Systems, Springer US, 2009, pp. 3646-3650.
P. Berthome, Cordovil, R., Forge, D., Ventos, V., and Zaslavsky, T., An Elementary Chromatic Reduction for Gain Graphs and Special Hyperplane Arrangements, Electr. Journal of Combinatorics, vol. 16, 2009.
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.
N. Bidoit and Colazzo, D., Testing XML constraint satisfiability, Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.
N. Bidoit, Herschel, M., and Tzompanaki, K., Efficient computation of polynomial explanations of Why-Not questions, in 31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2015, Île de Porquerolles, France, 2015.
N. Bidoit and Colazzo, D., Hybrid Logic for Expressing XML Schemas with Typed References, Seventh International Conference on Computer Science and Information (CSIT), 2009.
N. Bidoit, Colazzo, D., Sartiani, C., Solimando, A., and Ulliana, F., Queries and Updates on Big XML Documents (Extended Abstract), in SEBD 2015 - 23rd Italian Symposium on Advanced Database Systems, GAETA, Italy, 2015.
N. Bidoit, Colazzo, D., and Ulliana, F., Detecting XML query-update independence, in Journés Bases de Donnés Avancées (BDA), 2010.
N. Bidoit, Herschel, M., and Tzompanaki, K., EFQ: Why-Not Answer Polynomials in Action, in 41st International Conference on Very Large Data Bases - VLDB 2015, Hawai, United States, 2015.
N. Bidoit, Colazzo, D., and Ulliana, F., Type-Based Detection of XML Query-Update Independence, Proceedings of the VLDB Endowment, vol. 5, pp. 872-883, 2012.
N. Bidoit and Objois, M., Fixpoint and While Temporal Query Languages, J. Log. Comput., vol. 19, pp. 369-404, 2009.
N. Bidoit, Types and Constraints: From Relational to XML Data, in 4th International Workshops on Semantics in Data and Knowledge Bases (SDKB), 2010, vol. 6834, pp. 40-53.
N. Bidoit, Herschel, M., and Tzompanaki, K., Répondre à des requêtes Why-Not indépendamment de la représentation des requêtes, in Bases de données avancées (BDA14), Autrans-Grenboble, France, 2014.
N. Bidoit, Herschel, M., and Tzompanaki, K., Efficient Computation of Polynomial Explanations of Why-Not Questions, in 24th ACM International Conference on Information and Knowledge Management - CIKM 2015, Melbourne, Australia, 2015.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Evaluating Queries and Updates on Big XML Documents, Information Systems Frontiers, 2018.
N. Bidoit, Herschel, M., and Tzompanaki, K., Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries, in TaPP 2014 - 6th USENIX Workshop on the Theory and Practice of Provenance, Cologne, Germany, 2014.
N. Bidoit, Bosc, P., Cholvy, L., Pivert, O., and Rousset, M. - C., Bases de données et intelligence artificielle, in Panorama actuel de l'intelligence artificielle: ses bases méthodologiques, ses développements, P. Marquis, Papini, O., and Prade, H., Eds. Cépaduès, 2014.

Pages