Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Santos, A. L., K. Koskimies, and A. Lopes, "Automated domain-specific modeling languages for generating framework-based applications", Software Product Line Conference, 2008. SPLC'08. 12th International: IEEE, pp. 149–158, 2008.
Pesquita, C., Automated extension of biomedical ontologies, , 2012.
Kausar, S., and A. O. Falcao, "An automated framework for QSAR model building", Journal of cheminformatics, vol. 10, no. 1: Nature Publishing Group, pp. 1, 2018.
Martinez, R. Gil, A. Lopes, and L. Rodrigues, "Automated generation of policies to support elastic scaling in cloud environments", Proceedings of the Symposium on Applied Computing: ACM, pp. 450–455, 2017.
Leal, J. P., A. O. Falcao, and A. L. Teixeira, Automated Identification and Classification of Stereochemistry: Chirality and Double Bond Stereoisomerism, , 2013.
Teixeira, A. L., J. P. Leal, and A. O. Falcao, "Automated Identification and Classification of Stereochemistry: Chirality and Double Bond Stereoisomerism", arXiv preprint arXiv:1303.1724, 2013.
Faria, D., and , Automated knowledge extraction from protein sequence, , 2012.
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated monitor based diagnosis in distributed systems", ECE Technical Reports, pp. 67, 2005.
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated rule-based diagnosis through a distributed monitor system", Dependable and Secure Computing, IEEE Transactions on, vol. 4, no. 4: IEEE, pp. 266–279, 2007.
Lopes, L. F., J. Zamite, B. Tavares, F. Couto, F. Silva, and M. J. Silva, "Automated social network epidemic data collector", INForum informatics symposium. Lisboa, 2009.
Duarte, T., D. Domingos, J. Alegria, and P. Serrão, "An Automated System to Search", INFORUM 2015 - Atas do 7º Simpósio Nacional de Informática, Covilhã, Portugal, Universidade da Beira Interior, 2015.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "Automatic Background Knowledge Selection for Matching Biomedical Ontologies", PloS one, vol. 9, no. 11: Public Library of Science, pp. e111226, 2014.
Bernardo, A., and T. Langlois, Automatic classification of midi tracks, : 10th International Conference on Entreprise Information Systems (ICEIS'08), 2008.
Groza, T.., S.. Köhler, S.. Doelken, N.. Collier, A.. Oellrich, D.. Smedley, F. Couto, G.. Baynam, A.. Zankl, and P.. Robinson, "Automatic concept recognition using the Human Phenotype Ontology}reference and test suite corpora", Database, vol. 2015, pp. 1-13, 2015.
Sarmento, L., P. Carvalho, M. J. Silva, and E. de Oliveira, "Automatic creation of a reference corpus for political opinion mining in user-generated content", Proceeding of the 1st international CIKM workshop on Topic-sentiment analysis for mass opinion: ACM, pp. 29–36, 2009.
Medeiros, I., N. Ferreira Neves, and M. Correia, "Automatic detection and correction of web application vulnerabilities using data mining to predict false positives", Proceedings of the 23rd international conference on World wide web: International World Wide Web Conferences Steering Committee, pp. 63–74, 2014.
Silva, M. J., P. Carvalho, C. Costa, and L. Sarmento, Automatic Expansion of a Social Judgment Lexicon for Sentiment Analysis, , 2010.
Vieira, D., and F. Martins, "Automatic generation of WSN simulations: From Callas applications to VisualSense models", Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on: IEEE, pp. 336–341, 2010.
Langlois, T., and G. Marques, "Automatic music genre classification using a hierarchical clustering and a language model approach", Advances in Multimedia, 2009. MMEDIA'09. First International Conference on: IEEE, pp. 188–193, 2009.
Verchere, D., O. Audouin, B. Berde, A. Chiosi, R. Douville, H. Pouyllau, P. Primet, M. Pasin, S. Soudan, T. Marcot, et al., "Automatic network services aligned with grid application requirements in CARRIOCAS project", Networks for Grid Applications: Springer Berlin Heidelberg, pp. 196–205, 2009.
Fonseca, A., B. Cabral, J. Rafael, and I. Correia, "Automatic parallelization: Executing sequential programs on a task-based parallel runtime", International Journal of Parallel Programming, vol. 44, no. 6: Springer, pp. 1337–1358, 2016.
Cardoso, N., D. Santos, M. J. Silva, and S. Doutoral da Linguateca, "Automatic Query Reformulation using Contextual Information", quot; III Simpósio Doutoral da Linguateca 2006 (Faculdade de Ciências-Universidade de Lisboa 3-4 de Outubro de 2006), 2006.
Duarte, C., A. Salvado, E. M Akpinar, Y. Yesilada, and L. Carriço, "Automatic Role Detection of Visual Elements of Web Pages for Automatic Accessibility Evaluation", Proceedings of the Internet of Accessible Things: ACM, pp. 21, 2018.
Santos, A. L., "Automatic support for model-driven specialization of object-oriented frameworks", Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion: ACM, pp. 923–924, 2007.
Antunes, J., and N. Ferreira Neves, "Automatically complementing protocol specifications from network traces", Proceedings of the 13th European Workshop on Dependable Computing: ACM, pp. 87–92, 2011.
Santos, A. L., K. Koskimies, and A. Lopes, "Automating the construction of domain-specific modeling languages for object-oriented frameworks", Journal of Systems and Software, vol. 83, no. 7: Elsevier, pp. 1078–1093, 2010.
Lopes, R., and L. Carriço, "Automating XML pipelines through rules", XATA2007, XML: Aplicaçoes e Tecnologias Associadas, 2007.
Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
Oliveira, H. Gonçalo, C. Mota, C. Freitas, D. Santos, and P. Carvalho, "Avaliação à medida no Segundo HAREM", Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM. Linguateca, pp. 97–129, 2008.
Duarte, C., L. Carriço, H. Simoes, T. Chambel, and N. Guimarães, "Avaliação de aspectos de sincronização de Livros Falados Digitais", Proceedings of the Workshop de Sistemas de Informaçao Multimédia, Cooperativos e Distribuıdos, Coop-Media, vol. 2003, 2003.
Teixeira, E., J. Antunes, and N. Ferreira Neves, "Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades", Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações, Lisboa, Portugal, 2007.
Duarte, C., T. Chambel, H. Simões, L. Carriço, E. Santos, G. Francisco, S. Neves, AC. Rua, J. Robalo, and T. Fernandes, Avaliação de Interfaces Multimodais para Livros Falados Digitais com foco Não Visual, : 2nd National Conference in Human Computer Interaction, 2006.
Silva, M. J., B. Martins, and M. Costa, Avaliação de Sistemas de Recuperação de Informação da Web em Português: Uma Proposta Inicial á Comunidade, : Department of Informatics, University of Lisbon, 2003.
Cruz, N., and H. Miranda, "Avaliação de um Sistema de Reputação e Incentivo", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
GEORGETTE, CS., de. O. C CARVALHO, J. FERREZINI, RS. KITAMURA, JA. da SILVA, ALF. SARRIA, CM. CAZAL, MFGF. SILVA, M. Cristina Oliveira, and AC. de S. CHAGAS, "Avaliação in vitro de extratos vegetais sobre fêmeas ingurgitadas de Rhipicephalus (Boophilus) microplus.", Embrapa Pecuária Sudeste-Resumo em anais de congresso (ALICE): In: SIMPÓSIO DE INICIA{\c{C}}ÃO CIENTÍFICA DA EMBRAPA PECUÁRIA SUDESTE, 2008, São Carlos, SP. Anais... São Carlos: Embrapa Pecuária Sudeste, 2008., 2009.
Antunes, P., C. Sapateiro, J. A. Pino, V. Herskovic, and S. F. Ochoa, "Awareness checklist: reviewing the quality of awareness support in collaborative applications", Collaboration and Technology: Springer Berlin Heidelberg, pp. 202–217, 2010.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "AWSM: infrastructure for adaptive web service migration", On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops: Springer Berlin Heidelberg, pp. 3–4, 2007.
B
Nicolau, H., K. Montague, T. Guerreiro, J. Guerreiro, and V. L. Hanson, "B\#: Chord-based Correction for Multitouch Braille Input", Proceedings of the 32nd Annual SIGCHI Conference on Human Factors in Computing Systems, 2014.
Miranda, H., and L. Rodrigues, "Balancing configurability and efficiency in network support tools", Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system: ACM, pp. 223–228, 2000.
Guerraoui, R., and L. Rodrigues, "Basic Abstractions", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 25–68, 2006.
Martins, I. Filipa, A. L. Teixeira, L. Pinheiro, and A. O. Falcao, "A Bayesian approach to in silico blood-brain barrier penetration modeling", Journal of chemical information and modeling, vol. 52, no. 6: American Chemical Society, pp. 1686–1697, 2012.
Bessani, A., H. P. Reiser, M. Vukolić, and T. Distler, "BCRB 2018 introduction", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W): IEEE, pp. 121–121, 2018.
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.
Ancona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., "Behavioral types in programming languages", Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
Chambel, T., E. Oliveira, and P. Martins, "Being happy, healthy and whole watching movies that affect our emotions", Affective Computing and Intelligent Interaction: Springer Berlin Heidelberg, pp. 35–45, 2011.
Couto, F., I. Andrade, P. Gonçalves, and P. Verissimo, Benchmarking some Portuguese S&T system research units, , 2010.
Couto, F., D. Faria, B. Tavares, P. Gonçalves, and P. Verissimo, "Benchmarking some Portuguese S&T system research units", arXiv preprint arXiv:1302.0420, 2013.
Couto, F., D. Faria, B. Tavares, P. Gonçalves, and P. Verissimo, "Benchmarking some Portuguese S&T system research units: 2nd Edition", arXiv preprint arXiv:1302.0420, 2013.
Nunes, P., I. Medeiros, J. C. Fonseca, N. Neves, M. Correia, and M. Vieira, "Benchmarking Static Analysis Tools for Web Security", IEEE Transactions on Reliability, vol. 67, no. 3: IEEE, pp. 1159–1175, 2018.
Berman, E., E. Hajdu, GR. da S. Muricy, HP. Lavrado, IA. Cardoso, I. Verissimo, de. C. L Monteiro, LM. de S. Gestinari, de. L. L Loiola, MS. de Medeiros, et al., "Benthic biodiversity of the central region of the Brazilian Economic Exclusion Zone.", Biodiversidade bentônica da região central da Zona Econômica Exclusiva brasileira: Museo Nacional, Rio de Janeiro, 2006.
Bartoletti, M., I. Castellani, P-M. Deniélou, M. Dezani-ciancaglini, S. Ghilezan, J. Pantović, J. A. Pérez, P. Thiemann, B. Toninho, and H. Torres Vieira, BETTY WG2 State of the art report, , 2014.
Ancona, D., V. Bono, M. Bravetti, J. Campos, P-M. Deniélou, N. Gesbert, E. Giachino, R. Hu, E. Broch Johnsen, F. Martins, et al., "BETTY WG3–Languages: State of the Art Report", Report of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf, 2014.
Antunes, P., N. Guimarães, J. Segovia, and J. Cardenosa, "Beyond formal processes: Augmenting workflow with group interaction techniques", Proceedings of conference on Organizational computing systems: ACM, pp. 1–9, 1995.
Aubry, F., A. Neves Bessani, and P. Sousa, "BFT Services Programming with a Dependable Tuple Space", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Correia, M., N. Ferreira Neves, and P. Verissimo, "BFT-TO: Intrusion tolerance with less replicas", The Computer Journal: Oxford University Press, pp. bxs148, 2012.
Henriques, R., and S. C. Madeira, "BiC2PAM: constraint-guided biclustering for biological data analysis with domain knowledge", Algorithms for Molecular Biology, vol. 11, no. 1: BioMed Central, pp. 23, 2016.
Henriques, R., and S. C. Madeira, "BicNET: Flexible module discovery in large-scale biological networks using biclustering", Algorithms for Molecular Biology, vol. 11, no. 1: BioMed Central, pp. 14, 2016.
Henriques, R., F. L. Ferreira, and S. C. Madeira, "BicPAMS: software for biological data analysis with pattern-based biclustering", BMC bioinformatics, vol. 18, no. 1: BioMed Central, pp. 82, 2017.
Viegas, E., A. Santin, A. Bessani, and N. Neves, "BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks", Future Generation Computer Systems: Elsevier, 2018.
Azevedo, NF., N. Guimarães, CW. Keevil, and MJ. Vieira, Biofilms as possible microenvironments for H. pylori subsistence in water-exposed environments, , 2006.
Couto, F., and M. J. Silva, Bioinformática-Exploração da Informação, : centroatlantico. pt magazine, 2003.
Couto, F., M. J. Silva, and P. Fernandes, Bioinformatics: Knowledge Discovery in Biology, : Bioinformatics: Knowledge Discovery in Biology-Workshop Proceedings, 2005.
Wang, F., G. Luo, C. Weng, A. Khan, P. Mitra, and C. Yu, Biomedical Data Management and Graph Online Querying, : Springer, 2016.
Tavares, B., H. Bastos, D. Faria, J. Ferreira, T. Grego, C. Pesquita, and F. Couto, "The Biomedical Ontology Applications (BOA) framework", evaluation, vol. 9, no. S5, pp. S4, 2008.
Cruz, I. F., C. Stroe, C. Pesquita, F. Couto, and V. Cross, "Biomedical Ontology Matching Using the AgreementMaker System.", ICBO, 2011.
Couto, F., and M. J. Silva, Biomedical research line of LASIGE, , 2008.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
Langlois, T., and S. Canu, "B-learning: a reinforcement learning variant for the control of a plant", Journal of intelligent material systems and structures, vol. 5, no. 2: Sage Publications, pp. 272–278, 1994.
Ramos, F. M. V., J. Crowcroft, and I. H. White, "Blending photons with electrons to reduce the energy footprint of IPTV networks", IFIP Networking Conference (IFIP Networking) and Workshops, 2016: IEEE, pp. 288–296, 2016.
Guerreiro, T., K. Montague, J. Guerreiro, R. Nunes, H. Nicolau, and D. J. V. Gonçalves, "Blind People Interacting with Large Touch Surfaces: Strategies for One-handed and Two-handed Exploration", Proceedings of the 2015 International Conference on Interactive Tabletops &\#38; Surfaces, New York, NY, USA, ACM, 2015.
Pesquita, C., C. Stroe, I. F. Cruz, and F. Couto, "BLOOMS on AgreementMaker: results for OAEI 2010", Ontology Matching, pp. 134, 2010.
Duarte, L., and L. Carriço, "Blue pill or red pill?: placebo effect and the outcome on physiological & player performance metrics", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 93–96, 2012.
Bastos, H., C. Pesquita, D. Faria, and A. O. Falcao, "BOLOS: BLAST & Ontology Linked-hOmologue Stars", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 1278–1281, 2008.
Lamurias, A., L. A. Clarke, and F. M. Couto, "BO-LSTM: Classifying relations via long short-term memory networks along biomedical ontologies", bioRxiv: Cold Spring Harbor Laboratory, pp. 336719, 2018.
Savoj, H., M. J. Silva, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Boolean matching in logic synthesis", Proceedings of the conference on European design automation: IEEE Computer Society Press, pp. 168–174, 1992.
Antunes, P., "BPM and exception handling: Focus on organizational resilience", IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, vol. 41, no. 3: Institute of Electrical and Electronics Engineers, Inc., 3 Park Avenue, 17 th Fl New York NY 10016-5997 USA, pp. 383–392, 2011.
Nunes, I., A. Lopes, and V. T. Vasconcelos, Bridging the Gap between Algebraic Specification and Generic Programming, : Runtime Verification, 9th International Workshop, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
Guimarães, N., A. Paula Pereira, and P. Antunes, "Bridging workflow and collaboration tools", 8th EuroGDSS Workshop, 1997.
Alchieri, E., A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage", Distributed Computing: Springer Berlin Heidelberg, pp. 443–444, 2012.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Distributed Computing: Springer Berlin Heidelberg, pp. 554–556, 2006.
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
Ferreira, J., C. Pesquita, F. Couto, and M. J. Silva, "Bringing epidemiology into the Semantic Web.", ICBO, 2012.
PASIC, A., P. SORIA-RODRIGUEZ, J. Paul MOORE, J. CLARKE, Z. D. O. O. L. Y. Will DONNELLY, W. FITZGERALD, S. JOHNSTONE, S. SHIU, V. LOTZ, M. MELIDEO, et al., "Bringing Together the European Stakeholders for Security and Dependability", Exploiting the Knowledge Economy: Issues, Applications and Case Studies, vol. 3: IOS Press, pp. 128, 2006.
Lima, R., C. Baquero, and H. Miranda, "Broadcast cancellation in search mechanisms", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 548–553, 2013.
Lopes, R., and L. Carriço, "Browsing a Structured Multimedia Repository.", WEBIST (2), pp. 429–432, 2007.
Aniceto, M., J. Moura Pires, N. Datia, and A. Paula Afonso, "Browsing Multidimensional Visual Entities", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 146–151, 2016.
Henriques, R., and S. C. Madeira, "BSig: evaluating the statistical significance of biclustering solutions", Data Mining and Knowledge Discovery, vol. 32, no. 1: Springer, pp. 124–161, 2018.
Henriques, R., and S. C. Madeira, "BSig: evaluating the statistical significance of biclustering solutions", Data Mining and Knowledge Discovery: Springer, pp. 1–38, 2017.
Bessani, A. Neves, J. da Silva Fraga, and C. L Lung, "BTS: A Byzantine fault-tolerant tuple space", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 429–433, 2006.
Silva, M. J., F. Silva, L. Filipe Lopes, and F. Couto, "Building a digital library for epidemic modelling", Proceedings of ICDL, pp. 23–27, 2010.
Maria, N., and M. J. Silva, "Building a digital library of web news", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 344–347, 2000.
Rufino, J., J. Craveiro, and P. Verissimo, "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
Rosa, L., L. Rodrigues, and A. Lopes, Building adaptive services for distributed systems, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "Building adaptive systems with service composition frameworks", On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: Springer Berlin Heidelberg, pp. 754–771, 2007.
Duarte, C., D. Costa, P. Feiteira, and D. Costa, "Building an Adaptive Multimodal Framework for Resource Constrained Systems", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 155–173, 2013.
Antunes, J., and N. Ferreira Neves, "Building an automation towards reverse protocol engineering", 2012-10-10]. http://homepages. di. fc. ul. pt/\~{} nuno/PAPERS/INFORUM09. pdf, 2009.
Coelho, J., C. Duarte, P. Feiteira, D. Costa, and D. Costa, "Building Bridges Between Elderly and TV Application Developers", ACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions, pp. 53–59, 2012.

Pages