Publications

Export 2364 results:
Journal Article
Franceschinis, G., E. Alata, J. Antunes, H. Beitollah, A. Neves Bessani, M. Correia, W. Dantas, G. Deconinck, M. Kaaniche, N. Ferreira Neves, et al., Experimental validation of architectural solutions, , 2009.
Donatelli, S., E. Alata, J. Antunes, M. Kaaniche, N. Ferreira Neves, and P. Verissimo, Experimental validation of architectural solutions (I), : Department of Informatics, University of Lisbon, 2008.
Franceschinis, G., E. Alata, J. Antunes, H. Beitollah, A. Neves Bessani, M. Correia, W. Dantas, G. Deconinck, M. Kaaniche, N. Ferreira Neves, et al., Experimental validation of architectural solutions (II), , 2009.
Cardoso, N., and M. J. Silva, Experiments with Semantic-flavored Query Reformulation of Geo-Temporal Queries, , 2002.
Galhardas, H., A. Lopes, and E. Santos, Explicitly Involving the User in a Data Cleaning Process, , 2010.
Rosa, J., J. Craveiro, and J. Rufino, "Exploiting AIR composability towards spacecraft onboard software update", Actas do INForum-Simpósio de Informática, 2010.
Ferreira, J., J. Hastings, and F. Couto, "Exploiting disjointness axioms to improve semantic similarity measures", Bioinformatics, vol. 29, no. 21: Oxford University Press, pp. 2781–2787, 2013.
Gaspar, D., C. Trindade, A. Usié, B. Meireles, P. Barbosa, A. M. Fortes, C. Pesquita, R. L. Costa, and A. M. Ramos, "Expression Profiling in Pinus pinaster in Response to Infection with the Pine Wood Nematode Bursaphelenchus xylophilus", Forests, vol. 8, no. 8: Multidisciplinary Digital Publishing Institute, pp. 279, 2017.
Gaspar, D., C. Trindade, A. Usié, B. Meireles, P. Barbosa, A. M. Fortes, C. Pesquita, R. L. Costa, and A. M. Ramos, "Expression profiling in Pinus pinaster in response to infection with the pine wood nematode Bursaphelenchus xylophilus", Forests, vol. 8, no. 8: Multidisciplinary Digital Publishing Institute, pp. 279, 2017.
Santos, A. L., K. Koskimies, and A. Lopes, Extending Object-Oriented Frameworks with Aspects for Enabling Automatic Support for Domain-Specic Modeling, : Department of Informatics, University of Lisbon, 2007.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", ACM SIGOIS Bulletin, vol. 13, no. 1: ACM, pp. 5–7, 1992.
Lamurias, A., L. A. Clarke, and F. M. Couto, "Extracting microRNA-gene relations from biomedical literature using distant supervision", PloS one, vol. 12, no. 3: Public Library of Science, pp. e0171929, 2017.
Lamurias, A., M. J. Rodrigues, L. A. Clarke, and F. M. Couto, "Extraction of Regulatory Events using Kernel-based Classifiers and Distant Supervision", ACL 2016, pp. 88, 2016.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Fac. de Cienc., Univ. de Lisboa, Lisbon, Portugal", Dependable and Secure Computing, IEEE Transactions on, vol. 10, no. 5: IEEE, pp. 301–313, 2013.
Rodrigues, A., "Facilitating smartphone use for blind people through a human powered approach", ACM SIGACCESS Accessibility and Computing, no. 120: ACM, pp. 28–31, 2018.
Antunes, P., and T. Ho, "Facilitation Tool-a tool to assist facilitators managing group decision support systems", Ninth Workshop on Information Technologies and Systems, WITS, vol. 99, 1999.
Rebholz-Schuhmann, D., H. Kirsch, and F. Couto, "Facts from text–Is text mining ready to deliver?", PLoS Biology, vol. 3, no. 2: Public Library of Science, pp. e65, 2005.
Fonseca, P., and H. Miranda, FASE: Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, , 2008.
Vogels, W., L. Rodrigues, and P. Verissimo, Fast group communication for standard workstations, , 1992.
Silva, G. X., JD. Amaral, T. Langlois, and L. B. Almeida, "Faster training of recurrent networks", Spatiotemporal models in biological and artificial systems, pp. 168–175, 1996.
Vilaça, X., L. Rodrigues, J. Silva, H. Miranda, G. Correia, and T. Maurício, "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming", Pervasive and Mobile Computing, vol. 46: Elsevier, pp. 18–33, 2018.
Reiser, H. P., and R. Kapitza, "Fault and intrusion tolerance on the basis of virtual machines", 1. GI/ITG KuVS Fachgespräch "Virtualisierung", pp. 77, 2008.
Favarim, F., C. L Lung, J. da Silva Fraga, and M. Correia, "Fault-tolerant multiuser computational grids based on tuple spaces", International Workshop on Dependability in Service-oriented Grids (WODSOG), 2006.
Mariano, P., F. M. V. Ramos, and H. Torres Vieira, FCUL Rally Pro 2013, , 2013.
Correia, M., P. Costa, M. Pasin, A. Neves Bessani, F. M. V. Ramos, and P. Verissimo, On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds, , 2012.
Penz, F., P. Antunes, and M. J. Fonseca, "Feedback in computer supported cooperation systems: Example of the user interface design for a talk-like tool", 12th Schaerding International Workshop, The Design of Computer Supported Cooperative Work and Groupware Systems, 1993.
Penz, F., P. Antunes, and M. J. Fonseca, "Feedback in computer supported cooperation systems: User interface design for a talk-like tool", Human Factors in Information Technology, vol. 12: Elsevier, pp. 241–257, 1996.
Rodrigues, I., L. Duarte, and T. Guerreiro, Ferramentas Contextuais para Pessoas Cegas, , 2013.
Couto, F., M. J. Silva, and P. Coutinho, "Figo: Finding go terms in unstructured text", Proc. of BioCreative Workshop, 2004.
Couto, F., M. J. Silva, and P. Coutinho, "FIGO: findings GO terms in unStructured text", Proc. of BioCreative Workshop, 2004.
Couto, F., T. Grego, R. Torres, P. Sánchez, L. Pascual, and C. Blaschke, "Filtering bioentity recognition errors in bioliterature using a case-based approach", BioLINK SIG, ISMB/ECCB, 2007.
Rocha, F., S. Abreu, and M. Correia, "The final frontier: Confidentiality and privacy in the cloud", Computer, vol. 44, no. 9: IEEE Computer Society, pp. 44–50, 2011.
Couto, F., M. J. Silva, and P. Coutinho, "Finding genomic ontology terms in text using evidence content", BMC bioinformatics, vol. 6, no. Suppl 1: BioMed Central Ltd, pp. S21, 2005.
Antunes, J., N. Ferreira Neves, and P. Verissimo, Finding Local Resource Exhaustion Vulnerabilities, : International Symposium on Software Reliability Engineering, 2007.
Carriço, L., and C. Duarte, Finding New Ways to Read Digital Talking Books, : Department of Informatics, University of Lisbon, 2005.
Rodrigues, M., L. Carriço, and C. Duarte, Finding New Ways to Read Digital Talking Books, , 2005.
Neves, N. Ferreira, and , "First Specification of APIs and Protocols for the MAFTIA Middleware", Project MAFTIA IST-1999-11583 deliverable D24, 2001.
Armstrong, J., C. Cachin, M. Correia, A. Costa, H. Miranda, N. Ferreira Neves, N. Ferreira Neves, JA. Poritz, B. Randell, C. L Lung, et al., First Specification of APIs and Protocols for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Domingos, D., R. Martinho, and C. Cândido, "Flexibility in cross-organizational ws-bpel business processes", Procedia Technology, vol. 9: Elsevier, pp. 584–595, 2013.
Duarte, C., L. Carriço, and H. Simoes, "A Flexible Interface Architecture for Digital Talking Books", Proceedings of the 6th International Conference on Enterprise Information Systems, ICEIS, vol. 4, 2004.
Falcao, A. O., T. Langlois, and A. Wichert, "Flexible kernels for RBF networks", Neurocomputing, vol. 69, no. 16: Elsevier, pp. 2356–2359, 2006.
Pilowsky, F. Bruno Bayt, P. Antunes, G. Zurita Alarcón, and N. Baloian Tataryan, A Flexible, Lightweight Middleware Supporting the Development of Distributed Applications across Platforms, , 2007.
Craveiro, J., J. Rufino, T. Schoofs, and J. Windsor, "Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.
Martinho, R., D. Domingos, and J. Varajao, A flexible perspective for software processes-Supporting Flexibility in the Software Process Engineering Metamodel, : 9th International Conference on Enterprise Information Systems, 2007.
Gonçalves, D., M. Costa, and F. M. Couto, "A Flexible Recommendation System for Cable TV", arXiv preprint arXiv:1609.02451, 2016.
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A formal model for programming wireless sensor networks", arXiv preprint cs/0702042, 2007.
Martins, F., A Formal Model for Programming Wireless Sensor Networks, , 2007.
Fiadeiro, J., A. Lopes, and J. Abreu, "A formal model for service-oriented interactions", Science of Computer Programming, vol. 77, no. 5: Elsevier, pp. 577–608, 2012.
Baptista, M., S. Graf, J-L. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, "Formal specification and verification of a network independent atomic multicast protocol", Third International Conference on Formal Description Techniques (FORTE 90), 1990.
Hüttel, H., I. Lanese, V. T. Vasconcelos, L. Caires, M. Carbone, P-M. Deniélou, D. Mostrous, L. Padovani, A. Ravara, E. Tuosto, et al., "Foundations of session types and behavioural contracts", ACM Computing Surveys (CSUR), vol. 49, no. 1: ACM, pp. 3, 2016.
Rufino, J., R. Pinto, and C. Almeida, FPGA-based Engineering of Bus Media Redundancy in CAN, : 12th International CAN Conference-(iCC 2008), 2008.
Rufino, J., R. Pinto, and C. Almeida, "A FPGA-based solution for enforcing dependability and timeliness in CAN", Proceedings of the 2007 IP Based Electronic System (IP'07), Grenoble, France, 2007.
Casimiro, A., P. Lolinni, M. Dixit, A. Bondavalli, and P. Verissimo, A framework for dependable adaptation in probabilistic environments, : Department of Informatics, University of Lisbon, 2007.
Guimarães, N., "A framework for the construction of interactive applications", The INESC Journal of Research and Development, vol. 2, no. 1: INESC, pp. 50–71, 1991.
Direito, I., M. Oliveira, P. Real, P. Antunes, A. Santos, and A. Duarte, A Framework for the Design and Implementation of Learning Objects: a Competence-based Approach, : SPDECE08, 2008.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Pilowsky, F. Bruno Bayt, P. Antunes, N. Baloian Tataryan, A. Farias, and G. Zurita Alarcón, A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Guimarães, N., T. Chambel, and J. Bidarra, "From cognitive maps to hypervideo: Supporting flexible and rich learner-centred environments", Interactive Multimedia Electronic Journal of Computer-Enhanced Learning, vol. 2, no. 2, 2000.
Correia, M., N. Ferreira Neves, and P. Verissimo, "From consensus to atomic broadcast: Time-free Byzantine-resistant protocols without signatures", The Computer Journal, vol. 49, no. 1: Br Computer Soc, pp. 82–96, 2006.
Cogo, V. Vielmo, and A. Neves Bessani, "From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories", Revista ComInG-Communications and Innovations Gazette, vol. 1, no. 1, pp. 01–11, 2016.
Dias, R., D. Gonçalves, and M. J. Fonseca, "From manual to assisted playlist creation: a survey", Multimedia Tools and Applications, vol. 76, no. 12: Springer, pp. 14375–14403, 2017.
Casimiro, A., and M. Dixit, "From static to dynamic protocols: adapting timeouts for improved performance", Proceedings of the 1st Workshop on Autonomic Distributed Systems, pp. 17–20, 2011.
Bastos, H. P., L. Sousa, L. A. Clarke, and F. M. Couto, "Functional coherence metrics in protein families", Journal of biomedical semantics, vol. 7, no. 1: BioMed Central, pp. 41, 2016.
Verissimo, P., "Fundamental questions in the et vs. tt debate? please look elsewhere", Booklet of the NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services, 2002.
Vasconcelos, V. T., "Fundamentals of session types", Information and Computation, vol. 217: Academic Press, pp. 52–70, 2012.
Vasconcelos, V. T., Fundamentals of Session Types, Formal Methods for Web Services, : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 2009.
Briggs, R. O., and P. Antunes, "GDN Special Issue on Advances in Collaboration Technology", Group Decision and Negotiation, vol. 20, no. 5: Springer, pp. 531–533, 2011.
Antunes, P., T. Ho, and L. Carriço, "A GDSS agenda builder for inexperienced facilitators", Proceedings of the 10th EuroGDSS workshop: Copenhagen, Denmark: Delft University of Technology, pp. 1–15, 1999.
Costa, C., P. Antunes, and J. Ferreira Dias, "GDSS: Limitações e Oportunidades", Nova Economia e Tecnologias de Informação: Desafios para Portugal. Universidade Católica Editora, Lisboa, pp. 147–165, 2000.
Costa, C., P. Antunes, and J. Ferreira Dias, GDSS: Limita$η$$\upsilon$es e Oportunidades, : Nova Economia e Tecnologias de Informa$η$$\gamma$o: Desafios para Portugal, 2000.
Caleiro, C., F. Casal, and A. Mordido, "Generalized probabilistic satisfiability", Electronic Notes in Theoretical Computer Science, vol. 332: Elsevier, pp. 39–56, 2017.
Lamurias, A., J. D. Ferreira, L. A. Clarke, and F. M. Couto, "Generating a Tolerogenic Cell Therapy Knowledge Graph from Literature", Frontiers in Immunology, vol. 8: Frontiers, pp. 1656, 2017.
Siqueira, JM., TA. Paço, JC. Silvestre, FL. Santos, A. O. Falcao, and LS. Pereira, "Generating fuzzy rules by learning from olive tree transpiration measurement–An algorithm to automatize Granier sap flow data analysis", Computers and Electronics in Agriculture, vol. 101: Elsevier, pp. 1–10, 2014.
Ferreira, J., and F. Couto, "Generic Semantic Relatedness Measure for Biomedical Ontologies.", ICBO, vol. 833, 2011.
Jäger, G., S. Zug, and A. Casimiro, "Generic Sensor Failure Modeling for Cooperative Systems", Sensors, vol. 18, no. 3: Multidisciplinary Digital Publishing Institute, pp. 925, 2018.
Martins, P., A. Casimiro, and P. Verissimo, A Generic Temporal Consistency Model for Distributed Control Systems, : WACERTS'04-Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004.
Gomes, J., F. Silva, and T. Chambel, "Genetic Soundtracks: Creative Matching of Audio to Video", arXiv preprint arXiv:1304.2671, 2013.
Afonso, A. Paula, and S. Freitas, Geographic Information Retrieval Systems for Mobile Devices, : The Mediterranean Journal of Computers and Networks, 2007.
Chaves, M., M. J. Silva, and B. Martins, A geographic knowledge base for semantic web applications, : 20th Brazilian Symposium on Databases-SBBD, 2005.
Chaves, M., M. J. Silva, and B. Martins, "A geographic knowledge base for text processing", Proceedings of SBBD-05, the 20th Brazilian Symposium on Databases, 2005.
Lopez-Pellicer, F. J., M. J. Silva, M. Chaves, and C. Rodrigues, Geographic ontologies production in grease-ii, , 2009.
Lopez-Pellicer, F. J., M. Chaves, C. Rodrigues, and M. J. Silva, Geographic Ontologies Production in Grease-II Technical Report, , 2009.
Ferreira, J., D. S. Batista, F. Couto, and M. J. Silva, The Geo-Net-PT/Yahoo! GeoPlanet (TM) concordance, , 2010.
Pombinho, P., M. Ana, A. Paula Afonso, and M. Beatriz Carmo, Geo-referenced Information Visualization on Mobile Devices, : Citeseer, 2007.
Freitas, S., A. Paula Afonso, and M. J. Silva, Geotumba móvel: motor de busca geográfico para dispositivos móveis, : Conference on Mobile and Ubiquitous Systems, 2006.
Félix, J. Luís Mont, Gestão de estado eficiente no serviço de coordenação DDS, , 2012.
Duarte, C., and A. Neto, "Gesture interaction in cooperation scenarios", Groupware: Design, Implementation, and Use: Springer, pp. 190–205, 2009.
Neng, L. A. R., and T. Chambel, "Get Around 360º Hypervideo Its Design and Evaluation", International Journal of Ambient Computing and Intelligence (IJACI), vol. 4, no. 4: IGI Global, pp. 40–57, 2012.
Santos, D., N. Cardoso, P. Carvalho, I. Dornescu, S. Hartrumpf, J. Leveling, and Y. Skalban, "Getting geographical answers from Wikipedia: the GikiP pilot at CLEF", Working notes for the Cross Language Evaluation Forum, CLEF, pp. 17–19, 2008.
Santos, D., N. Cardoso, P. Carvalho, I. Dornescu, S. Hartrumpf, J. Leveling, and Y. Skalban, "GikiP at GeoCLEF 2008: Joining GIR and QA forces for querying Wikipedia", Evaluating Systems for Multilingual and Multimodal Information Access: Springer, pp. 894–905, 2009.
Campos, J. P., A. Paula Afonso, and M. J. Silva, GIL: A software tool for the construction of information dissemination systems, : Department of Informatics, University of Lisbon, 1999.
Alcântara, J., T. Oliveira, and A. Bessani, GINJA: One-dollar Cloud-based Disaster Recovery for Databases, , 2017.
Chaves, M., M. J. Silva, and B. Martins, Gkb-geographic knowledge base, : Department of Informatics, University of Lisbon, 2005.
Tomé, M., A. O. Falcao, A. Carvalho, and A. Amaro, "A global growth model for eucalypt plantations in Portugal", Lesnictvi-UZPI (Czech Republic), 1995.
Agapi, A., T. Kielmann, M. Pasin, S. Soudan, and P. Vicat- Blan Primet, Globally Optimal Bulk Data Transfers in Overlay Routing Networks, , 2008.
Tomé, M., A. O. Falcao, and A. Amaro, "Globulus V1. 0.0: A regionalised growth model for Eucalypt plantations in Portugal", Proceedings of the IUFRO Conference: Modelling growth of fast-grown tree species, pp. 138–145, 1997.
Pesquita, C., and F. Couto, GO where we need it to go: focused automated enrichment of the Gene Ontology. Student Council Symposium, : Student Council Symposium at ISMB/ECCB 2009, 2009.
Martinho, R., D. Domingos, and J. Varajao, "Goals and Requirements for Supporting Controlled Flexibility in Software Processes", Information Resources Management Journal (IRMJ), vol. 23, no. 3: IGI Global, pp. 11–26, 2010.
Couto, F., M. J. Silva, V. Lee, E. Dimmer, E. Camon, R. Apweiler, H. Kirsch, and D. Rebholz-Schuhmann, GOAnnotator: linking electronic protein GO annotation to evidence text, , 2005.

Pages