Marco A. Casanova

Department of Informatics

Pontifical Catholic University of Rio de Janeiro – PUC-Rio

Short Bio

 

Marco A. Casanova is Full Professor at the Department of Informatics and Coordinator of the Central Planning and Evaluation Office of the Pontifical Catholic University of Rio de Janeiro – PUC-Rio. He graduated in Electronic Engineering at the Military Institute of Engineering (1974), obtained a M.Sc. in Informatics from PUC-Rio (1976) and a M.Sc. (1976) and a Ph.D. (1979) in Applied Mathematics from Harvard University. He was Graduate Program Coordinator (2005-2007) and Director (2007-2011) of the Department of Informatics of PUC-Rio. His research interests concentrate on database conceptual modeling and construction of database management systems. He wrote 7 books (2 published by Springer Verlag), 48 journal articles and over 200 full conference papers. He advised 18 Ph.D. theses and 55 M.Sc. dissertations. In July 2012, he received the Scientific Merit Award from the Brazilian Computer Society.

Uniform Resource Identifiers

Currículo Lattes:

http://lattes.cnpq.br/0400232298849115

Open Researcher & Contributor ID (ORCID):

http://orcid.org/0000-0003-0765-9636

International Standard Name Identifier (ISO 27729):

http://isni.org/isni/0000000117488848

Google Scholar Public URL:

http://scholar.google.com.br/citations?user=zWh25xcAAAAJ

DBLP search:

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Casanova:Marco_A=.html

Scopus Author Identifier:       

http://www.scopus.com/authid/detail.url?authorId=7102125708

Thomson Reuters ResearcherID:

http://www.researcherid.com/rid/M-9054-2014

AuthorClaim:

http://authorclaim.org/profile/pca1/

Recent Courses

INF1010 – Estruturas de Dados Avançadas – Material (21MB)

INF1010 – Estruturas de Dados Avançadas – Exercícios (1.7MB)

INF1010 – Estruturas de Dados Avançadas – Provas  (9,4MB)

INF1010 – Estruturas de Dados Avançadas – Código – sem garantia de correção (0.5MB)

INF2217 – Lógica e Especificação – Material (15MB)

INF2328 – Tópicos de Banco de Dados para a Web – Material (31MB)

INF2328 – Topicos de Banco de Dados para a Web – Material (Versão apresentada na SECOMP/IC/UNICAMP) (11MB)

Recent Talks and Presentations

 

Research Topics on Linked Data. Palestra, PUC-Rio, April 8th, 2016.

Contribuições à Especificação Formal de Bancos de Dados. Aula Magistral, PUC-Rio, March 24th, 2015.

A Construção de Universidades de Excelência Internacional no Brasil. Painel SECOMU, CSBC 2014, Julho 2014 (1.8MB)

Entrevista e palestra - Prêmio SBC Mérito Científico 2012. SBC Horizontes 5(2), Agosto 2012, pp. 15-19.

Bancos de Dados: De onde vieram? Onde estão? Para onde vão? (1.7MB)

Recent Tools

 

An Algebra of Lightweight Ontologies. A set of operations that map ontologies to ontologies, including their constraints, implemented as a Protégé plug-in (for installation details, see: Magalhães, R.C., Operations over Lightweight Ontologies. M.Sc. Dissertation, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil, January 2015).

Linked Open Data dataset communities. A graphical visualization, and associated data, of Linked Open Data dataset clusters generated by a community detection and profiling technique.

Publications

2016

Conference Papers

 

329.  Leme, L.A.P.P., Renso, C., Nunes, B.P., Lopes, G.R., Casanova, M.A., Searching for Data Sources for the Semantic Enrichment of Trajectories. (Accepted to the 17th International Conference on Web Information Systems Engineering – WISE 2016, Shanghai, China, Nov 7-10, 2016).

328.  Vidal, V.M.P., Casanova, M.A., Menendez, E.S., Arruda, N., Using Changesets for Incremental Maintenance of Linkset Views. (Accepted to the 17th International Conference on Web Information Systems Engineering – WISE 2016, Shanghai, China, Nov 7-10, 2016).

327.  Caraballo, A.A.M, Nunes, B.P., Lopes, G.R., Leme, L.A.P.P., Casanova, M.A., Automatic Creation and Analysis of a Linked Data Cloud Diagram. (Accepted to the 17th International Conference on Web Information Systems Engineering – WISE 2016, Shanghai, China, Nov 7-10, 2016).   

326.  Amorim, F.A., Nunes, B.P., Lopes, G.R., Casanova, M.A. MFI-TransSW+: Efficiently Mining Frequent Itemsets in Clickstreams. (Accepted for the 17th International Conference on Electronic Commerce and Web Technologies – EC-Web 2016, Porto, Portugal, Sept. 5-8, 2016).

325.  Menendez, E.S., Casanova, M.A., Vidal, V.M.P., Nunes, B.P., Lopes, G.R., Leme, L.A.P.P., Incremental Maintenance of Materialized SPARQL-based Linkset Views. (Accepted for the 27th Int’l. Conf. on Database and Expert Systems Applications – DEXA 2016, Porto, Portugal, Sept. 5-8, 2016).

324.  Roriz Junior, M., Endler, M., Casanova, M.A., Lopes, H., Silva e Silva, F., A Heuristic Approach for On-line Discovery of Unidentified Spatial Clusters from Grid-based Streaming Algorithms. (Accepted for 18th Int’l. Conf. on Big Data Analytics and Knowledge Discovery – DaWaK 2016, Porto, Portugal, Sept. 5-8, 2016)

323.  Nunes, B.P., Lopes, G.R., Nurmikko-Fuller, T., Siqueira, S.W.M., Gilda H.B. Campos, Casanova, M.A., Treasure Explorers - A Game as a Diagnostic Assessment Tool. (Accepted for the 16th IEEE Int’l. Conf. on Advanced Learning Technologies – ICALT 2016, Austin, Texas, USA, July 25-28, 2016).

322.  Nunes, B.P., Lopes, G.R., Nurmikko-Fuller, T., Siqueira, S.W.M., Casanova, M.A., An Educational Game based on Images and Semantic Web Technologies. (Accepted for the 16th IEEE Int’t. Conf. on Advanced Learning Technologies – ICALT 2016, Austin, Texas, USA, July 25-28, 2016).

321.  Ruback, L., Casanova, M.A., Renso, C., Raffaeta, A., Vidal, V.M.P., Enriching Mobility Data with Linked Open Data. Proc. 20th Int’l. Database Engineering & Applications Symposium – IDEAS  2016, Montreal, QC, Canada, July 11-13, 2016, pp. 173-182. DOI: 10.1145/2938503.2938550

320. Nascimento, S., Chucre, M., Macedo, J.A.F., Monteiro, J.M., Casanova, M.A., On computing temporal functions for a time-dependent networks using trajectory data. Proc. 20th Int’l. Database Engineering & Applications Symposium – IDEAS  2016, Montreal, QC, Canada, July 11-13, 2016, pp. 236-241.
DOI: 10.1145/2938503.2938542

319.  da Silva, T.L.C., Zeitouni, K., Macedo, J.A.F., Casanova, M.A., CUTiS*: optimized online ClUstering of Trajectory data Stream. Proc. 20th Int’l. Database Engineering & Applications Symposium – IDEAS  2016, Montreal, QC, Canada, July 11-13, 2016, pp. 296-301. DOI: 10.1145/2938503.2938516

318.  Grettel Monteagudo García, G.M., Nunes, B.P., Lopes, G.R., Casanova, M.A., Comparing and Recommending Conferences. Proc. 5º BraSNAM - Brazilian Workshop on Social Network Analysis and Mining, Porto Alegre, Brazil, July 05, 2016.

317.  da Silva, T.L.C., Zeitouni, K., Macedo, J.A.F., Casanova, M.A., A Framework for Online Mobility Pattern Discovery from Trajectory Data Streams. Proc. 17th IEEE Int’l. Conf. on Mobile Data Management - MDM 2016, June 13-16, 2016, Porto, Portugal, pp.365-368. DOI: 10.1109/MDM.2016.65

316.  Chucre, M., Nascimento, S., Monteiro, J.M., Macedo, J.A.F., Casanova, M.A., Taxi, Please!  A Nearest Neighbor Query in Time-Dependent Road Networks. Proc. 17th IEEE Int’l. Conf. on Mobile Data Management - MDM 2016, June 13-16, 2016, Porto, Portugal, pp. 180-185. DOI: 10.1109/MDM.2016.36

315.  Rodriguez, K., Casanova, M.A., Leme, L.A.P.P., Lopes, H., Nasser, R., Amaral, B. On the Design of a Traffic Observatory Application based on Bus Trajectories. Proc. 18th Int’l. Conf. on Enterprise Information Systems. ISBN 978-989-758-187-8, pp. 215-222. DOI: 10.5220/0005866102150222

Extended Abstracts & Posters

314.  Amaral, B., Nasser, R., Casanova, M.A., Lopes, H., BusesInRio: buses as mobile traffic sensors - Managing the bus GPS data in the City of Rio de Janeiro. (Accepted for the 17th IEEE Int’l. Conf. on Mobile Data Management - MDM 2016, June 13-16, 2016, Porto, Portugal, pp. 369-372.
DOI: 10.1109/MDM.2016.66

313.  da Silva, T.L.C., Zeitouni, K., Macedo, J.A.F., Casanova, M.A., On-Line Mobility Pattern Discovering using Trajectory Data. Proc. 19th Int’l. Conf. on Extending Database Technology – EDBT 2016, Bordeaux, France, March 15-16, 2016. OpenProceedings.org 2016, ISBN 978-3-89318-070-7, pp. 682-683.
DOI: 10.5441/002/edbt.2016.85

2015

Journal Articles

312.  Albuquerque, F.C., Casanova, M.A., Lopes, H., Redlich, L.R., Macedo, J.A.F., Lemos, M., Carvalho, M.T.M., Renso, C. A methodology for traffic-related Twitter messages interpretation. Computers in Industry.
doi: 10.1016/j.compind.2015.10.005.
(http://www.sciencedirect.com/science/article/pii/S0166361515300506)
(Available online 29 October 2015).

311.  Figueiredo, H.F., Baptista, C.S., Casanova, M.A., Silva, T.E., Paiva, A.C. Semi-automatic photograph tagging by combining context with content-based information. Expert Systems with Applications 01/2015 42(1):203–211.
doi: 10.1016/j.eswa.2014.07.060 (Available online on 8 August 2014).

Book Chapters

310.  Gomes, R.V.A., Casanova, M.A., Lopes, G.R., Leme, L.A.P.P. CRAWLER-LD: A Multilevel Metadata Focused Crawler Framework for Linked Data. Lecture Notes in Business Information Processing, v. 227, p. 302-319, 2015.
doi: 10.1007/978-3-319-22348-3_17

309. Nunes, B.P., Fetahu, B., Kawase, R., Dietze, S., Casanova, M.A., Maynard, Diana Interlinking Documents Based on Semantic Graphs with an Application. In: Knowledge-Based Information Systems in Practice, Vol. 30 of the series Smart Innovation, Systems and Technologies, Springer International Publishing (2015), pp 139-155. doi: 10.1007/978-3-319-13545-8_9

Conference Papers

308.  Assis, P.H.R., Casanova, M.A., Laender, A.H.F., Milidiu, R. Improving Relation Extraction by Using an Ontology Class Hierarchy Feature. Proc. 16th International Conference on Web Information Systems Engineering–WISE 2015. Miami, FL, USA (Nov. 1-3, 2015) Lecture Notes in Computer Science 9419, pp 241-249.
doi: 10.1007/978-3-319-26187-4_20

307.  Nunes, B.P., Lopes, G.R., Casanova, M.A. Automatic classification and taxonomy generation for semi-structured data. Proc. 15th IEEE International Conference on Computer and Information Technology - CIT, 2015, Liverpool, UK. (26-28 Oct., 2015).

306.  Vidal, V.M.P., Casanova, M.A., Arruda, N., Roberval, M., Leme, L.A.P., Lopes, G.R., Renso, C.: Specification and Incremental Maintenance of Linked Data Mashup Views. Advanced Information Systems Engineering – Proc. 27th International Conference on Advanced Information Systems Engineering – CAiSE 2015, Stockholm, Sweden (9-12 June 2015), pp. 214-229.
doi: 10.1007/978-3-319-19069-3_14 [BibTex]

305.  Lopes, G.R., Nunes, B.P., Leme, L.A.P., Nurmikko-Fuller, T., Casanova, M.A.: Knowing the Past to Plan for the Future - An in-depth analysis of the first 10 editions of the WEBIST Conference. Proc. 11th International Conference on Web Information Systems and Technologies – WEBIST 2015, Lisbon, Portugal (20-22 May, 2015) – Best Paper Award. doi: 10.5220/0005447704310442 (Also in: Lecture Notes in Business Information Processing).

304.  Berardi, R.C., Vidal, V.M.P., Casanova, M.A.: R2BA: Rationalizing R2RML mapping by assertion. Proc.17th International Conference on Enterprise Information Systems, Barcelona, Spain (27 - 30 April 2015).

303.  Nunes, B.P., Tyler-Jones, M., Campos, G.H.B., Siqueira, S.W.M. Casanova, M.A., FAT: A real-time (F) orum (A) ssessment (T) ool to assist tutors with discussion forums assessment. Proc. 30th ACM/SIGAPP Symposium On Applied Computing - SAC’15, Salamanca, Spain (April 13-17, 2015). doi: 10.1145/2695664.2695950

Extended Abstracts & Posters

302. Vidal, V.M.P., Casanova, M.A., Pequeno, V.M., Arruda, N.M., Cardoso, D.S., Monteiro, J.M.: RUBYA: a Tool for Generating Rules for Incremental Maintenance of RDF Views. Poster and Demo Track of the 12th Extended Semantic Web Conference, Portoroz, Slovenia (May 31-June 4, 2015).

2014

Journal Articles

301. Barbosa, S.D.J., da Silva, F.A.G., Furtado, A.L., Casanova, M.A.: Plot Generation with Character-Based Decisions. Computers in Entertainment 12(3):1-21 (2014 – published in 2015). doi: 10.1145/2702109.2633407 [BibTex]

300.  Piccinini, H., Casanova, M.A., Leme, L.A.P.P., Furtado, A.L.: Publishing Deep Web Geographic Data. Geoinformatica, Vol. 18, pp. 1-24 (2014). doi: 10.1007/s10707-013-0201-3

Conference Papers

299. da Silva, T.L.C., Macedo, J.A.F., Casanova, M.A., Discovering frequent mobility patterns on moving object data. Proc. Third ACM SIGSPATIAL International Workshop on Mobile Geographic Information Systems, Dallas, TX, USA (Nov. 4th), ACM New York, NY, USA, pp. 60-67. doi: 10.1145/2675316.2675325

298.  Furtado, A.L., Casanova, M.A., Barbosa, S.D.J. A Semiotic Approach to Conceptual Modelling. Proc. 33th Int’l. Conf. on Conceptual Model, Atlanta, GA, USA, (Oct. 27-29, 2014), pp. 1-12. doi: 10.1007/978-3-319-12206-9_1

297.  Lopes, G.R., Leme, L.A.P.P., Nunes, B.P., Casanova, M.A., Dietze, S. Two Approaches to the Dataset Interlinking Recommendation Problem. Proc. 15th Int’l. Conf. on Web Information Systems Engineering–WISE 2014, Part I, Thessaloniki, Greece (Oct. 12-14, 2014), pp. 324-339. doi: 10.1007/978-3-319-11749-2_25

296.  Nunes, B.P., Kawase, R., Fetahu, B., Casanova, M.A., de Campos, G.H.B.  Educational Forums at a Glance: Topic Extraction and Selection. Proc. 15th Int’l. Conf. on Web Information Systems Engineering–WISE 2014, Part II, Thessaloniki, Greece (Oct. 12-14, 2014), pp. 351-364. doi: 10.1007/978-3-319-11746-1_25

295.  Casanova, M.A., Vidal, V.M.P., Lopes, G.R., Leme, L.A.P.P., Ruback, R. On Materialized sameAs Linksets. Proc. 25th International Conference on Database and Expert Systems Applications, Munich, Germany (Sept. 1-5, 2014), Part I. LNCS, Vol. 8644, Springer International Publishing, pp. 377-384. doi: 10.1007/978-3-319-10073-9_31

294.  Berardi, R., Schiessl, M., Thimm, M., Casanova, M.A. The Role of Design Rationale in the Ontology Matching Step during the Triplification of Relational Databases. Proc. 25th International Conference on Database and Expert Systems Applications, Munich, Germany (Sept. 1-5, 2014), Part I. LNCS, Vol. 8644, Springer International Publishing, pp 385-393. doi: 10.1007/978-3-319-10073-9_32

293.  Nunes, B.P., Caraballo, A.A.M., Kawase, R., Fetahu, B., Casanova, M.A., Bernardino de Campo, G.H. A Topic Extraction Process for Online Forums. Proc. 14th Int’l. Conf. on Advanced Learning Technologies (ICALT), Athens, Greece (July 7-10, 2014), pp. 541-543. doi: 10.1109/ICALT.2014.158

292.  Pequeno, V.M., Vidal, V.M.P., Casanova, M.A., Neto, L.F.T., Galhardas, H. Specifying Complex Correspondences between Relational Schemas and RDF models for generating customized R2RML mappings. Proc. 18th International Database Engineering & Applications Symposium, Porto, Portugal (July 7-9, 2014), pp. 96-104.

291.  Fetahu, B., Dietze, S., Nunes, B.P., Casanova, M.A., Taibi, D., Nejdl, W. A Scalable Approach for Efficiently Generating Structured Dataset Topic Profiles. Proc. 11th Extended Semantic Web Conference, Anissaras, Crete, Greece (May 25-29, 2014). The Semantic Web: Trends and Challenges, LNCS 8465, Springer International Publishing. pp. 519-534. doi:10.1007/978-3-319-07443-6_35

290. Gomes, R.V.A., Casanova, M.A., Lopes, G.R., Leme, L.A.P.P. A Metadata Focused Crawler for Linked Data. Proc.16th International Conference on Enterprise Information Systems, Lisbon, Portugal (April 27-30, 2014), pp. 489-500 – Best Paper in the Area of Software Agents and Internet Computing.

289. Vidal, V.M.P., Casanova, M.A., T. Neto, L.E., Monteiro, J.M. A Semi-Automatic Approach for Generating Customized R2RML Mappings. Proceedings of the 29th Annual ACM Symposium on Applied Computing, Gyeongju, Korea (March 24-28, 2014), pp. 316-322. ACM New York, NY, USA ISBN: 978-1-4503-2469-4 doi:10.1145/2554850.2554933

288. Lopes, G.R., Leme, L.A.P.P., Nunes, B.P., Casanova, M.A.: RecLAK: Analysis and Recommendation of Interlinking Datasets. Proc. 4th Int’l. Conf. on Learning Analytics and Knowledge, Indianapolis, USA (March 24-28, 2014). USA. Proc. Workshops at the LAK 2014 Conference - CEUR-WS.org, Vol. 1137.

Extended Abstracts & Posters

287.  Vidal, V.M.P., Casanova, M.A., Monteiro, Arruda, N.M., Cardoso, D.S., Pequeno, V.M.: A Framework for Incremental Maintenance of RDF Views of Relational Data. Posters & Demonstrations Track of the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy (Oct. 21, 2014). CEUR Workshop Proceedings 1272, pp. 321-324

286. Assis, P.H.R., Casanova, M.A., Distant Supervision for Relation Extraction using Ontology Class Hierarchy-Based Features. Poster and Demo Track of the 11th Extended Semantic Web Conference, Anissaras, Crete, Greece (May 25-29, 2014). V. Presutti et al. (Eds.): ESWC Satellite Events 2014, LNCS 8798, pp. 1–5, 2014. DOI: 10.1007/978-3-319-11955-7_68

285.  Caraballo, A.A.M., Arruda Jr., N.M., Nunes, B.P., Lopes, G.R., Casanova, M.A., TRTML - A Tripleset Recommendation Tool based on Supervised Learning Algorithm.  Poster and Demo Track of the 11th Extended Semantic Web Conference, Anissaras, Crete, Greece (May 25-29, 2014). V. Presutti et al. (Eds.): ESWC Satellite Events 2014, LNCS 8798, pp. 1–5, 2014. DOI: 10.1007/978-3-319-11955-7_58

284.  Nunes, B.P., Herrera, J.E.T., Taibi, D., Lopes, G.R., Casanova, M.A., Dietze, S., SCS Connector - Quantifying and Visualising Semantic Paths between Entity Pairs.  Poster and Demo Track of the 11th Extended Semantic Web Conference, Anissaras, Crete, Greece (May 25-29, 2014) – Best Demo Paper.

283.  Fetahu, B., Dietze, S., Nunes, B.P., Casanova, M.A., Taibi, D., Nejdl, W. What’s all the Data about? - Creating structured Profiles of Linked Data on the Web. Proc. 23rd International World Wide Web Conference, Seoul, Korea (April 7-11, 2014) (Poster), Companion Volume. ACM. pp. 261-262. ISBN 978-1-4503-2745-9.

2013

Journal Articles

282.  Marx, E., Salas, P.E., Breitman, K.K., Viterbo Filho, J., Casanova, M.A.: RDB2RDF: A relational to RDF plug-in for Eclipse. Softw., Pract. Exper. 43(4): 435-447 (2013). doi: 10.1002/spe.2145

Conference Papers

281.  Carmo, R.R.M., Soares, L.F.G., Casanova, M.A.: Nested Event Model for Multimedia Narratives. Proc. IEEE International Symposium on Multimedia (ISM 2013), Anaheim, CA, USA (Dec. 9-11, 2013), pp. 106 – 113. doi:10.1109/ISM.2013.26

280.  Lopes, G,R., Leme, L.A.P.P., Nunes, B.P., Casanova, M.A., Dietze, S.: Recommending Tripleset Interlinking through a Social Network Approach. Proc. 14th International Conference on Web Information System Engineering (Oct. 13-15, 2013), Nanjing, China. Web Information Systems Engineering – WISE 2013. Lecture Notes in Computer Science, Vol. 8180, 2013, pp. 149-161. DOI: 10.1007/978-3-642-41230-1_13

279.  Nunes, B.P., Kawase, R., Pedrosa, S., Alrifai, M., Marenzi, I., Dietze, S., Casanova, M.A.: Answering Confucius: the reason why we complicate. Proc. 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus (September 17-21, 2013). Lecture Notes in Computer Science, Vol. 8095, Springer-Verlag Berlin Heidelberg, ISSN 0302-9743, pp 496-501, DOI:10.1007/978-3-642-40814-4_45

278.  Vidal, V.M.P., Casanova, M.A., Cardoso, D.S.: Incremental Maintenance of RDF Views of Relational Data. Proc. The 12th International Conference on Ontologies, DataBases, and Applications of Semantics (Sept. 9–13, 2013), Graz, Austria. On the Move to Meaningful Internet Systems: OTM 2013 Conferences. Lecture Notes in Computer Science, Vol. 8185, 2013, pp 572-587. DOI: 10.1007/978-3-642-41030-7_42

277.  Nunes, B.P., Kawase, R.b, Fetahub, B., Dietze, S., Casanova, M.A.: Interlinking documents based on semantic graphs. Proc. 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems - KES2013, Kitakyushu, Japan (Sept. 9-12, 2013). Procedia Computer Science, Vol. 22, 2013, pp. 231–240. http://dx.doi.org/10.1016/j.procs.2013.09.099
(Also in: Knowledge-Based Information Systems in Practice. Vol.0 of the series Smart Innovation, Systems and Technologies, pp 139-155. http://dx.doi.org/10.1007/978-3-319-13545-8_9)

276.  Nunes, B.P., Mera, A., Casanova, M.A., Fetahu, B., Leme, L.A.P.P., Dietze, S.: Complex Matching of RDF Datatype Properties. Proc. 24th International Conference on Database and Expert Systems Applications (Aug. 26–29, 2013), Prague, Czech Republic. Database and Expert Systems Applications. Lecture Notes in Computer Science, Vol. 8055, 2013, pp 195-208. DOI: 10.1007/978-3-642-40285-2_18

275.  Berardi, R., Breitman, K.K., Casanova, M.A., Lopes, G.R., Medeiros, A.P.: StdTrip+K: Design Rationale in the RDB-to-RDF process. Proc. 24th International Conference on Database and Expert Systems Applications (Aug. 26–29, 2013), Prague, Czech Republic. Database and Expert Systems Applications. Lecture Notes in Computer Science, Vol. 8055, 2013, pp. 303-310. DOI: 10.1007/978-3-642-40285-2_26

274.  Nunes, B. P., Kawase, R., Siehndel, P., Casanova, M.A., Dietze, S.: As Simple As It Gets - A sentence simplifier for different learning levels and contexts. Proc. 13th IEEE International Conference on Advanced Learning Technologies, Beijing, China (July 15-18, 2013).

273.  Leme, L.A.P.P., Lopes, G.R., Nunes, B.P., Casanova, M.A., Dietze, S.: Identifying candidate datasets for data interlinking. Proc. 13th International Conference on Web Engineering, Aalborg, Denmark (July 8-12, 2013), pp. 354-366.

272.  Casanova, M.A., Pinheiro, A.M., Macedo, J.A.F., Sacramento, E., Vidal, V.M.P.: Ontologies as Theories. Proc. 15th International Conference on Enterprise Information Systems, Angers, France (July 4-7, 2013), pp. 317-322.

271.  Magalhães, R., Monteiro, J.M., Porto, F., Vidal, V.M.P., Macedo, J.A.F., Casanova, M.A., Maia, M. QEF-LD: A Query Engine for Distributed Query Processing on Linked Data. Proc. 15th International Conference on Enterprise Information Systems, Angers, France (July 4-7, 2013), pp. 185-192.

270.  Barbosa, I., Casanova, M.A., Renso, C., Macedo, J.A.F.: Average Speed Estimation For Road Networks Based On GPS Raw Trajectories. Proc. 15th International Conference on Enterprise Information Systems, Angers, France (July 4-7, 2013), pp. 490-497.

269.  Albuquerque, F.C., Casanova, M.A., Carvalho, M.T.M., Macedo, J.A.F., Renso, C.: A Proactive Application to Monitor Truck Fleets. Proc. 14th International Conference on Mobile Data Management – MDM 2013, Milan, Italy (June 3-6, 2013), pp. 301-304. doi: 10.1109/MDM.2013.44

268.  Nunes, B.P., Dietze, S., Casanova, M.A., Kawase, R., Fetahu, B., Nejdl, W.: Combining a co-occurrence-based and a semantic measure for Entity Linking. Proc. 10th Extended Semantic Web Conference, Montpellier, France (May 26–30, 2013), pp 548-562. doi: 10.1007/978-3-642-38288-8_37

267.  Kawase, R., Nunes, B.P., Herder, E., Nejdl, W., Casanova, M.A.: Who Wants To Get Fired? Proc. ACM Web Science 2013, Paris, France (May 2-4, 2013). doi: 10.1145/2464464.2464476

266.  Nunes, B.P., Fetahu, B., Casanova, M.A.: Cite4Me: Semantic Retrieval and Analysis of Scientific Publications. Proc. LAK Data Challenge, held at LAK 2013, the Third Conference on Learning Analytics and Knowledge, Leuven, Belgium (April 9, 2013). http://ceur-ws.org/Vol-974/

Extended Abstracts

265.  Mera Caraballo, A.A., Nunes, B.P., Lopes, G.R., Leme, L.A.P.P., Casanova, M.A., Dietze, S.: TRT - A Tripleset Recommendation Tool. 12th International Semantic Web Conference (Posters and Demos Track), 21-25 October 2013, Sydney, Australia. CEUR-WS Volume 1035 (http://ceur-ws.org/Vol-1035/), pp. 105-108.

264.  Nunes, B.P., Fetahu, B., Dietze, S., Casanova, M.A.: Cite4Me: A Semantic Search and Retrieval Web Application for Scientific Publications. 12th International Semantic Web Conference (Demos Track), 21-25 October 2013, Sydney, Australia. CEUR-WS Volume 1035 (http://ceur-ws.org/Vol-1035/), pp.25-28.

263.  Fetahu, B., Dietze, S., Nunes, B.P., Taibi, D., Casanova, M.A.: Generating structured Profiles of Linked Datasets. 12th International Semantic Web Conference (Posters and Demos Track), 21-25 October 2013, Sydney, Australia. CEUR-WS Volume 1035 (http://ceur-ws.org/Vol-1035/), pp. 113-116.

262.  Neto, L.E.T., Vidal, V.M.P.,Casanova, M.A., Monteiro, J.M.: R2RML by Assertion: A Semi-Automatic Tool for Generating Customised R2RML Mappings. Proc. 2013 Extended Semantic Web Conference - Satellite Events (Demo), Montpellier, France (May 26–30, 2013). Lecture Notes in Computer Science, Vol. 7955, pp. 248-252. DOI: 10.1007/978-3-642-41242-4_33

261.  Ruback, L., Pesce, M., Manso, S., Ortiga, S., Salas, P.R., Casanova, M.A.: A mediator for statistical linked data. Proc. 28th Symposium On Applied Computing, Coimbra, Portugal (March 18 - 22, 2013): 339-341. doi:10.1145/2480362.2480432

260.  Casanova, M.A., Sacramento, E., Macedo, J.A.F., Pinheiro, A.M., Vidal, V.M.P., Breitman, K.K., Furtado, A.L.: Preliminary Report on an Algebra of Lightweight Ontologies. Dagstuhl Reports – Seminar 13211 “Automated Reasoning on Conceptual Schemas”, Diego Calvanese, Sven Hartmann, Ernest Teniente (eds.), (May 19–24, 2013), Schloss Dagstuhl, Wadern, Germany.

2012

Journal Articles

259.  Salas, P.E.R., Martin, M., Mota, F.M., Auer, S., Breitman, K.K., Casanova, M.A.: Publishing Statistical Data on the Web. International Journal of Semantic Computing. Vol. 6, Issue 4, 2012, p. 1-16. DOI:10.1142/S1793351X12400119

258.  Breitman, K.K., Viterbo Filho, J., Salas, P.E., Pires, R., Saraiva, D., Gama, V.,  Casanova, M.A., Chaves, M., Franzosi, E.: Open Government Data in Brazil. IEEE Intelligent Systems 27(3): 45-49 (2012). doi:10.1109/MIS.2012.25 [BibTex]

257.  Casanova, M.A., Simone D.J. Barbosa, Breitman, K.K., Furtado, A.L.: Three Decades of Research on Database Design at PUC-Rio. Journal of Information and Data Management 3(1) (2012). [BibTex]

Conference Papers

256.  Nunes, B.P., Kawase, R., Dietze, S., Taibi, D., Casanova, M.A., Nejdl, W.: Can Entities be Friends?. Proc. Web of Linked Entities Workshop, in conjuction with the 11th International Semantic Web Conference (ISWC 2012). Boston, USA (Nov. 11, 2012), pp. 45-57.

255.  Albuquerque, F., Barbosa, I., Casanova, M.A., Carvalho, M.T.M.: Georeferencing Facts in Road Networks, Proc. XIII Brazilian Symposium on GeoInformatics, Campos do Jordão, São Paulo, Brazil (November 25-27, 2012), pp. 120-127. ISSN 2179-4847.

254.  Salas, P.R., Martin, M., Mota, F.M., Auer, S., Breitman, K.K., Casanova, M.A.: Publishing Statistical Data on the Web. Proc. 6th IEEE International Conference on Semantic Computing - IEEE ICSC 2012, Palermo, Italy (Sept. 19-21, 2012), pp.285-292. DOI: 10.1109/ICSC.2012.16

253.  Casanova, M.A., Macedo, J.A.F., Sacramento, E., Pinheiro, A., Vidal, V.M.P., Breitman, K.K., Furtado, A.L.: Operations over Lightweight Ontologies. Proc. 11th International Conference on Ontologies, DataBases, and Applications of Semantics - ODBASE 2012 (Sept. 11-12, 2012), Rome. LNCS 7566, pp. 646–663. DOI: 10.1007/978-3-642-33615-7_14

252.  Nunes, B.P., Mera, A., Casanova, M.A., Kawase, R.: Automatically generating multilingual, semantically enhanced, descriptions of digital audio and video objects on the Web. Proc. 16th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems – KES 2012 (10-12 Sept. 2012), San Sebastian, Spain. 575–584. DOI: 10.3233/978-1-61499-105-2-575

251.  Nunes, B.P., Mera, A., Casanova, M.A., Kawase, R. Boosting retrieval of digital spoken content. Proc. 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications - KES 2012, San Sebastian, Spain (Sept. 10-12, 2012). Lecture Notes in Computer Science, Vol. 7828, pp 153-162 DOI: 10.1007/978-3-642-37343-5_16

250.  Sacramento, E., Casanova, M.A., Breitman, K.K., Furtado, A.L., Macedo, J.A.F., Vidal, V.M.P.: Dealing with inconsistencies in linked data mashups. 16th International Database Engineering & Applications Symposium, IDEAS '12, Prague, Czech Republic (Aug. 8-10, 2012), pp. 175-180 [BibTex]
DOI: 10.1145/2351476.2351496

249.  Brilhante, I., Berlingerio, M., Trasarti, R., Macedo, J.A.F., Renso, C., Casanova, M.A.: ComeTogether: discovering communities of places in mobility data. Proc. of the 13th International Conference on Mobile Data Management - MDM 2012. Bangalore, India (Jul 23, 2012 - Jul 26, 2012).
DOI: 10.1109/MDM.2012.17

248.  Casanova, M.A., Breitman, K.K., Furtado, A.L., Vidal, V.M.P., Macedo, J.A.F., Sacramento, E.R.: Constraint Reuse in DL-Lite Core with Arbitrary Number Restrictions. Proc. 6th Alberto Mendelzon International Workshop on Foundations of Data Management, Ouro Preto, Brazil (June 27-30, 2012). CEUR Workshop Proceedings 866, CEUR-WS.org 2012, pp. 2-11 [BibTex]

247.  Pesce, M., Breitman, K.K., Casanova, M.A.: Surfacing Scientific and Financial Data with the Xcel2RDF Plug-in. Proc. 2nd Workshop on Developing Tools as Plug-ins - TOPI 2012, Zurich, Switzerland (3 June 2012). 73-80. DOI:10.1109/TOPI.2012.6229814

246.  Salas, P.R., Martin, M., Mota, F.M., Auer, S., Breitman, K.K., Casanova, M.A.: OLAP2DataCube: An Ontowiki Plugin for Statistical Data Publishing. Proc. 2nd Workshop on Developing Tools as Plug-ins - TOPI 2012, Zurich, Switzerland (3 June 2012). 79- 83. doi:10.1109/TOPI.2012.6229815

Extended Abstracts

245.  Albuquerque, F.C., Barbosa, I., Casanova, M.A., Carvalho, M.T.M., Macedo, J.A.F.: Proactive Monitoring of Moving Objects. Proc. 14th International Conference on Enterprise Information Systems - ICEIS 2012, Wroclaw, Poland (June 28 – July 1, 2012) (Poster presentation), pp. 191-194 [BibTex]

2011

Journal Articles

244.  Vidal, V.M.P., Macedo, J.A.F., Pinheiro, J.C., Casanova, M.A., Porto, F.: Query Processing in a Mediator Based Framework for Linked Data Integration. International Journal of Business Data Communications and Networking 7(2): 29-47 (2011) doi:10.4018/jbdcn.2011040103 [BibTex]

243.  Leal, B.C., Macedo, J.A.F., Times, V.C., Casanova, M.A., Vidal, V.M.P., Carvalho, M.T.M.: From Conceptual Modeling to Logical Representation of Trajectories in DBMS-OR and DW SystemsJIDM 2(3): 463-478 (2011) [BibTex]

242.  Figueiredo, H.F., Lacerda, Y.A., Paiva, A.C., Casanova, M.A., Baptista, C.S.: PhotoGeo: a photo digital library with spatial-temporal support and self-annotation. Multimedia Tools Appl. 59(1): 279-305 (2012) (2011 Online): 1-27. DOI:10.1007/s11042-011-0745-x  [BibTex]

Book Chapters

241.  Casanova, M.A., Breitman, K.K., Furtado, A.L., Vidal, V.M.P., Macedo, J.A.F.: On the Problem of Matching Database Schemas . In: Hinchey, M.G., Lorcan Coyle. (Org.). Conquering Complexity. 1 ed. Heidelberg: Springer, 2011, v. 1: 431-461. http://dx.doi.org/10.1007/978-1-4471-2297-5_17

240.  Salas, P.E., Viterbo, J., Breitman, K.K., Casanova, M.A.: StdTrip: Promoting the Reuse of Standard Vocabularies in Open Government Data. In: David Wood (Org.). Linking Government Data. Heidelberg: Springer, 2011, v. 1: 113-133. DOI:10.1007/978-1-4614-1767-5_6

Conference Papers

239.  Bakshev, S., Spinsanti, L., Macedo, J.A.F., Vidal, C., Casanova, M.A.: Trajectory Semantic Visualization. Proc. 13 International Conference on Enterprise Information Systems, Beijing, China (June 8-11, 2011), pp. 326-332 [BibTex]

238.  Brilhante, I., Macedo, J.A.F., Renso, C., Casanova, M.A.: Trajectory data analysis using complex networks. Proc. 15th International Database Engineering and Applications Symposium - IDEAS 2011 (Sept. 21-27, 2011), Lisbon, Portugal, pp. 17-25. DOI:10.1145/2076623.2076627 [BibTex]

237.  Casanova, M.A., Breitman, K.K., Furtado, A.L., Vidal, V.M.P., Macedo, J.A.F., Gomes, R.V.A., Salas, P.R.: The Role of Constraints in Linked Data. Proc. 10th International Conference on Ontologies, DataBases, and Applications of Semantics - ODBASE 2011, Hersonissos, Crete, Greece (Oct. 17-21, 2011), Lecture Notes in Computer Science 7045, Springer, ISBN 978-3-642-25105-4, pp. 781-799. DOI: 10.1007/978-3-642-25106-1_26 [BibTex]

236.  Barbosa, I., Casanova, M.A.: Trust Indicator for Decisions Based On Geospatial Data. Anais do XII Simpósio Brasileiro de Geoinformática (GeoInfo), Campos do Jordão, SP, Brasil (Nov. 27-29, 2011), pp. 49-60.

235.  Masiero, L., Casanova, M.A., Carvalho, M.T.M.: Travel Time Prediction using Machine Learning. Proc. 4th ACM SIGSPATIAL International Workshop on Computational Transportation Science (IWCTS), in conjunction with ACM SIGSPATIAL GIS 2011, Chicago, USA (Nov. 01-04, 2011), pp. 34-38. DOI: 10.1145/2068984.2068991

Extended Abstracts

234.  Nunes, B.P., Mera, A., Casanova, M.A., Breitman, K.K., Leme, L.A.P.P.: Complex Matching of RDF Datatype Properties. Proc. 6th International Workshop on Ontology Matching, Bonn, Germany (Oct. 24, 2011). CEUR Workshop Proceedings 814, CEUR-WS.org 2011 (Poster presentation) [BibTex]

2010

Journal Articles

233.  Casanova, M.A., Lauschner, T., Leme, L.A.P.P., Breitman, K.K., Furtado, A.L., Vidal, V.M.P.: Revising the constraints of lightweight mediated schemas Data Knowl. Eng. 69(12): 1274-1301 (2010) doi:10.1016/j.datak.2010.10.005 [BibTex]

232.  Leme, L.A.P.P., Casanova, M.A., Breitman, K.K., Furtado, A.L.: OWL schema matchingJ. Braz. Comp. Soc. 16(1): 21-34 (2010) doi:10.1007/s13173-010-0005-3 [BibTex]

231.  Ciarlini, A.E.M., Casanova, M.A., Furtado, A.L., Veloso, P.A.S.: Modeling interactive storytelling genres as application domainsJ. Intell. Inf. Syst. 35(3): 347-381 (2010) doi:10.1007/s10844-009-0108-5 [BibTex]

230.  Sacramento, E.R., Vidal, V.M.P., Macedo, J.A.F., Lóscio, B.F., Lopes, F.L.R., Casanova, M.A.: Towards Automatic Generation of Application Ontologies. Journal of Information and Data Management 1(3): 535-550 (2010) [BibTex]

Conference Papers

229.  Casanova, M.A., Lauschner, T., Leme, L.A.P.P., Breitman, K.K., Furtado, A.L., Vidal, V.M.P.: Modeling the Mediated Schema Constraints. Proc. 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems - ECBS 2010, Oxford, England, UK (Mar. 22-26, 2010), pp. 393-402. DOI: 10.1109/ECBS.2010.52 [BibTex]

228.  Piccinini, H., Lemos, M., Casanova, M.A., Furtado, A.L.: W-Ray: A Strategy to Publish Deep Web Geographic Data. Proc. 4th International Workshop on Semantic and Conceptual Issues in GIS - SeCoGIS 2010, Vancouver, BC, Canada (Nov. 1-4, 2010). Lecture Notes in Computer Science 6413, pp. 2-11.
DOI: 10.1007/978-3-642-16385-2_2 [BibTex]

227.  Metello, M.G., David, E., Carvalho, M.T.M., Casanova, M.A.: Integrating Business Processes into GIS-Based Simulations. Proc. XI Brazilian Symposium on Geoinformatics, Campos do Jordão, São Paulo, Brazil (Nov. 28 to Dec. 01, 2010), pp. 87-97 [BibTex]

226.  Salas, P.R., Breitman, K.K., Viterbo, J., Casanova, M.A.: Interoperability by design using the StdTrip tool: an a priori approachProc. 6th International Conference on Semantic Systems, I-SEMANTICS 2010, Graz, Austria (Sept. 1-3, 2010).
DOI: 10.1145/1839707.1839760
[BibTex]

225.  Pinheiro, J.C., Vidal, V.M.P., Macedo, J.A.F., Sacramento, E.R., Casanova, M.A., Porto, F.: Query processing in a three-level ontology-based data integration system. Proc. 12th International Conference on Information Integration and Web-based Applications and Services - iiWAS '2010, Paris, France (Nov. 8-10, 2010), pp. 283-290. DOI: 10.1145/1967486.1967532

224.  Barbosa, I., Casanova, M.A.: Dicionário de Tipos de Feições Geoespaciais para o Território Brasileiro. Anais do XI Simpósio Brasileiro de Geoinformática (GeoInfo), Campos do Jordão, SP, Brasil (Nov. 28-30, 2010), pp. 170-175.

223.  Barbosa, S.D.J., Furtado, A.L., Casanova, M.A. A Decision-Making Process for Digital Storytelling. Proc. 2010 Brazilian Symposium on Games and Digital Entertainment - SBGAMES 2010, Florianopolis, SC, Brazil (Nov. 8-10, 2010), pp. 1-11. DOI: 10.1109/SBGAMES.2010.16

Extended Abstracts

222.  Sacramento, E.R., Vidal, V.M.P., Macedo, J.A.F., Lóscio, B.F., Lopes, F.L.R., Lemos, F.C., Casanova, M.A.: Towards Automatic Generation of Application Ontologies. Proc. 12th International Conference on Enterprise Information Systems - ICEIS 2010, Funchal, Madeira, Portugal (June 8-12, 2010), pp. 403-406 [BibTex]

221.  Salas, P.E., Breitman, K.K., Casanova, M.A., Viterbo, J.: StdTrip: An a Priori Design Approach and Process for Publishing Open Government Data. Anais do XXV Simpósio Brasileiro de Banco de Dados (SBBD), Belo Horizonte, MG, Brasil (Oct. 5-8, 2010).

2009

Journal Articles

220.  Gomes, R.V., Leme, L.A.P.P., Casanova, M.A.: MatchMaking – A Tool to Match OWL Schemas. Revista de Informática Teórica e Aplicada 16:2 (2009), pp. 71-76.

219.  Nunes, B.P., Casanova, M.A.: A Frame-Based System for Automatic Classification of Semi-Structured Data. Revista de Informática Teórica e Aplicada 16:2 (2009), pp. 87-92.

218.  Ciarlini, A.E.M. , Barbosa, S.D.J., Casanova, M.A., Furtado, A.L.: Event relations in plan-based plot compositionComputers in Entertainment 7(4) (Dec. 2009). doi:10.1145/1658866.1658874 [BibTex]

217.  Fook, K.D., Monteiro, A.M.V., Câmara, G., Casanova, M.A., Amaral, S.: Geoweb Services for Sharing Modelling Results in Biodiversity Networks Transactions in GIS 13(4): 379-399 (2009). doi:10.1111/j.1467-9671.2009.01170.x [BibTex]

Book Chapters

216.  Borgida, A., Casanova, M.A., Laender, A.H.F.: Logical Database Design: from Conceptual to Logical Schema. Encyclopedia of Database Systems, Ling Liu, M. Tamer Özsu (eds.). Springer US, 2009, ISBN 978-0-387-35544-3, pp. 1645-1649. doi: 10.1007/978-0-387-39940-9_645 [BibTex]

215.  Metello, M.G., Casanova, M.A.: Training Games and GIS. In: Research Trends in Geographic Information Science, edited by Gerhard Navratil. Lecture Notes in Geoinformation and Cartography, Springer, Berlin, ISBN 978-3-540-88243-5 (13 June 2009), pp. 251-264. doi: 10.1007/978-3-540-88244-2_17.

Conference Papers

214.  Casanova, M.A., Lauschner, T., Leme, L.A.P.P., Breitman, K.K., Furtado, A.L., Vidal, V.M.P.: A Strategy to Revise the Constraints of the Mediated Schema. Proc. 28th International Conference on Conceptual Modeling, Gramado, Brazil (Nov. 9-12, 2009). Lecture Notes in Computer Science 5829, Springer, ISBN 978-3-642-04839-5, pp. 265-279. doi:10.1007/978-3-642-04840-1_21 [BibTex]

213.  Furtado, A.L., Casanova, M.A., Breitman, K.K., Barbosa, S.D.J.: A Frame Manipulation Algebra for ER Logical Stage Modelling. Proc. 28th International Conference on Conceptual Modeling, Gramado, Brazil (Nov. 9-12, 2009). Lecture Notes in Computer Science 5829, Springer, ISBN 978-3-642-04839-5, pp. 9-24. doi: 10.1007/978-3-642-04840-1_2 [BibTex]

212.  Vidal, V.M.P., Sacramento, E.R., Macedo, J.A.F., Casanova, M.A.: An Ontology-Based Framework for Geographic Data Integration3rd International Workshop on Semantic and Conceptual Issues in Geographic Information Systems - SECOGIS 2009, in conjunction with ER 2009, Gramado, Brazil (Nov. 9-12, 2009). Lecture Notes in Computer Science 5833, Springer, ISBN 978-3-642-04946-0, pp. 337-346. doi: 10.1007/978-3-642-04947-7_40 [BibTex]

211.  Karlsson, B. Barbosa, S.D.J., Furtado, A.L., Casanova, M.A.: A Plot-Manipulation Algebra to Support Digital StorytellingProc. 8th International Conference on Entertainment Computing - ICEC 2009, Paris, France (Sept. 3-6, 2009), pp. 132-144. doi: 10.1007/978-3-642-04052-8_12 [BibTex]

210.  Leme, L.A.P.P., Casanova, M.A., Breitman, K.K., Furtado, A.L.: Instance-Based OWL Schema Matching. Proc. 11th International Conference on Enterprise Information Systems - ICEIS 2009, Milan, Italy (May 6-10, 2009), Lecture Notes in Business Information Processing, vol. 24, ISBN 978-3-642-01346-1, pp 14-26. doi: 10.1007/978-3-642-01347-8_2 [BibTex]

209.  Lauschner, T., Casanova, M.A., Vidal, V.M.P., Macedo, J.A.F.: Efficient Decision Procedures for Query Containment and Related Problems. Proc. XXIV Simpósio Brasileiro de Banco de Dados, Fortaleza, Ceará, Brasil (Oct. 05-09, 2009), pp. 1-15 [BibTex]

Extended Abstracts

208.  Maculan, N., Souza e Silva, E., Xexeo, G., Medeiros, C.M.B., Barbosa, S.D.J., Breitman, K.K., Casanova, M.A., Lucena, C.J.P.: Brazilian Institute for Web Science Research. Proc. Web Science Conference 2009 - Society On-Line!, Athens, Greece, 2009.

2008

Journal Articles

207.  Leme, L.A.P.P., Brauner, D.F., Breitman, K.K., Casanova, M.A., Gazola, A.: Matching object cataloguesISSE 4(4): 315-328 (2008) doi:10.1007/s11334-008-0070-3 [BibTex]

206.  Lemos, M., Casanova, M.A., Furtado, A.L.: Process pipeline schedulingJournal of Systems and Software 81(3): 307-327 (2008) doi:10.1016/j.jss.2007.06.018 [BibTex]

205.  Furtado, A.L., Breitman, K.K., Casanova, M.A., Barbosa, S.D.J.: Applying Analogy to Schema Generation. iSYS - Revista Brasileira de Sistemas de Informação 1(1) (2008).

Book Chapters

204.  Câmara, G., Vinhas, L., Ferreira, K.R., Souza, R.C., Monteiro, A.M.V., Carvalho, M.T.M., Casanova, M.A., Freitas, U.: TerraLib: An Open Source GIS Library for Large-scale Environmental and Socio-economic Applications. In: Open Source Approaches for Spatial Data Handling, edited by Hall, G. B.. Berlin: Springer. (2007), pp. 247-270. doi:10.1007/978-3-540-74831-1_1

Conference Papers

203.  Furtado, A.L., Casanova, M.A., Barbosa, S.D.J., Breitman, K.K.: Analysis and Reuse of Plots Using Similarity and Analogy. Proc. 27th International Conference on Conceptual Modeling, Barcelona, Spain (Oct. 20-24, 2008). Lecture Notes in Computer Science 5231, Springer, ISBN 978-3-540-87876-6, pp. 355-368.
doi: 10.1007/978-3-540-87877-3_26 [BibTex]

202.  Metello, M.G., Casanova, M.A., Carvalho, M.T.M.: Using Serious Game Techniques to Simulate Emergency Situations. X Brazilian Symposium on Geoinformatics, Rio de Janeiro, Rio de Janeiro, Brazil (8-10 December, 2008), pp.  121-182. [BibTex]

201.  Fook, K.D., Amaral, S., Monteiro, A.M.V., Câmara, G., Casanova, M.A.: Sharing Executable Models Through an Open Architecture Based on Geospatial Web Services: a Case Study in Biodiversity Modelling. Proc. X Brazilian Symposium on Geoinformatics, Rio de Janeiro, Rio de Janeiro, Brazil (8-10 December, 2008), pp. 37-50. [BibTex]

200.  Brauner, D.F., Gazola, A., Casanova, M.A., Breitman, K.K.: Adaptative Matching of Database Web Services Export Schemas. Proc. 10th International Conference on Enterprise Information Systems, Volume DISI, Barcelona, Spain (June 12-16, 2008), pp. 49-56. [BibTex]

199.  Vidal, V.M.P., Lemos, F.C., Araujo, V.S.,  Casanova, M.A.: A Mapping-Driven Approach for SQL/XML View Maintenance. Proc. 10th International Conference on Enterprise Information Systems, Volume DISI, Barcelona, Spain (June 12-16, 2008), pp. 65-73. [BibTex]

198.  Casanova, M.A., Barbosa, S.D.J., Breitman, K.K., Furtado, A.L.: Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy. Proc. 10th International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain (June 12-16, 2008), pp. 43-48. [BibTex]

197.  Leme, L.A.P.P., Casanova, M.A., Breitman, K.K., Furtado, A.L.: Database Mediation using Multi-Agent Systems. Proc. 32nd Annual IEEE Software Engineering Workshop (SEW), Kassandra, Greece. IEEE Computer Society Washington, DC, USA: 125-133. doi: 10.1109/SEW.2008.16

196.  Ciarlini, A.E.M., Barbosa, S.D.J., Casanova, M.A., Furtado, A.L.: Event Relations. Plan-Based Plot Composition. Anais do VII Simpósio Brasileiro de Jogos e Entretenimento Digital - SBGames, Belo Horizonte, MG, Brasil (Nov. 10-12, 2008). ISBN: 85-766-9217-1, pp. 31-40.

195.  Breitman, K.K., Brauner, D.F., Casanova, M.A., Milidiu, R.L, Gazola, A., Perazolo, M.: Instance-Based Ontology Mapping. Proc. 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe), Belfast, Northern Ireland (Mar. 31 – Apr. 4, 2008), ISBN 0-7695-3140-7, pp. 67-74.
doi: 10.1109/EASe.2008.18

194.  Metello, M.G., Casanova, M.A.: Serious Games and GIS. Proc. Colloquium to celebrate Andrew Frank’ 60th birthday, Vienna. GeoInfo Series 39, Vienna: University of Vienna, pp. 67-73.

Extended Abstracts

193.  Masiero, L., Casanova, M.A., Carvalho, M.T.M.: Detecção Automática de Rotas de Ônibus. Proc. X Brazilian Symposium on Geoinformatics, Rio de Janeiro, Rio de Janeiro, Brazil (8-10 December, 2008), pp. 8-10.

Proceedings

192.  Carvalho, M.T.M., Casanova, M.A., Marcelo Gattass, Lúbia Vinhas: Anais do X Simpósio Brasileiro de Geoinformática, 8-10 Dezembro, Rio de Janeiro, RJ, Brasil. INPE 2008 [BibTex]

2007

 

Book

191.  Breitman, K.K., Casanova, M.A., Truszkowski, W.: Semantic Web: Concepts, Technologies and Applications. vols 1, p. 337. Springer-Verlag London. ISBN 978-1-84628-581-3. doi: 10.1007/978-1-84628-710-7

Journal Articles

190.  Casanova, M.A., Breitman, K.K., Brauner, D.F., Marins, A.L.A.: Database Conceptual Schema MatchingIEEE Computer 40(10): 102-104 (2007). doi:10.1109/mc.2007.342 [BibTex]

189.  Fernandes, A., Ciarlini, A.E.M., Furtado, A.L., Hinchey, M.G., Casanova, M.A., Breitman, K.K.: Adding flexibility to workflows through incremental planningISSE 3(4): 291-302 (2007). doi:10.1007/s11334-007-0035-y  [BibTex]

Conference Papers

188.  Brauner, D.F., Intrator, C., Freitas, J.C., Casanova, M.A.: An Instance-based Approach for Matching Export Schemas of Geographical Database Web Services. Proc. IX Brazilian Symposium on Geoinformatics, Campos do Jordão, São Paulo, Brazil (Nov. 25-28, 2007), pp. 109-120 [BibTex]

187.  Dantas, V., Metello, M.G., Lemos, M., Casanova, M.A.: Coverage Representation in TerraLib Proc. IX Brazilian Symposium on Geoinformatics, Campos do Jordão, São Paulo, Brazil (Nov. 25-28, 2007), pp. 245-250 [BibTex]

186.  Breitman, K.K., Barbosa, S.D.J., Casanova, M.A., Furtado, A.L., Hinchey, M.G.: Using Analogy to Promote Conceptual Modeling Reuse. Proc. Workshop On Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2007, Poitiers-Futuroscope, France (Dec. 12-14, 2007), pp. 111-122 [BibTex]

185.  Rocha, R.C.A., Casanova, M.A., Endler, M.: Promoting Efficiency and Separation of Concerns through a Hybrid Model Based on Ontologies for Context-Aware Computing. Proc. 5th Annual IEEE International Conference on Pervasive Computing and Communications - Workshops - PerCom Workshops 2007, White Plains, New York, USA (Mar. 19-23). IEEE Computer Society 2007, ISBN 978-0-7695-2788-8, pp. 9-13. doi: 10.1109/PERCOMW.2007.97 [BibTex]

184.  Barbosa, S.D.J., Breitman, K.K., Furtado, A.L., Casanova, M.A.: Similarity and Analogy over Application Domains. Proc. XXII Brazilian Symposium on Databases - SBBD 2007, João Pessoa, PB, Brazil (Oct. 14-19, 2007), pp.  238-252 [BibTex]

183.  Leme, L.A.P.P., Brauner, D.F., Casanova, M.A., Breitman, K.K.: A Software Architecture for Automated Geographic Metadata Annotation Generation. Brazilian e-Science WorkShop, in conjunction with the XXII Brazilian Symposium on Databases - SBBD 2007, João Pessoa, PB, Brazil (Oct. 14-19, 2007), pp. 51-60.

182.  Marins, A., Casanova, M.A., Furtado, A.L., Breitman, K.K.: Modeling Provenance for Semantic Desktop Applications. Anais do XXXIV Seminário Integrado de Software e Hardware - SEMISH, Rio de Janeiro, Brasil (Jun. 30 – Jul. 6, 2007), pp. 2100-2112.

181.  Casanova, M.A., Lemos, M.: Workflow Parallelization by Data Partition and Pipelining. Proc. 3rd VLDB Workshop on Data Management in Grids, Vienna, Austria (Sept. 23, 2007).

Extended Abstracts

180.  Casanova, M.A.: Schema Matching Revisited. Proc. XXII Brazilian Symposium on Databases - SBBD 2007 (invited abstract), João Pessoa, PB, Brazil (Oct. 14-19, 2007), pp. 380 [BibTex]

179.  Breitman, K.K., Barbosa, S.D.J., Casanova, M.A., Furtado, A.L.: Conceptual modeling by analogy and metaphor. Proc. 6th ACM Conference on Information and Knowledge Management - CIKM 2007, Lisbon, Portugal (Nov. 6-10, 2007). ACM 2007, ISBN 978-1-59593-803-9, pp. 865-868. doi: 10.1145/1321440.1321562 [BibTex]

178.  Gazola, A., Brauner, D.F., Casanova, M.A.: A Mediator for Heterogeneous Gazetteers. Proc. XXII Brazilian Symposium on Databases - SBBD 2007 - Poster Session, João Pessoa, PB, Brazil (Oct. 14-19, 2007), pp. 11-14.

2006

Conference Papers

177.  Brauner, D.F., Casanova, M.A., Milidiú, R.L.: Towards Gazetteer Integration Through an Instance-based Thesauri Mapping Approach. Proc. VIII Brazilian Symposium on Geoinformatics, 19-22 November, Campos do Jordão, São Paulo, Brazil (Nov. 19-22, 2006), pp. 189-198. doi: 10.1007/978-3-540-73414-7_15 [BibTex]

176.  Brauner, D.F., Casanova, M.A., Breitman, K.K., Leme, L.A.P.P.: Using Gazetteers to Annotate Geographic Catalog EntriesProc. 8th International Conference on Enterprise Information Systems: Databases and Information Systems Integration - ICEIS 2006, Paphos, Cyprus (May 23-27, 2006), pp. 215-220 [BibTex]

175.  Vieira, T.A.S.C., Casanova, M.A.: Transactional Behavior of a Workflow Instance. Proc. 2006 International Conference on Ontologies, Databases and Applications of Semantics - ODBASE 2006, Montpellier, France (Oct. 29 – Nov. 3, 2006). Lecture Notes in Computer Science 4275, Springer 2006, ISBN 3-540-48287-3, pp. 756-771. doi: 10.1007/11914853_46 [BibTex]

174.  Vidal, V.M.P., Casanova, M.A., Lemos, F.C.: Automatic Generation of SQL/XML Views. Proc. XXI Brazilian Symposium on Databases - SBBD 2006, Florianópolis, Santa Catarina, Brasil (Oct. 16-20), pp. 221-235 [BibTex]

173.  Lemos, M., Casanova, M.A.: On the Complexity of Process Pipeline Scheduling. Proc. XXI Brazilian Symposium on Databases - SBBD 2006, Florianópolis, Santa Catarina, Brasil (Oct. 16-20), pp. 57-71 [BibTex]

172.  Coutinho, L., Padilha, H., Guimarães, L.C., Casanova, M.A., Barbastefano, R.: Aulativa: Digital Learning Workplans. Proc. 22nd World Conference on Open Learning and Distance Education, Rio de Janeiro, RJ, Brasil, 3-6 Setembro 2006.

Extended Abstracts

171.  Fernandes, A., Breitman, K.K., Vieira, T.A.S.C., Casanova, M.A., Furtado, A.L.: Semi-automated Workflow Synthesis. Proc. Leveraging Applications of Formal Methods, Second International Symposium - ISoLA 2006, Paphos, Cyprus (Nov. 15-19), pp. 332-334. doi: 10.1109/ISoLA.2006.32 [BibTex]

170.  Brauner, D.F., Casanova, M.A., Milidiú, R.L.: Mediation as Recommendation: An Approach to Design Mediators for Object Catalogs. Proc. 2006 International Conference on Ontologies, Databases and Applications of Semantics - ODBASE 2006, Montpellier, France (Oct. 29 – Nov. 3, 2006). Lecture Notes in Computer Science 4275, Springer 2006, ISBN 3-540-48287-3, pp. 46-47.
doi: 10.1007/11915034_22 [BibTex]

2005

Journal Articles

169.  Vieira, T.A.S.C., Casanova, M.A., Ferrão, L.G.: On the Design of Ontology-driven Workflow Flexibilization MechanismsJ. Braz. Comp. Soc. 11(2): 33-43 (2005). doi:10.1007/BF03192374 [BibTex]

168.  Coutinho, L., Casanova, M.A. Desenvolvimento de cursos baseados na Web: Uma proposta metodológica. Boletim Técnico do SENAC 31(3): 37-49 (2005).

Book

167.  Casanova, M.A., Câmara, G., DAVIS JR., C., Vinhas, L., QUEIROZ, G.R. (2005) Bancos de Dados Geográficos. vols 1, p. 506. Curitiba: Editora MundoGeo.

Proceedings

166.  Fonseca, F.T., Casanova, M.A.: Anais do VII Simpósio Brasileiro de Geoinformática, 20-23 Novembro, Campos do Jordão, São Paulo, SP, Brasil. INPE 2005, ISBN 85-17-00022-6 [BibTex]

Book Chapters

165.  Ferreira, K.R., Casanova, M.A., Queiroz, G.R., Oliveira, O.F.: Arquiteturas e linguagens. Chap. 5 of Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 181-212. Curitiba: Editora MundoGEO.

164.  Casanova, M.A.: Processamento de consultas e gerência de transações. Chap. 7 of Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 233-280. Curitiba: Editora MundoGeo.

163.  Casanova, M.A., Brauner, D.F., Câmara, G., Lima Jr., P.O.: Integração e interoperabilidade entre fontes de dados geográficos. Chap. 9 of Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 317-352. Curitiba: Editora MundoGeo.

162.  Davis Jr., C., Borges, K.A.V., Souza, L.A., Casanova, M.A., Lima Jr., P.O.: O Open Geospatial Consortium. Chap. 11 of Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 379-398. Curitiba: Editora MundoGeo.

Conference Papers

161.  Couto, L.M., Casanova, M.A., Schwabe, D.: Desenvolvimento de Sistemas de Informação Geográfica Cooperativos seguindo o Padrão Modelo-Visão-Controle. Proc. VII Brazilian Symposium on Geoinformatics, Campos do Jordão, São Paulo, Brazil (Nov. 20-23, 2005), pp. 269-280 [BibTex]

160.  Vidal, V.M.P., Araujo, V.S., Casanova, M.A.: Towards Automatic Generation of Rules for Incremental Maintenance of XML Views of Relational Data. Proc. 6th International Conference on Web Information Systems Engineering - WISE 2005, New York, NY, USA (Nov. 20-22, 2005). Lecture Notes in Computer Science 3806, Springer 2005, ISBN 3-540-30017-1, pp. 189-202.
doi: 10.1007/11581062_15 [BibTex]

Extended Abstracts

159.  Lemos, M., Casanova, M.A., Seibel, L.F.B.: BioDAMS - A Bioinformatics Data Analysis and Management System. Proc. International Workshop on Genomic Databases - IWGD, Nov. 10-11. Rio de Janeiro, RJ, Brasil, 2005.

158.  Breitman, K.K., Felicíssimo, C.H., Casanova, M.A.: CATO - A Lightweight Ontology Alignment Tool. Proc. 17th Conference on Advanced Information Systems Engineering - CAiSE '05, Porto, Portugal (Jun. 13-17, 2005) - Short Paper. CEUR Workshop Proceedings 161, CEUR-WS.org 2005 [BibTex]

157.  Breitman, K.K., Casanova, M.A.: Desenvolvimento de Ontologias para Engenharia de Software e Banco de Dados: Um tutorial Prático. Anais do XIX Simpósio Brasileiro de Engenharia de Software – SBES, Uberlândia, MG, Brasil (Oct. 3-7, 2005). Porto Alegre: SBC

2004

Conference Papers

156.  Lemos, M., Casanova, M.A., Seibel, L.F.B., Macedo, J.A.F., Miranda, A.B.: Ontology-Driven Workflow Management for Biosequence Processing Systems. Proc. 15th International Conference on Database and Expert Systems Applications - DEXA 2004, Zaragoza, Spain (Aug. 30 – Sept. 3, 2004). Lecture Notes in Computer Science 3180, Springer 2004, ISBN 3-540-22936-1, pp. 781-790. doi: 10.1007/978-3-540-30075-5_75 [BibTex]

155.  Brauner, D.F., Casanova, M.A., Lucena, C.J.P.: Geo-Object Catalogs to Enable Geographic Databases Interoperability. Proc. VI Brazilian Symposium on Geoinformatics, Campos do Jordão, São Paulo, Brazil (Nov. 22-24, 2004), pp. 235-246. [BibTex]

154.  Vieira, T.A.S.C., Casanova, M.A., Ferrão, L.G.: An Ontology-Driven Architecture for Flexible Workflow Execution. Proc. Joint Conference - 10th Brazilian Symposium on Multimedia and the Web & 2nd Latin American Web Congress - WebMedia & LA-Web 2004, Ribeirao Preto, SP, Brazil (12-15 October 2004). IEEE Computer Society 2004, ISBN 0-7695-2237-8, pp. 70-77.
doi: 10.1109/WEBMED.2004.1348150 [BibTex]

153.  Coutinho, L., Campos, G.H.B., Motta, C., Casanova, M.A.: Constructing Web-based Courses with Content Objects, Didactic Objects and Didactic Situations. Proc. International Conference on Computers in Education - ICCE, Melbourne, Australia (Nov. 30 – Dec. 3, 2004), pp. 1465-1474.

152.  Vieira, T.A.S., Casanova, M.A., Ferrão, L.G.: Implementation of Ontology-driven Workflow Flexibilization Mechanisms. Proc. Workshop on Ontologies and their Applications, São Luiz, MA, Brazil (Sept. 28, 2004), pp. 79-90.

151.  Vieira, T.A.S., Casanova, M.A. Flexible workflow execution through an ontology-based approach. Proc. of the Workshop on Ontologies as Software Engineering Artifacts, in conjunction with the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, British Columbia, Canada (October 24-28, 2004).

150.  Brauner, D.F., Casanova, M.A., Lucena, C.J.P. Flexible workflow execution through an ontology-based approach. Proc. of the Workshop on Ontologies as Software Engineering Artifacts, in conjunction with the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, British Columbia, Canada (October 24-28, 2004), pp. 24-28.

149.  Coutinho, L., Campos, G.H.B., Motta, C., Casanova, M.A.: Learning Objects: Separating Content from Didactics. Anais do XXXI Seminário Integrado de Software e Hardware - SEMISH, Salvador, BA, Brasil (2 a 5 de agosto de 2004).

148.  Coutinho, L., Campos, G.H.B., Motta, C., Casanova, M.A.: Objetos de Aprendizagem e Cursos na Web. Anais do XI Congresso Internacional de Educação a Distância, Salvador, BA, Brasil (Sept. 7-10, 2004).

147.  Oliveira, W.J., Porciano, P.P., Alvarez, B.S.V., Casanova, M.A., Carvalho, M.T.M., Montenegro, A.A., Pinto, P.C.: SAAAP - An Automated Pipeline Routing System. Proc. International Pipeline Conference - IPC 2004, Calgary, Canada (Oct. 4-8, 2004).

146.  Ferreira Filho, A.T., Cardoso, V.F., Carbone, R., Berardinelli, R.P., Carvalho, M.T.M., Casanova, M.A., Oliveira, W.J.: The Transpetro Emergency Response System. Proc. International Pipeline Conference - IPC 2004, Calgary, Canada (Oct. 4-8, 2004).

145. Gilberto Câmara, Antônio Miguel Vieira Monteiro, Ricardo Cartaxo, Modesto De Souza, Lúbia Vinhas, Karine Reis Ferreira, Juan Carlos, Pinto De Garrido, Gilberto Ribeiro De Queiroz, Marcelo Tílio, Monteiro De Carvalho, Marco Antonio Casanova, Ubirajara Moura De Freitas. TerraLib: The Architecture of an Open Source GIS Library. V Workshop on Free Software - WSL 2004, Porto Alegre, Brazil.

144.  Vieira, T.A.S., Casanova, M.A.: Semanticflow: A System for Flexible Workflow Execution. Proc. Doctoral Consortium on Enterprise Information Systems - DCEIS’04, Porto, Portugal (Apr. 13, 2004), pp. 1-8.

2003

Journal Articles

143.  Coutinho, L., Klimick, C., Casanova, M.A. Relato de uma experiência de Sistema Híbrido no Ensino Fundamental: Projeto Aulativa. Revista Brasileira de Aprendizagem Aberta e a Distância 1: 1-7.

Conference Papers

142.  Lemos, M., Seibel, L.F.B., Casanova, M.A.: BioNotes: A System for Biosequence Annotation. Proc. 1st International Workshop on Biological Data Management - BIDM, in conjunction with DEXA'03, Prague, Czech Republic (Sept. 3, 2003). IEEE Computer Society 2003, ISBN 0-7695-1993-8, pp. 16-20.
doi: 10.1109/DEXA.2003.1231991 [BibTex]

141.  Vidal, V.M.P., Casanova, M.A.: Efficient Maintenance of XML Views Using View Correspondence Assertions. Proc. 4th International Conference on e-Commerce and Web Technologies - EC-Web, Prague, Czech Republic (Sept. 2-5, 2003). Lecture Notes in Computer Science 2738, Springer, ISBN 3-540-40808-8, pp. 281-291. doi: 10.1007/978-3-540-45229-4_28 [BibTex]

140.  Dias, F.M.O., Casanova, M.A., Carvalho, M.T.M.: Workflow Execution in Disconnected Environments. Proc. XVIII Simpósio Brasileiro de Bancos de Dados, Manaus, Amazonas, Brasil (Oct. 6-8, 2003), pp. 229-239. [BibTex]

139.  Vidal, V.M.P., Casanova, M.A., Araujo, V.S.: Generating rules for incremental maintenance of XML view of relational data. Proc. 5th ACM CIKM International Workshop on Web Information and Data Management - WIDM 2003, New Orleans, Louisiana, USA (Nov. 7-8, 2003), pp. 139-146.
doi: 10.1145/956699.956730 [BibTex]

2002

Conference Papers

138.  Martins, L.C., Coelho, T.A.S., Barbosa, S.D.J., Casanova, M.A., Lucena, C.J.P.: A Framework for Filtering and Packaging Hypermedia Documents. Proc. 2nd International Conference Adaptive Hypermedia and Adaptive Web-Based Systems - AH 2002, Malaga, Spain (May 29-31, 2002). Lecture Notes in Computer Science 2347, Springer, ISBN 3-540-43737-1, pp. 274-283.
doi: 10.1007/3-540-47952-X_29 [BibTex]

137.  Casanova, M.A., Carvalho, M.T.M., Torres, F., Santos, A.: INFOPAE - an Emergency Plan Deployment System. Proc. 4th International Pipeline Conference – IPC 2002, Calgary, Alberta, Canada (Sept. 29–Oct. 3, 2002), pp. 1291-1298. doi:10.1115/IPC2002-27153.

136.  Casanova, M.A., Tucherman, L., Vieira, T.A.S., Schwabe, D.: Portfolios and Guided Tours for Digital Cultural Repositories. Proc. 6th Annual Museums and the Web Conference, Boston, USA (Apr. 18-20, 2002).

135.  Casanova, M.A., Vieira, T.A.S., Carvalho, M.T.M., Corseuil, E.T.L., Nobre, H., Dias, F.M., Levy, C.H.: The Design of XPAE - An Emergency Plan Definition Language. Anais do IV Simpósio Brasileiro de Geoinformática - GeoInfo, Cachambú, MG, Brasil (Dec. 5-6, 2002), pp. 25-32.

134. Câmara, G., Carvalho, M.T.M., Fonseca, F., Casanova, M.A., Paiva, J., Gibotti, F. From Workflows to Action-Driven Ontologies: Towards a Framework for Interoperability of Geographical Processes. Proc. Research workshop. Action-Oriented Approaches in Geographic Information Science, At Holden, ME, USA (2002).

2001

Conference Papers

133.  Casanova, M.A., Carvalho, M.T.M., Freire, J.: The Architecture of an Emergency Plan Deployment System. Anais do III Simpósio Brasileiro de Geoinformática - GeoInfo, Rio de Janeiro, RJ, Brasil (October 4 - 5, 2001).

2000

Journal Articles

132.  Silva, A.S., Laender, A.H.F., Casanova, M.A.: On the relational representation of complex specialization structuresInf. Syst. 25(6-7): 399-415 (2000). doi: 10.1016/S0306-4379(00)00025-9 [BibTex]

1999

Conference Papers

131.  Mediano, M.R., Casanova, M.A., Gattass, M.: TDA - Um Método para Indexar Topologicamente Atributos Espaciais. Proc. XIV Simpósio Brasileiro de Banco de Dados, Florianópolis, Santa Catarina, Brasil (Out. 11-13, 1999), pp. 269-283. [BibTex]

130.  Coutinho, L., Seidel, V., Ribeiro, A.F., Casanova, M.A.: Couching Teachers to Work with Collaborative Learning. Anais da III Jornada de Educación a Distancia Mercusul/Sul, Osorno, Chile.

129.  Soares, L.F.G., Casanova, M.A.: Qualidade de Vídeo em Ambientes de Ensino e Aprendizagem Não-Presenciais. Anais da III Jornada de Educación a Distancia Mercusul/Sul, Osorno, Chile.

128.  Coutinho, L., Casanova, M.A.: Uma Experiência de Campo com Aprendizagem Colaborativa. Anais do VI Congresso Internacional de Educação à Distância, Rio de Janeiro, RJ, Brasil.

Extended Abstracts

127.  Coutinho, L., Ribeiro, A.F., Casanova, M.A.: A Collaborative Learning Environment for Educational Technology Centers. Proc. 19th World Conference on Open Learning and Distance Education, Vienna, Austria (Jun. 20 – 24, 1999).

1996

Book

126.  Medeiros, C.M.B., Hemerly, A.S., Câmara, G., Casanova, M.A.: Anatomia de Sistemas de Informação Geográfica. 10 Escola de Computação, Campinas (Jul. 8 – 13, 1996), vols 1, p. 250. Campinas: Ed. UNICAMP.

Conference Papers

125.  Câmara, G., Casanova, M.A., Freitas, U.M., Cordeiro, J.P.C., Hara, L.: A Presentation Language for GIS Cadastral Data. Proc. 4th ACM Workshop on Advances in Geographic Information Systems - GIS '96, Rockville, Maryland, USA (Nov. 15-16, 1996). ACM 1996, ISBN 0-89791-874-6, pp. 139-146.
doi: 10.1145/258319.258356 [BibTex]

124.  Silva, A.S., Laender, A.H.F., Casanova, M.A.: An Approach to Maintaining Optimized Relational Representations of Entity-Relationship Schemas. Proc. 15th International Conference on Conceptual Modeling Conceptual Modeling - ER'96, Cottbus, Germany (Oct. 7-10, 1996). Lecture Notes in Computer Science 1157, Springer 1996, ISBN 3-540-61784-1, pp. 292-308.
doi: 10.1007/BFb0019930 [BibTex]

123.  Soares, L.F.G., Casanova, M.A., Souza Filho, G.L.: Anchors and Links for Nested Composite Nodes. Proc. 1996 MultiMedia Modeling: Towards The Information Society Superhighway - MMM 1996, Toulouse, France (Nov. 12-15, 1996). World Scientific Press, ISBN 981-02-2892-9, pp. 21-34 [BibTex]

122.  Mediano, M., Gattass, M., Casanova, M.A.: HPS-tree: Um Método de Acesso para Armazenar Mapas Longos com Multi-resolução Geométrica e Topológica. Anais do IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI, Caxambú, MG, Brasil (1996), pp. 219-226.

1995

Journal Articles

121.  Soares, L.F.G., Rodriguez, N., Casanova, M.A.: Nested Composite Nodes and Version Control in an Open Hypermedia SystemInf. Syst. 20(6): 501-519 (1995). doi:10.1016/0306-4379(95)00027-2 [BibTex]

Conference Papers

120.  Câmara, G., Freitas, U., Casanova, M.A.: Analysis of the Algebras of Geographical Operations. Anais do VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI, São Carlos, SP, Brasil.

119.  Tocantins, C., Casanova, M.A.: Armazenamento Distribuído de Mapas Vetoriais em Sistemas de Geoprocessamento. Anais do X Simpósio Brasileiro de Banco de Dados - SBBD, Recife, PE, Brasil.

118.  Soares, L.F.G., Souza, G., Casanova, M.A.: Synchronization Aspects of an Hypermedia Presentation Model with Composite Nodes. Proc. ACM Workshop on Effective Abstractions in Multimedia: Layout, Presentation, and Interaction, in association with ACM Multimedia '95, San Francisco, USA (Nov. 4, 1995).

117.  Silva, A.S., Laender, A.H.F., Casanova, M.A.: Uma Discussão sobre o Mapeamento Relacional Correto de Estruturas Complexas de Especialização em Esquemas Entidade-Relacionamento. Anais do X Simpósio Brasileiro de Banco de Dados - SBBD, Recife, PE, Brasil.

116. Luiz Fernando, G. Soares, L.F.G., Rodriguez, N.L.R., Casanova, M.A. NCM: A Conceptual Model for Hyperdocuments. Proc. I Workshop em Sistemas Hipermídia Distribuídos, São Carlos-SP (Jul. 7-8, 1995).

115.  G. Câmara, U. Freitas and M.A. Casanova, Fields and Objects Algebras for GIS Operations. Proceedings of III Simpósio Brasileiro de Geoprocessamento, São Paulo, Brazil (Jul. 12-14, 1995), pp. 407-424.

1994

Journal Articles

114.  Laender, A.H.F., Casanova, M.A., Carvalho, A.P., Ridolfi, L. F. G. G. M.: An analysis of SQL integrity constraints from an entity-relationship model perspective. Inf. Syst. 19(4): 331-358 (1994) doi:10.1016/0306-4379(94)90018-3 [BibTex]

113.  Soares, L.F.G, Casanova, M.A., Rodriguez, N.R, Modelo de Contextos Aninhados - Um Modelo Conceitual Hipermídia, Revista Brasileira de Computação (Jul. 1994).

Book Chapter

112.  Hemerly, A. S., Casanova, M.A., Furtado, A.L.: Exploiting User Models to Avoid Misconstruals. In: R. Demolombe, T. Imielinski (eds.) Nonstandard queries and nonstandard answers: studies in logic and computation. Oxford University Press Oxford, UK, 1994, pp. 73- 97. ISBN:0-19-853852-9

Conference Papers

111.  Medeiros, C.M.B., Casanova, M.A., Câmara, G.: The DOMUS Project - Building on OODB GIS for Environmental Control. Proc. International Workshop on Advanced Geographic Information Systems - IGIS '94, Monte Verita, Ascona, Switzerland (Feb. 28 – Mar. 4, 1994). Lecture Notes in Computer Science 884, Springer, ISBN 3-540-58795-0, pp. 45-54. doi: 10.1007/3-540-58795-0_33 [BibTex]

110.  Mediano, M.R., Casanova, M.A., Dreux, M.: V-Trees - A Storage Method for Long Vector Data. Proc. 20th International Conference on Very Large Data Bases -VLDB'94, Santiago do Chile, Chile (Sept. 12-15, 1994). Morgan Kaufmann, ISBN 1-55860-153-8, pp. 321-330. [BibTex]

109.  Mediano, M.R., Casanova, M.A., Dreux, M.: A Family of Storage Methods for Geographic Data. Anais do IX Simpósio Brasileiro de Banco de Dados - SBBD, São Carlos, SP, Brasil (1994).

108.  Câmara, G., Freitas, U., Souza, R.C., Hemerly, A.S., Casanova, M.A.: A General Model for Integrating Remote Sensing and GIS Data. Proc. IV Symposium on Mapping and Geographic Information Systems (1994).

107.  Câmara, G., Freitas, U., Souza, R.C., Casanova, M.A., Hemerly, A.S., Medeiros, C.M.B.: A Model to Cultivate Objects and Manipulate Fields. In: Proc. 2nd ACM Workshop on Advances in Geographic Information, Gaithersburg, Maryland, USA. ACM Press, ISBN 0-89791-750-2, pp. 20-28.

106.  Alcezar, J.P., Hemerly, A.S., Casanova, M.A., Furtado, A.L.: Cooperative Interfaces for Spatio-temporal Databases. Proc. 7th International Conference no Systems Research Informatics and Cybernetics, Focus Symposium no Database and Expert Systems, Baden-Baden, Germany.

105.  Soares, L.F.G., Rodriguez, N., Casanova, M.A.: Nested Composite Nodes and Version Control. Hypermedia System. Proc. of the Workshop on Versioning in Hypertext Systems, Edinburgh, Scotland.

104.  Laender, A.H.F., Casanova, M.A.: On the Mapping of NIAM Schemas into SQL. In: Terry A. Halpin, Robert Meersman (Eds.): Proc. 1st International Conference on Object-Role Modelling (ORM), Magnetic Island, Australia (Jul. 4-6, 1994), pp. 89-102.

103.  Silva, A.S., Laender, A.H.F., Casanova, M.A.: Sobre a Manutenção de Consistência de Representações Otimizadas de Esquemas ER. Anais do IX Simpósio Brasileiro de Bancos de Dados - SBBD, São Carlos, SP, Brasil, 1994.

1993

Journal Articles

102.  Casanova, M.A., Tucherman, L., Laender, A.H.F.: On the Design and Maintenance of Optimized Relational Representations of Entity-Relationship SchemasData Knowl. Eng. 11(1): 1-20 (1993) doi:10.1016/0169-023X(93)90043-O [BibTex]

101.  Hemerly, A.S., Casanova, M.A., Furtado, A.L.: Avoiding Misconstruals in Database Systems: A Default Logic ApproachIEEE Trans. Knowl. Data Eng. 5(6): 994-996 (1993) doi:10.1109/69.250086 [BibTex]

Conference Papers

100.  Hemerly, A.S., Furtado, A.L., Casanova, M.A.: Towards Cooperativeness in Geographic Databases. Proc. 4th International Conference on Database and Expert Systems Applications - DEXA'93, Prague, Czech Republic (Sept. 6-8, 1993). Lecture Notes in Computer Science 720, Springer 1993, ISBN 3-540-57234-1, pp. 373-376. doi: 10.1007/3-540-57234-1_34 [BibTex]

099.  Soares, L.F.G., Casanova, M.A., Colcher, S.: A Distributed Architecture for Hypermedia Systems using MHEG Standard Objects Interchange. Proc. Workshop on Hypermedia and Hypertext Standards Workshop on Hypermedia and Hypertext Standards, Amsterdam, The Netherlands (1993).

098.  Furtado, A.L., Casanova, M.A., Hemerly, A.S.: Cooperative Environments for Geographic Databases: a Prescriptive Analysis. Anais do VIII Simpósio Brasileiro de Banco de Dados - SBBD, Campina Grande, PB, Brasil, 1993.

097.  Casanova, M.A., Hemerly, A.S., Duarte, M. P. C., Mediano, M., Câmara, G., Freitas, U.: Um Sistema de Armazenamento para Atributos Espaciais de Objetos Geográficos. Anais do II Simpósio Brasileiro de Geoinformática - GeoInfo, São Paulo, SP, Brasil, 1993.

096.  Soares, L.F.G., Casanova, M.A.: Uma Arquitetura Distribuída para o Modelo de Contextos Aninhados com Intercâmbio de Objetos MHEG. Anais do XI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC, Campinas, SP, Brasil (May 10-13, 1993). Porto Alegre: SBC.

095.  Soares, L.F.G., Casanova, M.A., Rodriguez, N.R. Um Modelo Conceitual Hipermídia com Nós de Composição e Controle de Versões. Anais do VI Simpósio Brasileiro de Engenharia de Software – SBES, Rio de Janeiro, RJ, Brasil (1993).

1992

Journal Articles

094.  Casanova, M.A., Hemerly, A.S., Guerreiro, R.A.T.: Explaining SLDNF resolution with non-normal defaultsIBM Journal of Research and Development 36(3): 347-360 (1992) doi:10.1147/rd.363.0347 [BibTex]

093.  Guerreiro, R.A.T., Hemerly, A.S., Casanova, M.A.: STORK and PENGUIN: Logic programming systems using general clauses and defaultsIBM Journal of Research and Development 36(3): 361-374 (1992) doi:10.1147/rd.363.0361 [BibTex]

Book

092.  Soares, L.F.G., Tucherman, L., Nunes, P.R., Casanova, M.A.: Fundamentos de Sistemas Multimídia. 8.ª Escola de Computação, Gramado, RS, Brazil ( Jul. 1992). vols 1, p. 250. Porto Alegre: Ed. UFRGS (1992).

Conference Papers

091.  Casanova, M.A., Hemerly, A.S., Furtado, A.L.: A Declarative Conceptual Modelling Language: Description and Example Applications. Proc. Advanced Information Systems Engineering – CAiSE '92, Manchester, UK (May 12-15, 1992). Lecture Notes in Computer Science 593, Springer 1992, ISBN 3-540-55481-5, pp. 589-611. doi: 10.1007/BFb0035155 [BibTex]

090.  Furtado, A.L., Casanova, M.A.: A Declarative Conceptual Modelling Language. Anais do VII Simpósio Brasileiro de Banco de Dados - SBBD, Porto Alegre, RS, Brasil, 1992. Porto Alegre: SBC

089.  Câmara, G., Freitas, U., Souza, M.A., Casanova, M.A., Hemerly, A.S.: Data Modelling and Development of a Spatial Database for the Brazilian Amazonia. Proc. XVII Congress of the International Society for Photogrammetry and Remote Sensing (ISPRS), Washington, DC, USA, 1992. doi:sid.inpe.br/iris@1912/2005/07.19.23.25.40-0

088.  Casanova, M.A., Carvalho, A.P., Ridolfi, L.F.G.G.M.: FeST - Uma Ferramenta para Projeto Conceitual de Banco de Dados. Anais do VII Simpósio Brasileiro de Banco de Dados - SBBD, Porto Alegre, RS, Brasil.

087.  Hemerly, A.S., Casanova, M.A.: Relacionando Resolução SLDNF e Lógica de Defaults. Anais do IX Simpósio Brasileiro de Inteligência Artificial - SBIA, Rio de Janeiro, RJ, Brasil (Sept. 29 – Oct. 2, 1992).

086.  Câmara, G., Souza, R.C., Freitas, U., Casanova, M.A.: SPRING: Processamento de Imagens e Dados Georeferenciados. Anais do V Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI, Águas de Lindóia, Brasil, 1992. Porto Alegre: SBC. doi: sid.inpe.br/iris@1912/2005/07.19.23.13.29-0

1991

Journal Articles

085.  Casanova, M.A., Furtado, A.L., Tucherman, L.: A Software Tool for Modular Database DesignACM Trans. Database Syst. 16(2): 209-234 (1991) doi:10.1145/114325.103711 [BibTex]

Conference Papers

084.  Hemerly, A.S., Casanova, M.A., Furtado, A.L.: Cooperative Behavior Through Request ModificationProc 10th International Conference on Entity-Relationship Approach – ER '91, San Mateo, California, USA (Oct. 23-25, 1991), pp. 607-621 [BibTex]

083.  Casanova, M.A., Carvalho, A.P., Ridolfi, L.F.G.G.M., Laender, A.H.F.: An Analysis of Table Constraints in SQL2 Based on the Entity-Relationship Model. Proc 10th International Conference on Entity-Relationship Approach – ER '91, San Mateo, California, USA (Oct. 23-25, 1991), pp. 623-641 [BibTex]

082.  Casanova, M.A., Tucherman, L., Lima, M.J.D., Rangel Netto, J.L., Rodriguez, N., Soares, L.F.G.: The Nested Context Model for HyperdocumentsProc. ACM Hypertext 91 Conference, San Antonio, Texas, USA (Dec. 15-18, 1991), pp. 193-201. doi: 10.1145/122974.122993 [BibTex]

081.  Casanova, M.A., Hemerly, A.S., Guerreiro, R.A.T.: Explaining SLDNF Resolution with Non-Normal Defaults. Proc. 8th International Conference on Logic Programming, Paris, France (Jun. 24-28, 1991). MIT Press 1991, ISBN 0-262-56058-5, pp. 18-31 [BibTex]

080.  Hemerly, A.S., Casanova, M.A., Furtado, A.L.: Exploiting User Models to Avoid Misconstruals. Proc. Workshop on Nonstandard Queries and Answers, Toulouse, France, 1991.

079.  Furtado, A.L., Hemerly, A.S., Casanova, M.A.: Modificação de Comandos como Instrumento de Cooperatividade. Anais do VI Simpósio Brasileiro de Banco de Dados - SBBD, Manaus, AM, Brasil, 1991. Porto Alegre: SBC.

078.  Hemerly, A.S., Casanova, M.A., Furtado, A.L.: An Approach to the Problem of Avoiding Misconstruals. Anais do VIII Simpósio Brasileiro de Inteligência Artificial - SBIA, Brasília, DF, Brasil, 1991. Porto Alegre: SBC.

077.  Carvalho, A.P., Casanova, M.A., Veloso, S.R.M.: O Problema da Correção e Completude Forte em Lógica de Default. Anais do VIII Simpósio Brasileiro de Inteligência Artificial - SBIA, Brasília, DF, Brasil, 1991. Porto Alegre: SBC.

1990

Journal Articles

076.  Tucherman, L., Casanova, M.A., Furtado, A.L.: The CHRIS consultant-a tool for database design and rapid prototypingInf. Syst. 15(2): 187-195 (1990) doi:10.1016/0306-4379(90)90034-M [BibTex]

075.  Guerreiro, R., Casanova, M.A., Hemerly, A.S.: Raciocínio Matemático em Lógica de Defaults. Revista Brasileira de Computação 5: 1-10. (Cessou em 1994. Cont. ISSN 0104-6500 Journal of the Brazilian Computer Society).

Conference Papers

074.  Guerreiro, R.A.T., Casanova, M.A., Hemerly, A.S.: Contributions to a Proof Theory for Generic Defaults. Proc. 9th European Conference on Artificial Intelligence - ECAI '90, Stockholm, Sweden (1990), pp. 213-218 [BibTex]

073.  Furtado, A.L., Casanova, M.A.: Plan and Schedule Generation over Temporal Databases. Proc. 9th International Conference on Entity-Relationship Approach - ER'90, Lausanne, Switzerland (Oct. 8-10, 1990), pp. 235-248 [BibTex]

072.  Casanova, M.A., Tucherman, L., Laender, A.H.F.: Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. Proc. 9th International Conference on Entity-Relationship Approach - ER'90, Lausanne, Switzerland (Oct. 8-10, 1990), pp. 361-374. [BibTex]

071.  Casanova, M.A., Furtado, A.L.: An Information System Environment based on Plan Generation. Proc. Working Conference on Cooperating Knowledge based Systems, Keele, UK, 1990.

070.  Soares, L.F.G., Rodriguez, N., Rangel, J.L.M., Lima, M.J.D., Tucherman, L., Casanova, M.A.: Delineamento da Arquitetura de um Sistema para Processamento de Documentos Multimídia. Anais do IV Simpósio Brasileiro de Engenharia de Software – SBES, Águas de São Pedro, Brasil, 1990. Porto Alegre: SBC.

069.  Casanova, M.A., Tucherman, L.: Designing and Maintaining Optimized DB2 Representations of Entity-Relationship Schemas. Proc. IBM Data Base ITL Conference, Atlanta, USA, 1990.

068.  Casanova, M.A., Hemerly, A.S., Guerreiro, R.: Explaining SLDNF Resolution with Non-Normal Defaults. Anais do VII Simpósio Brasileiro de Inteligência Artificial - SBIA, Campina Grande, PB, Brasil (Nov. 12 – 16, 1990).

067.  Carvalho, A.P., Casanova, M.A., Veloso, S.R.M.: Um Método de Dedução Não-Monotônico e Parametrizado baseado em Eliminação de Modelos. Anais do VII Simpósio Brasileiro de Inteligência Artificial - SBIA, Campina Grande, PB, Brasil (Nov. 12 – 16, 1990).

066.  Furtado, A.L., Casanova, M.A.: NICE: A Cooperative Environment for the Use of Information Systems. Proc. ITL Conference on Expert Systems. Yorktown Height, NY, USA, 1990.

065.  Casanova, M.A., Tucherman, L.: Projeto e Manutenção de Representações Relacionais Otimizadas para Esquemas Entidade-Relacionamento. Anais XXIII Congresso Nacional de Informática - SUCESU '90, Rio de Janeiro, RJ, Brasil, 1990. Rio de Janeiro: SUCESU.

1989

Conference Papers

 064. Tucherman, L., Casanova, M.A., Gualandi, P.M., Braga, A.P.: A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Entity-Relationship Model. Proc. 8th International Conference on Entity-Relationship Approach, Toronto, Canada, (Oct. 18-20, 1989). North-Holland 1990, ISBN 0-444-88716-4, pp. 27-41. [BibTex]

063.  Casanova, M.A., Guerreiro, R.A.T., Hemerly, A.S.: Logic Programming with General Clauses and Defaults Based on Model Elimination. Proc. 11th International Joint Conference on Artificial Intelligence, Detroit, MI, USA (Aug. 1989). Morgan Kaufmann 1989, ISBN 1-55860-094-9, pp. 395-400 [BibTex]

062.  Casanova, M.A., Guerreiro, R.A.T., Hemerly, A.S.: Computing Answers to Logic Programs with Weak Model EliminationProc. of the North American Conference on Logic Programming – NACLP 1989, Cleveland, Ohio (Oct. 16-20, 1989). MIT Press 1989, ISBN 0-262-62064-2 (2 Volumes), pp. 92-114. [BibTex]

061.  Casanova, M.A., Tucherman, L., Furtado, A.L., Braga, A.P.: Optimization of Relational Schemas Containing Inclusion Dependencies. Proc. 15th International Conference on Very Large Data Bases, Amsterdam, The Netherlands (Aug. 22-25, 1989). Morgan Kaufmann 1989, ISBN 1-55860-101-5, pp. 317-325 [BibTex]

060.  Guerreiro, R., Casanova, M.A., Hemerly, A.S.: A Logic Programming System using General Clauses and Defaults. Proc. IBM Interdivisional Technical Liaison Conference on Expert Systems, San Jose, CA, USA,1989.

059.  Guerreiro, R., Silva, A.S., Casanova, M.A.: Computing Answers in Default Logic. Proc. IEEE Int'l. Symposium on Architectures, Languages and Algorithms for Artificial Intelligence, Washington, DC, USA (1989). Los Alamitos: IEEE.
doi: 10.1109/TAI.1989.65371

058.  Tucherman, L., Casanova, M.A.: Estendendo as Abstrações de Generalização e Subconjunto no Modelo Entidade-Relacionamento. Anais do XXII Congresso Nacional de Informática, São Paulo, SP, Brasil, 1989. São Paulo: SUCESU.

057.  Casanova, M.A., Tucherman, L.: Operações sobre Conjuntos de Entidades e Relacionamentos Organizados em Grafo de Especialização. Anais do IX Congresso da Sociedade Brasileira de Computação, Uberlândia, MG, Brasil, 1989. Porto Alegre: SBC.

056.  Guerreiro, R., Casanova, M.A., Hemerly, A.S.: Raciocínio Matemático em Lógica de Defaults. Anais do VI Simpósio Brasileiro de Inteligência Artificial - SBIA, Rio de Janeiro, RJ, Brasil, 1989.

055.  Braga, A.P., Casanova, M.A., Tucherman, L.: Trivialização de Dependências de Inclusão em Esquemas Conceituais Relacionais. Anais do IV Simpósio Brasileiro de Banco de Dados - SBBD, Campinas, SP, Brasil, 1989. Porto Alegre: SBC.

Extended Abstracts

054.  Casanova, M.A., Guerreiro, R., Hemerly, A.S.: Computação de Respostas para Programas em Lógica através de Eliminação de Modelos Fraca. Anais do VIII Simpósio Latino-Americano de Lógica Matemática, João Pessoa, PB, Brasil, 1989.

053.  Hemerly, A.S., Guerreiro, R., Casanova, M.A.: Uma Extensão à Lógica de Defaults. Anais do VIII Simpósio Latino-Americano de Lógica Matemática, João Pessoa, PB, Brasil, 1989.

1988

Journal Articles

052.  Casanova, M.A., Furtado, A.L.: String Pattern-Matching in PrologComput. Lang. 13(3/4): 149-170 (1988) doi:10.1016/0096-0551(88)90022-7 [BibTex]

Conference Papers

051.  Casanova, M.A., Tucherman, L., Furtado, A.L.: Enforcing Inclusion Dependencies and Referencial Integrity. Proc. 14th International Conference on Very Large Data Bases, Los Angeles, California, USA (Aug. 29 – Sept. 1, 1988). Morgan Kaufmann 1988, ISBN 0-934613-75-3, pp. 38-49 [BibTex]

050.  Casanova, M.A., Furtado, A.L., Tucherman, L.: A Monitor Enforcing Referential Integrity. Anais do III Simpósio Brasileiro de Banco de Dados - SBBD, Recife, PE, Brasil, 1988. Porto Alegre: SBC.

049.  Casanova, M.A., Guerreiro, R., Hemerly, A.S.: Computação de Respostas em Sistemas baseados em Eliminação de Modelos e Defaults. Anais do V Simpósio Brasileiro de Inteligência Artificial - SBIA, Natal, RN, Brasil, 1988. Porto Alegre: SBC.

048.  Guerreiro, R., Casanova, M.A., Hemerly, A.S.: Programação em Cláusulas Genéricas utilizando o Método de Eliminação de Modelos. Anais do V Simpósio Brasileiro de Inteligência Artificial - SBIA, Natal, RN, Brasil, 1988. Porto Alegre: SBC.

047.  Casanova, M.A., Tucherman, L.: Visão Parcial: Um Mecanismo para Abstração de Dados no Modelo Entidade Relacionamento. Anais do XV Seminário Integrado de Hardware e Software - SEMISH, Rio de Janeiro, RJ, Brasil, 1988. Porto Alegre: SBC.

1987

Book

046.  Furtado, A.L., Giorno, F.A.C., Casanova, M.A.: Programação em Lógica e a Linguagem Prolog. vols 1, p. 461. São Paulo: Ed. Blucher (1987) doi:10.13140/RG.2.1.3820.8088

Conference Papers

045.  Furtado, A.L., Casanova, M.A., Tucherman, L.: The CHRIS ConsultantProc. 6th International Conference on Entity-Relationship Approach, New York, USA (Nov.  9-11, 1987). North-Holland 1988, ISBN 0-444-70440-X, pp. 515-532 [BibTex]

044.  Furtado, A.L., Casanova, M.A., Tucherman, L.: The CHRIS Consultant – A Tool for Database Design and Rapid Prototyping . Anais do II Simpósio Brasileiro de Banco de Dados – SBBD, Porto Alegre, RS, Brasil (1987).

1986

Book Chapter

043.  Tucherman, L., Furtado, A.L., Casanova, M.A.: Modular Database Design Tools. In: Relational Databases: State of the Art Report, edited by Infotech. Vol. 14:5. New York: Pergamon.

Conference Papers

042.  Furtado, A.L., Casanova, M.A., Tucherman, L.: Transforming Constraints into Logic Programs: A Case StudyProc. IFIP WG 2.6 Working Conference on Data Semantics, "Data and Knowledge" (DS-2). Albufeira, Portugal (Nov. 3-7, 1986). North-Holland 1988, ISBN 0-444-70528-7, pp. 137-149 [BibTex]

041.  Furtado, A.L., Casanova, M.A., Tucherman, L.: A Framework for Design/Redesign ExpertsConf. 1st International Conference on Expert Database Systems, Charleston, South Carolina, USA (Apr. 1-4, 1986). Benjamin Cummings 1987, ISBN 0-8053-3271-5, pp. 423-438 [BibTex]

040.  Casanova, M.A., Moura, C.M.O.: Designing Database Applications in Logic ProgrammingProc. IFIP 10th World Computer Congress - Information Processing 86, Dublin, Ireland (Sept. 1-5, 1986). North-Holland/IFIP, 1986, ISBN 0-444-70077-3, pp. 235-240 [BibTex]

039.  Casanova, M.A., Walter, M.E.M.: Implementação de Interpretadores Prolog Combinando Expansão em Profundidade com Expansão em Amplitude. Anais do III Simpósio Brasileiro de Inteligência Artificial - SBIA, Rio de Janeiro, RJ, Brasil, 1986. SBC/IME, pp. 284-294.

038.  Casanova, M.A., Walter, M.E.M.: Uma Implementação do Método de Eliminação de Modelos. Anais do III Simpósio Brasileiro de Inteligência Artificial - SBIA, Rio de Janeiro, RJ, Brasil, 1986. SBC/IME, pp. 311-322.

037.  Tucherman, L., Casanova, M.A.: Princípios de Modularização para Sistemas de Informação. Anais do XIX Congresso Nacional de Informática, Rio de Janeiro, RJ, Brasil, 1986. Rio de Janeiro: SUCESU.

1985

Book

036.  Moura, A.V., Casanova, M.A.: Princípios de Sistemas de Bancos de Dados Distribuídos. vols 1, p. 355. Rio de Janeiro: Ed. Campus (1985). doi:10.13140/RG.2.1.2510.0883

Book Chapter

035.  Furtado, A.L., Casanova, M.A.: Updating Relational Views. Query Processing in Database Systems, Won Kim, David S. Reiner, Don S. Batory (eds). Springer 1985, ISBN 3-540-13831-5, pp. 127-142. doi: 10.1007/978-3-642-82375-6_7 [BibTex]

Conference Papers

034.  Casanova, M.A., Moura, A.V., Tucherman, L.: On the Correctness of a Local Storage Subsystem. Proc. 4th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Portland, Oregon, USA (Mar. 25-27, 1985). ACM 1985, ISBN 0-89791-153-9, pp. 123-134. doi: 10.1145/325405.325420 [BibTex]

033.  Tucherman, L., Furtado, A.L., Casanova, M.A.: A Tool for Modular Database Design. Proc. 11th International Conference on Very Large Data Bases - VLDB'85, (Aug. 21-23, 1985), Stockholm, Sweden. Morgan Kaufmann 1985, pp. 436-447 [BibTex]

032.  Furtado, A.L., Tucherman, L., Casanova, M.A.: Sistemas Especialistas para Especificação Modular de Banco de Dados. Anais do II Simpósio de Inteligência Artificial - SBIA, São José dos Campos, SP, Brasil, 1985. São José dos Campos: INPE.

031.  Casanova, M.A., Tucherman, L., Furtado, A.L.: Uma Ferramenta para Projeto Modular de Banco de Dados. Anais do XII Seminário Integrado de Hardware e Software - SEMISH, Porto Alegre, RS, Brasil, 1985. Porto Alegre: SBC.

1984

Journal Articles

030.  Casanova, M.A., Sá, J.E.A.: Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema DesignIBM Journal of Research and Development 28(1): 82-94 (1984) doi:10.1147/rd.281.0082 [BibTex]

029.  Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards multi-level and modular conceptual schema specificationsInf. Syst. 9(1): 43-57 (1984) doi:10.1016/0306-4379(84)90015-2 [BibTex]

028.  Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion Dependencies and Their Interaction with Functional DependenciesJ. Comput. Syst. Sci. 28(1): 29-59 (1984) doi:10.1016/0022-0000(84)90075-8 [BibTex]

Book Chapter

027.  Casanova, M.A., Furtado, A.L.: On the Description of Database Transition Constraints using Temporal Logic. In: Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Plenum Press, New York, 1984, ISBN 0-306-41636-0: 211-236.

Conference Papers

026.  Casanova, M.A., Veloso, P.A.S., Furtado, A.L.: Formal Data Base Specification - An Eclectic Perspective. Proc. 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Waterloo, Ontario, Canada (Apr. 2-4, 1984). ACM 1984, ISBN 0-89791-128-8, pp. 110-118 [BibTex]

025.  Tucherman, L., Casanova, M.A.: Síntese das Condições e Efeitos Colaterais das Operações de Atualização sobre Bancos de Dados. Anais do XVII Congresso Nacional de Informática, Rio de Janeiro, RJ, Brasil, 1984. Rio de Janeiro: SUCESU.

024.  Casanova, M.A., Moura, A.V.: Sistemas de Gerência de Bancos de Dados Distribuídos São Factíveis?. Anais do XVII Congresso Nacional de Informática, Rio de Janeiro, RJ, Brasil, 1984. Rio de Janeiro: SUCESU.

023.  Casanova, M.A., Pion, M.: Variedades de Lógica Temporal. Proc. of the II Symposium of Logic, Philosophy and Theory of Science, Niteroi, RJ, Brasil, 1984.

1983

Journal Articles

022.  Casanova, M.A.: The Theory of Functional and Subset Dependencies Over Relational ExpressionsInf. Process. Lett. 16(3): 153-160 (1983) doi:10.1016/0020-0190(83)90068-6 [BibTex]

021.  Casanova, M.A.: A theory of data dependencies over relational expressions. ACIS International Journal of Computer and Information Science 12: 151-192. doi:10.1007/BF00995890

Book Chapter

020.  Casanova, M.A., Castilho, J.M.V., Furtado, A.L.: Properties of Conceptual and External Database Schemas. Proc. IFIP TC 2 Working Conference on Formal Descriptions of Programming Concepts – II, Garmisch-Partenkirchen, Germany (Jun. 1-4, 1982). Amsterdam: North-Holland, pp. 91-99.

Conference Papers

019.  Casanova, M.A., Sá, J.E.A.: Designing Entity-Relationship Schemes for Conventional Information Systems. Proc. 3rd International Conference on Entity-Relationship Approach - ER'83, Anaheim, California, USA. North-Holland 1983, ISBN 0-444-86777-5, pp. 265-277 [BibTex]

018.  Furtado, A.L., Veloso, P.A.S., Casanova, M.A.: A Grammatical Approach to Data Bases. Proc. IFIP 9th World Computer Congress - Information Processing 83, Paris, France (Sept. 19-23, 1983). North-Holland/IFIP, 1983, ISBN 0-444-86729-5, pp. 705-710 [BibTex]

017.  Casanova, M.A., Vidal, V.M.P.: Towards a Sound View Integration MethodologyProc. 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Atlanta, Georgia, USA (Mar. 21-23, 1983). ACM 1983, ISBN 0-89791-097-4, pp. 36-47 [BibTex]

016.  Tucherman, L., Furtado, A.L., Casanova, M.A.: A Pragmatic Approach to Structured Database DesignProc. 9th International Conference on Very Large Data Bases, Florence, Italy (Oct. 31 – Nov. 2, 1983). Morgan Kaufmann 1983, ISBN 0-934613-15-X, pp. 219-231 [BibTex]

015.  Moura, C.M.O., Casanova, M.A.: Tableaux Analíticos de Primeira Ordem Utilização como Procedimento de Decisão para Dependências de Dados. Anais do XVI Congresso Nacional de Informática, São Paulo, SP, Brasil, 1983. São Paulo: SUCESU: 90-96.

1982

Journal Article

014. Rego, S. P., Casanova, M.A.: Uma Teoria de Dependências Funcionais e de Inclusão. Revista Brasileira de Computação 2: 151-167.

Conference Papers

013.  Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion Dependencies and Their Interaction with Functional Dependencies. Proc. ACM Symposium on Principles of Database Systems, Los Angeles, California, USA (Mar. 29-31, 1982). ACM 1982, ISBN 0-89791-070-2, pp. 171-176 [BibTex]

012.  Casanova, M.A.: A Theory of Data Dependencies over Relational Expressions. Proc. ACM Symposium on Principles of Database Systems, Los Angeles, California, USA (Mar. 29-31, 1982). ACM 1982, ISBN 0-89791-070-2, pp. 189-198 [BibTex]

011.  Castilho, J.M.V., Casanova, M.A., Furtado, A.L.: A Temporal Framework for Database Specifications. Proc. 8th International Conference on Very Large Data Bases, Mexico City, Mexico (Sept. 8-10, 1982). Morgan Kaufmann 1982, ISBN 0-934613-14-1, pp. 280-291 [BibTex]

010.  Casanova, M.A., Furtado, A.L.: A Family of Temporal Languages for the Description of Transition Constraints. Proc. Workshop on Logical Bases for Databases, Toulouse, France, 1982. Toulouse: Centre d'études et de recherches de Toulouse.

009.  Rego, S. P., Casanova, M.A.: Aplicações de uma Teoria de Dependências Funcionais e Dependências de Inclusão. Anais do XV Congresso Nacional de Informática, Rio de Janeiro, RJ, Brasil, 1982. Rio de Janeiro: SUCESU.

008.  Moura, C.M.O., Casanova, M.A.: Projeto de Bancos de Dados através de Exemplos. Anais do XV Congresso Nacional de Informática, Rio de Janeiro, RJ, Brasil, 1982. Rio de Janeiro: SUCESU.

1981

Journal Articles

007.  Bernstein, P.A., Casanova, M.A., Goodman, N.: Errors in 'Process Synchronization in Database Systems'. SIGMOD Record 11(1): 9-29 (1981) doi:10.1145/984471.984472 [BibTex]

Book

006.  Casanova, M.A.: The Concurrency Control Problem for Database Systems. Springer-Verlag New York Heidelberg Berlin (1981) ISBN 30-387-10845-9 [BibTex]

1980

Journal Articles

005.  Casanova, M.A., Bernstein, P.A.: A Formal System for Reasoning about Programs Accessing a Relational DatabaseACM Trans. Program. Lang. Syst. 2(3): 386-414 (1980) doi:10.1145.357103.357111 [BibTex]

004.  Casanova, M.A., Bernstein, P.A.: General Purpose Schedulers for Database Systems. Acta Inf. 14: 195-220 (1980) doi:10.1007/BF00264253 – see also Erratum in Acta Inf. 15: 471 (1981) [BibTex]

1979

Journal Articles

003.  Bernstein, P.A., Casanova, M.A., Goodman, N.: Comments on "Process Synchronization in Database Systems"ACM Trans. Database Syst. 4(4): 545-546 (1979) doi:10.1145.320107.320126 [BibTex]

Conference Papers

002.  Casanova, M.A., Bernstein, P.A.: The Logic of a Relational Data Manipulation Language. Proc. 6th Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA (Jan. 1979), pp. 101-109.
doi: 10.1145/567752.567762 [BibTex]

1975

Journal Articles

001.  Casanova, M.A. Controle de estoque para pequenos estabelecimentos: um modelo simples. Revista do Círculo de Engenharia Militar 73: S109-S113 (1975).

Recent Theses and Dissertations

2015

Theses

Percy Rivera Salas. OLAP2Datacube: An On-Demand transformation Framework from OLAP to RDF Data Cubes. Ph.D. Thesis, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Sept. 2015). DOI: http://doi.org/10.17771/PUCRio.acad.26120

Eveline Russo Sacramento Ferreira. An Approach for Dealing with Inconsistencies in Data Mashups. Ph.D. Thesis, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Sept. 2015).

Gomes, R.V.A., Crawler Frameworks for Linked Data. Ph.D. Thesis, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (May 2015).

Barbosa, I. Avaliação do impacto de acidentes de trânsito no tráfego de vias urbanas a partir de valores de velocidade. Ph.D. Thesis, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Mar. 2015).

Berardi, R.C.G. Design Rationale in the Triplification of Relational Databases. Ph.D. Thesis, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Feb. 2015).

Dissertations

Grettel Monteagudo García. Analyzing, Comparing and Recommending Conferences. M.Sc. Dissertation, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Mar. 2016).

Franklin Anderson de Amorim. Mineração de Itens Frequentes em Sequências de Dados: Uma Implementação Eficiente Usando Vetores de Bits. M.Sc. Dissertation, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Sept. 2015).

Elisa Souza Menendez. Materialized sameAs Link Maintenance with Views. M.Sc. Dissertation, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Jul. 2015).

Magalhães, R.C. Operations over Lightweight Ontologies. M.Sc. Dissertation, Department of Informatics, PUC-Rio, Rio de Janeiro, Brazil (Jan. 2015).