Biblio

Export 526 results:
Author Title [ Type(Asc)] Year
Journal Article
Y. Yan, Dague, P., Pencolé, Y., and Cordier, M. - O., A Model-based Approach for Diagnosing Faults in Web Service Processes, International Journal of Web Services Research (JWSR), vol. 6(1), pp. 87-110, 2009.
M. Jarvisalo, Le Berre, D., Roussel, O., and Simon, L., The International SAT Solver Competition, Artificial Intelligence Magazine, vol. 33, 2012.
S. Maniu, Cheng, R., and Senellart, P., An Indexing Framework for Queries on Probabilistic Graphs, {ACM Trans. Datab. Syst}, 2017.
J. C. Dos Reis, Duy, D., Pruski, C., Da Silveira, M., and Reynaud, C., Identifying Relevant Concepts Attributes to Support Mapping Maintenance under Ontology Evolution, Journal of Web Semantics, vol. 29, pp. 53-66, 2014.
C. Alec, Reynaud, C., Safar, B., Sellami, Z., and Berdugo, U., Identification des catégories de produits issus de catalogues publicitaires, {revue d'intelligence artificielle (RIA)}, vol. 30, p. 22, 2016.
N. Bidoit and Colazzo, D., Hybrid Logic for Expressing XML Schemas with Typed References, Seventh International Conference on Computer Science and Information (CSIT), 2009.
S. Pérès, Jolicœur, M., Moulin, C., Dague, P., and Schuster, S., How important is thermodynamics for computing elementary flux modes?, {PLoS ONE}, vol. D, 2017.
F. Goasdoué, Karanasos, K., Katsis, Y., Leblay, J., Manolescu, I., and Zampetakis, S., Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents, Special Issue on Structured, Social and Crowd-sourced Data on the Web, 2013.
P. Alina, Ma, Y., George, T., Maria, K., Felix, D., Baader, F., and Schroeder, M., Formalizing biomedical concepts from textual definition, Journal of Biomedical Semantics, p. 24, 2015.
N. Bidoit and Objois, M., Fixpoint and While Temporal Query Languages, J. Log. Comput., vol. 19, pp. 369-404, 2009.
G. Imen, Nasri, O., Benothman, K., and Dague, P., Fault Detection and Isolation of Spacecraft Thrusters using an Extended Principal Component Analysis to Interval Data, {International Journal of Control, Automation and Systems}, 2016.
N. Zemirline, Bourda, Y., and Reynaud, C., Expressing Adaptation Strategies using Adaptation Patterns, IEEE Transactions on Learning Technologies, vol. 5, pp. 38-51, 2012.
S. Domingos Cardoso, Reynaud-Delaître, C., Da Silveira, M., Lin, Y. - C., Gross, A., Rahm, E., and Pruski, C., Evolving semantic annotations through multiple versions of controlled medical terminologies, Health and Technology, vol. 8, pp. 361–376, 2018.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Evaluating Queries and Updates on Big XML Documents, Information Systems Frontiers, 2018.
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.
D. Colazzo, Ghelli, G., and Sartiani, C., Efficient Inclusion for a Class of XML Types with Interleaving and Counting, Information Systems, vol. 34, pp. 643-656, 2008.
D. Colazzo, Ghelli, G., Pardini, L., and Sartiani, C., Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking, Theoretical Computer Science, vol. 492, pp. 88-116, 2013.
L. Leitao, vel Calado, P., and Herschel, M., Efficient and Effective Duplicate Detection in Hierarchical Data, IEEE Transactions on Knowledge and Data Engineering, vol. 25, pp. 1028 - 1041, 2013.
J. C. Dos Reis, Pruski, C., Da Silveira, M., and Reynaud, C., DyKOSMap: A Framework for Mapping Adaptation between Biomedical Knowledge Organization Systems, Journal of Biomedical Informatics, pp. 153-173, 2015.
X. Zhang, Wang, K., Wang, Z., Ma, Y., Qi, G., and zhiyong, feng, A Distance-based Framework for Inconsistency-Tolerant Reasoning and Inconsistency Measurement in DL-Lite, {International Journal of Approximate Reasoning(IJAR)}, 2016.
F. Nouioua and Dague, P., Diagnosticabilité des systèmes à événements discrets, Rapport de recherche LRI, vol. 1517, 2009.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verification with Petri net unfoldings, Rapport de recherche LRI, vol. 1516, 2009.
A. Madalinski, Nouioua, F., and Dague, P., Diagnosability verication with Petri net unfoldings, International Journal of Knowledge-Based and Intelligent Engineering Systems (KES), vol. 14(2), pp. 49-55, 2010.
D. Colazzo and Sartiani, C., Detection of corrupted schema mappings in XML data integration systems, ACM Trans. Internet Techn., vol. 9, 2009.
F. Goasdoué, Karanasos, K., Katsis, Y., Leblay, J., Manolescu, I., and Zampetakis, S., Des triplets sur des arbres: un modèle hybride XML-RDF pour documents annotés, Ingénierie des Systèmes d'Information (ISI), vol. 17, pp. 87-111, 2012.

Pages