Publications

Export 2272 results:
Book Chapter
Oliveira, I., and N. Guimarães, "Practical Neurophysiological Analysis of Readability as a Usability Dimension", Human Factors in Computing and Informatics: Springer Berlin Heidelberg, pp. 194–211, 2013.
Alchieri, E. A. P., A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, "Proactive Byzantine Quorum Systems", On the Move to Meaningful Internet Systems: OTM 2009: Springer Berlin Heidelberg, pp. 708–725, 2009.
Lopes, L., F. Martins, and J. Barros, "Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
Rodrigues, L., and M. Raynal, "Quorum-based replication in asynchronous crash-recovery distributed systems", Euro-Par 2000 Parallel Processing: Springer Berlin Heidelberg, pp. 605–608, 2000.
Verissimo, P., and L. Rodrigues, "Real-Time Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 277–288, 2001.
Lopes, R., K. Van Isacker, and L. Carriço, "Redefining assumptions: accessibility and its stakeholders", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 561–568, 2010.
Chambel, T., P. Antunes, C. Duarte, L. Carriço, and N. Guimarães, "Reflections on Teaching Human-Computer Interaction to Blind Students", Creativity and HCI: From Experience to Design in Education: Springer US, pp. 123–142, 2009.
Verissimo, P., and L. Rodrigues, "Reliable multicasting in high-speed LANs", High-Capacity Local and Metropolitan Area Networks: Springer Berlin Heidelberg, pp. 397–412, 1991.
Bandeira, R., R. Lopes, and L. Carriço, "Results from multi-dimensional accessibility assessment", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 187–196, 2011.
Antunes, P., and J. A. Pino, "A review of CRIWG research", Collaboration and Technology: Springer Berlin Heidelberg, pp. 1–15, 2010.
Antunes, P., R. Bandeira, L. Carriço, G. Zurita, N. Baloian, and R. Vogt, "Risk assessment in healthcare collaborative settings: A case study using SHELL", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 65–73, 2008.
Mocito, J., and L. Rodrigues, "Run-time switching between total order algorithms", Euro-Par 2006 Parallel Processing: Springer Berlin Heidelberg, pp. 582–591, 2006.
Crispim, P., A. Lopes, and V. T. Vasconcelos, "Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
André, P., and P. Antunes, "SaGISC: a geo-collaborative system", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 175–191, 2004.
Verissimo, P., and L. Rodrigues, "Secure Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 487–510, 2001.
Verissimo, P., "Security Made, Not Perfect, But Automatic", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 217–223, 2014.
Verissimo, P., "Security Made, Not Perfect, But Automatic (Transcript of Discussion)", Security Protocols XVIII: Springer Berlin Heidelberg, pp. 224–232, 2014.
Verissimo, P., and L. Rodrigues, "Security Paradigms", Distributed Systems for System Architects: Springer US, pp. 395–426, 2001.
Rosa, L., L. Rodrigues, and A. Lopes, "Self-management of Distributed Systems Using High-Level Goal Policies", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 162–190, 2013.
Votis, K., R. Lopes, D. Tzovaras, L. Carriço, and S. Likothanassis, "A Semantic Accessibility Assessment Environment for Design and Development for the Web", Universal Access in Human-Computer Interaction. Applications and Services: Springer Berlin Heidelberg, pp. 803–813, 2009.
Soliman, T. H., and M. H. Abdel Reheim, "Semantic Data Integration", Handbook of Big Data Technologies , First Online: 26 February 2017, pp. pp 263-305, 2017.
Cheatham, M., and C. Pesquita, "Semantic Data Integration", Handbook of Big Data Technologies: Springer, pp. 263–305, 2017.
Pereira, J., L. Rodrigues, and R. Oliveira, "Semantically Reliable Broadcast", Concurrency in Dependable Computing: Springer US, pp. 189–207, 2002.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Yoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda, "Session-based compilation framework for multicore programming", Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
Oliveira, T., R. Mendes, and A. Neves Bessani, "Sharing Files Using Cloud Storage Services", Euro-Par 2014: Parallel Processing Workshops: Springer International Publishing, pp. 13–25, 2014.
Caires, L., and H. Torres Vieira, "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications", Tools and Algorithms for the Construction and Analysis of Systems: Springer Berlin Heidelberg, pp. 485–491, 2012.
Barata, C., M. Abreu, P. Torres, J. Teixeira, T. Guerreiro, and F. Couto, "Social Impact-Identifying Quotes of Literary Works in Social Networks", Progress in Artificial Intelligence: Springer, pp. 789–795, 2015.
de Lemos, R., H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, et al., "Software engineering for self-adaptive systems: A second research roadmap", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 1–32, 2013.
Ramires, J., P. Antunes, and A. Respicio, "Software requirements negotiation using the software quality function deployment", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 308–324, 2005.
de Andrade, F. Rebello, J. P. Faria, A. Lopes, and A. C. R. Paiva, "Specification-driven unit test generation for java generic classes", Integrated Formal Methods: Springer Berlin Heidelberg, pp. 296–311, 2012.
Abreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes, "Specifying and composing interaction protocols for service-oriented system modelling", Formal Techniques for Networked and Distributed Systems–FORTE 2007: Springer Berlin Heidelberg, pp. 358–373, 2007.
Martins, B., and M. J. Silva, "Spelling correction for search engine queries", Advances in Natural Language Processing: Springer Berlin Heidelberg, pp. 372–383, 2004.
Martins, B., and M. J. Silva, "A statistical study of the WPT-03 corpus", Advances in Natural Language Processing: Springer Berlin Heidelberg, pp. 384–394, 2004.
Borges, J. G., J. Garcia-Gonzalo, S. Marques, V. A. Valdebenito, M. E. McDill, and A. O. Falcao, "Strategic Management Scheduling", The Management of Industrial Forest Plantations: Springer Netherlands, pp. 171–238, 2014.
Cosquer, F. J. N., P. Verissimo, S. Krakowiak, and L\"ıc. Decloedt, "Support for distributed CSCW applications", Advances in Distributed Systems: Springer Berlin Heidelberg, pp. 295–326, 2000.
Galhardas, H., A. Lopes, and E. Santos, "Support for user involvement in data cleaning", Data Warehousing and Knowledge Discovery: Springer Berlin Heidelberg, pp. 136–151, 2011.
de Sá, M., and L. Carriço, "Supporting end-user development of personalized mobile learning tools", Human-Computer Interaction. Interacting in Various Application Domains: Springer Berlin Heidelberg, pp. 217–225, 2009.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "Supporting the Design of Mobile Artefacts for Paper-Based Activities", Computer-Aided Design of User Interfaces VI: Springer London, pp. 137–149, 2009.
Sapateiro, C., P. Antunes, G. Zurita, N. Baloian, and R. Vogt, "Supporting unstructured activities in crisis management: A collaboration model and prototype to improve situation awareness", Mobile Response: Springer Berlin Heidelberg, pp. 101–111, 2009.
Ferreira, A., and P. Antunes, "A technique for evaluating shared workspaces efficiency", Computer Supported Cooperative Work in Design III: Springer, pp. 82–91, 2007.
Maria, N., and M. J. Silva, "Theme-based retrieval of Web news", The World Wide Web and Databases: Springer Berlin Heidelberg, pp. 26–37, 2001.
Delahaye, B\^ıt., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "A timed component algebra for services", Formal Techniques for Distributed Systems: Springer Berlin Heidelberg, pp. 242–257, 2013.
Rodrigues, L., A. Mostéfaoui, C. Fetzer, and P. Tsigas, "Topic 8 Distributed Systems and Algorithms", Euro-Par 2007 Parallel Processing: Springer Berlin Heidelberg, pp. 549–549, 2007.
Rodrigues, L., and P. Verissimo, "Topology-aware algorithms for large-scale communication", Advances in Distributed Systems: Springer Berlin Heidelberg, pp. 127–156, 2000.
Batista, D. S., J. Ferreira, F. Couto, and M. J. Silva, "Toponym disambiguation using ontology-based semantic similarity", Computational Processing of the Portuguese Language: Springer Berlin Heidelberg, pp. 179–185, 2012.
Machado, C. M., F. Couto, A. R. Fernandes, S. Santos, and A. T. Freitas, "Toward a translational medicine approach for hypertrophic cardiomyopathy", Information Technology in Bio-and Medical Informatics: Springer Berlin Heidelberg, pp. 151–165, 2012.
Carvalho, N., J. Pereira, and L. Rodrigues, "Towards a generic group communication service", On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE: Springer Berlin Heidelberg, pp. 1485–1502, 2006.
Marques, L., and A. Casimiro, "Towards dependable and stable perception in smart environments with timing and value faults", Computer Safety, Reliability, and Security: Springer Berlin Heidelberg, pp. 151–161, 2012.
Jesus, G. Joao Vitor, A. Casimiro, and A. Oliveira, "Towards Dependable Measurements in Coastal Sensors Networks", Dependable Computing: Springer Berlin Heidelberg, pp. 190–193, 2013.
Oliveira, E., M. Benovoy, N. Ribeiro, and T. Chambel, "Towards emotional interaction: using movies to automatically learn users' emotional states", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 152–161, 2011.
Kreutz, D., A. Casimiro, and M. Pasin, "A trustworthy and resilient event broker for monitoring cloud infrastructures", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 87–95, 2012.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, "A type system for flexible role assignment in multiparty communicating systems", Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
Padovani, L., V. T. Vasconcelos, and H. Torres Vieira, "Typing liveness in multiparty communicating systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.
Vieira, H. Torres, and V. T. Vasconcelos, "Typing progress in communication-centred systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, "UbiData: An adaptable framework for information dissemination to mobile users", Object-Oriented Technology: ECOOP'98 Workshop Reader: Springer Berlin Heidelberg, pp. 309–310, 1998.
Verissimo, P., "Uncertainty and predictability: Can they be reconciled?", Future Directions in Distributed Computing: Springer Berlin Heidelberg, pp. 108–113, 2003.
Cardoso, N., M. J. Silva, and B. Martins, "The University of Lisbon at CLEF 2006 ad-hoc task", Evaluation of multilingual and multi-modal information retrieval: Springer Berlin Heidelberg, pp. 51–56, 2007.
Martins, B., N. Cardoso, M. Chaves, L. Andrade, and M. J. Silva, "The university of lisbon at geoclef 2006", Evaluation of Multilingual and Multi-modal Information Retrieval: Springer Berlin Heidelberg, pp. 986–994, 2007.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "A use-case driven approach to formal service-oriented modelling", Leveraging Applications of Formal Methods, Verification and Validation: Springer Berlin Heidelberg, pp. 155–169, 2008.
Cardoso, N., D. Cruz, M. Chaves, and M. J. Silva, "Using geographic signatures as query and document scopes in geographic IR", Advances in Multilingual and Multimodal Information Retrieval: Springer Berlin Heidelberg, pp. 802–810, 2008.
Kapitza, R., P. Baumann, and H. P. Reiser, "Using object replication for building a dependable version control system", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 86–99, 2008.
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
Falcao, A. O., "Visualization in the Design of Forested Landscapes", Designing Green Landscapes: Springer Netherlands, pp. 245–263, 2008.
Costa, D., N. Fernandes, S. Neves, C. Duarte, R. Hijón-Neira, and L. Carriço, "Web accessibility in Africa: a study of three African domains", Human-Computer Interaction–INTERACT 2013: Springer Berlin Heidelberg, pp. 331–338, 2013.
Silva, M. J., and B. Martins, "Web information retrieval with result set clustering", Progress in Artificial Intelligence: Springer Berlin Heidelberg, pp. 450–454, 2003.
Pesquita, C., D. Faria, C. Stroe, E. Santos, I. F. Cruz, and F. Couto, "What's in a 'nym'? Synonyms in Biomedical Ontology Matching", The Semantic Web–ISWC 2013: Springer Berlin Heidelberg, pp. 526–541, 2013.
Duarte, C., and L. Carriço, "When you can't read it, listen to it! An audio-visual interface for book reading", Universal Access in Human-Computer Interaction. Applications and Services: Springer Berlin Heidelberg, pp. 24–33, 2009.
Cardoso, N., D. S. Batista, F. J. Lopez-Pellicer, and M. J. Silva, "Where in the Wikipedia is that answer? the XLDB at the GikiCLEF 2009 task", Multilingual Information Access Evaluation I. Text Retrieval Experiments: Springer Berlin Heidelberg, pp. 305–309, 2010.
Mourão, H., and P. Antunes, "Workflow recovery framework for exception handling: involving the user", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 159–167, 2003.
Hahn, V., P. Hamisu, C. Jung, G. Heinrich, C. Duarte, and P. Langdon, "Workshop AccessibleTV "Accessible User Interfaces for Future TV Applications"", Ambient Intelligence: Springer Berlin Heidelberg, pp. 346–348, 2010.
Cardoso, N., M. J. Silva, and M. Costa, "The XLDB group at CLEF 2004", Multilingual Information Access for Text, Speech and Images: Springer Berlin Heidelberg, pp. 245–252, 2005.
Cardoso, N., B. Martins, M. Chaves, L. Andrade, and M. J. Silva, "The XLDB group at GeoCLEF 2005", Accessing Multilingual Information Repositories: Springer Berlin Heidelberg, pp. 997–1006, 2006.
Cardoso, N., L. Andrade, A. Simões, and M. J. Silva, "The XLDB group at the CLEF 2005 ad-hoc task", Accessing Multilingual Information Repositories: Springer Berlin Heidelberg, pp. 54–60, 2006.
Conference Paper
Bagchi, S., M. Correia, and P. Pal, "3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 600–601, 2009.
Correia, M., and P. Pal, "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 621–622, 2010.
Biswas, P., P. Langdon, C. Duarte, J. Coelho, T. Guerreiro, and C. Jung, "An accessible, adaptive and multimodal digital TV framework and corresponding development tool", Science and Information Conference (SAI), 2013: IEEE, pp. 28–37, 2013.
Oliveira, E., N. Ribeiro, and T. Chambel, "Accessing Movies’ Emotional Information", CISTI' 2015, 10th Iberian Conference on Information Systems and Technologies, Aveiro, Portugal, IEEE, 06/2015.
Serra, S., A. Jorge, and T. Chambel, "Acesso Multimodal em Dispositivos Móveis a Vídeo Georeferenciado através da Forma, Velocidade e Tempo", SciTecIN' 2015, Sciences and Technologies of Interaction, Encontro Português de Computação Gráfica e Interacção, Universidade de Coimbra, Portugal, 11/2015.
Janota, M., and J. Marques-Silva, "An Achilles’ Heel of Term-Resolution", Portuguese Conference on Artificial Intelligence: Springer, pp. 670–680, 2017.
Silva, M. J., and R. H. Katz, "Active documentation: a new interface for VLSI design", Design Automation, 1993. 30th Conference on: IEEE, pp. 654–660, 1993.
Correia, N., and T. Chambel, "Active video watching using annotation", Proceedings of the seventh ACM international conference on Multimedia (Part 2): ACM, pp. 151–154, 1999.
Rosa, J., J. Craveiro, and J. Rufino, "Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Craveiro, J., and J. Rufino, "Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
Carmo, M. Beatriz, A. Claudio, A. Ferreira, and A. Paula Afonso, "Adaptação de simbologia em realidade aumentada", EPCG: 20º encontro português de Computação gráfica, pp. 73–79, 2012.
Dixit, M., and A. Casimiro, "Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.", SRDS, pp. 141–147, 2010.
Lima, R., C. Baquero, and H. Miranda, "Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks", Proceedings of the 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), Cambridge, UK, 2015.
Rodrigues, L., S. B. Handurukande, J. Pereira, R. Guerraoui, and A-M. Kermarrec, "Adaptive gossip-based broadcast", International Conference on Dependable Systems and Networks, no. LPD-CONF-2006-019, 2003.
Almeida, C., and P. Verissimo, "An adaptive real-time group communication protocol", Factory Communication Systems, 1995. WFCS'95, Proceedings., 1995 IEEE International Workshop on: IEEE, pp. 63–71, 1995.
Neves, N. Ferreira, and K. W Fuchs, "Adaptive recovery for mobile environments", High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE: IEEE, pp. 134–141, 1996.
Antunes, P., and H. Mourão, "Adding a resilience-enhanced component to the WfMC reference architecture.", CSCWD, pp. 558–563, 2009.
Domingos, D., F. Martins, R. Martinho, and M. J. Silva, "Ad-hoc changes in IoT-aware business processes", Internet of Things (IOT), 2010: IEEE, pp. 1–7, 2010.
Mostrous, D., and V. T. Vasconcelos, "Affine Sessions", Coordination Models and Languages, 2014.
Faria, D., C. Pesquita, E. Santos, I.. Cruz, and F. Couto, "AgreementMakerLight 2.0: Towards Efficient Large-Scale Ontology Matching", International Semantic Web Conference (ISWC), 2014.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight results for OAEI 2013.", OM, pp. 101–108, 2013.
Faria, D., C. Martins, A.. Nanavaty, A.. Taheriand, C. Pesquita, E. Santos, I.. Cruz, and F. Couto, "AgreementMakerLight results for OAEI 2014", The Ninth International Workshop on Ontology Matching (OM-2013), 2014.
Santos, A. L., "AGUIA/J: a tool for interactive experimentation of objects", Proceedings of the 16th annual joint conference on Innovation and technology in computer science education: ACM, pp. 43–47, 2011.
Rufino, J., J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana, "AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
E Rosario, D., E. Souza, F. Silva, and P. Madureira, "ALPROSTADIL AND SILDENAFILA IN THE TREATMENT OF VASCULAR COMPLICATIONS OF SYSTEMIC SCLEROSIS", CLINICAL AND EXPERIMENTAL RHEUMATOLOGY, vol. 28, no. 2: CLINICAL & EXPER RHEUMATOLOGY VIA SANTA MARIA 31, 56126 PISA, ITALY, pp. S161–S161, 2010.

Pages