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 
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., 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, 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.
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.
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 and Colazzo, D., Testing XML constraint satisfiability, Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.
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 and Colazzo, D., Hybrid Logic for Expressing XML Schemas with Typed References, Seventh International Conference on Computer Science and Information (CSIT), 2009.
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., 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, 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., 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, 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., Efficiently and Effectively Answering Why-Not Questions based on Provenance Polynomials. OAK team, Inria Saclay ; INRIA, p. 25, 2015.
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.
N. Bidoit, Types and constraints: from relational to XML data, in Semantics in Data and Knowledge Bases - 4th International Workshops, SDKB 2010, Revised Selected Papers, Bordeaux, France, 2011.
N. Bidoit, Herschel, M., and Tzompanaki, K., Refining SQL Queries based on Why-Not Polynomials, in {8th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2016}, Washington, D.C., United States, 2016.
N. Bidoit, Herschel, M., and Tzompanaki, K., Answering Why-Not Questions, in Bases de Données Avancées (BDA), 2013.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Partitioning XML Data for Iterative Queries, in International Database Engineering & Applications Symposium (IDEAS), Prague, Czech Republic, 2012.