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 
T
de Sá, M., and L. Carriço, TEST-IT–CREATING EDUCATIONAL CONTENT AND TESTS ON HANDHELD DEVICES, : IADIS Mobile Learning 2005, 2005.
Faria, D., C. Pesquita, E. Santos, F. Couto, C. Stroe, and I. F. Cruz, "Testing the AgreementMaker System in the Anatomy Task of OAEI 2012", arXiv preprint arXiv:1212.1625, 2012.
Ferreira, A., and P. Antunes, "A technique for evaluating shared workspaces efficiency", Computer Supported Cooperative Work in Design III: Springer, pp. 82–91, 2007.
Antunes, P., and , A Technique for Evaluating Shared Workspaces Efficiency, : 10th International Conference Computer Supported Cooperative Work in Design 3, 2006.
Afonso, A. Paula, Teaching Quality of Software at FCUL, : The Teaching of Quality in Information and Communication Technology Education Programs Workshop, 2007.
Chambel, T., P. Antunes, C. Duarte, L. Carriço, and N. Guimarães, "Teaching Human-Computer Interaction to Blind Students", tc, vol. 351: Citeseer, pp. 21–7500087, 2004.
Bessani, A. Neves, L. A. Cutillo, G. Ramunno, N. Schirmer, and P. Smiraglia, "The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios", ACM SIGOPS Operating Systems Review, vol. 48, no. 2: ACM, pp. 13–22, 2014.
Bessani, A. Neves, L. A. Cutillo, G. Ramunno, N. Schirmer, and P. Smiraglia, "The TClouds platform: concept, architecture and instantiations", Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing: ACM, pp. 1, 2013.
Verissimo, P., A. Neves Bessani, and M. Pasin, "The TClouds architecture: Open and resilient cloud-of-clouds computing", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Barbosa, P. Santos, Taxonomic and functional analysis of metagenomes, , 2013.
Correia, N., and N. Guimarães, "TaX: a tool for building time dependent applications", The X Resource, no. 5: O'Reilly & Associates, Inc., pp. 193–202, 1993.
Gomes, D., and M. J. Silva, "Tarântula-sistema de recolha de documentos da Web", CRC'01-4a conferência de Redes de Computadores, 2001.
Ellis, C., H. Miranda, and F. Ta\"ıani, "Tailoring a broadcast algorithm to particular network conditions", Proceedings of the 6th workshop on Middleware for network eccentric and mobile applications: ACM, pp. 18–20, 2008.
Nunes, R., F. Rito, and C. Duarte, "TACTIC: An API for Touch and Tangible Interaction", Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction: ACM, pp. 125–132, 2015.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "On Tackling the Limits of Resolution in SAT Solving", arXiv preprint arXiv:1705.01477, 2017.
Faria, D., C. Pesquita, I. Mott, C. Martins, F. M. Couto, and I. F. Cruz, "Tackling the challenges of matching biomedical ontologies", Journal of biomedical semantics, vol. 9, no. 1: BioMed Central, pp. 4, 2018.
Ferreira, A., and P. Antunes, "Tackling information overload in electronic brainstorming", GDN: 9th meeting on Group decision and negotiation, pp. 83–89, 2008.
Carriço, L., L. Duarte, M. de Sá, R. Bandeira, and P. Antunes, "Tackling collaborative-design of mobile prototypes", Computer Supported Cooperative Work in Design, 2009. CSCWD 2009. 13th International Conference on: IEEE, pp. 710–715, 2009.
Vieira, M., A. Casimiro Costa, and H. Madeira, "TACID transactions", Proceedings of the First conference on Hot topics in system dependability: USENIX Association, pp. 10–10, 2005.
Guerreiro, J., A. Rodrigues, K. Montague, T. Guerreiro, H. Nicolau, and D. Gonçalves, "TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices", Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, New York, NY, USA, ACM, 2015.
Costa, M., A. Zhitkovich, M. Gargas, D. Paustenbach, B. Finley, J. Kuykendall, R. Billings, TJ. Carlson, K. Wetterhahn, X. S. J Patierno, et al., "T. Kasamatsu, K. Kohda and Y. Kawazoe (Japan) Retrospective dose estimates in Estonian Chernobyl clean-up workers by means of FISH F. Granath, F. Darroudi, A. Auvinen, L. Ehrenberg, T. Hakulinen, AT Natarajan, M. Rahu, T. RytSmaa, M. Tekkel and T. Veideba", Mutation Research, vol. 369, pp. 253–254, 1996.
S
Asif, M., System medicine approach to improve diagnosis and prognosis in Autism Spectrum Disorders (ASD), based on extensive genomic, biochemical and clinical data, , 2014.
Antunes, P., "A system for supporting and managing same-time/different-place group interactions", Proceedings of the working conference on Advanced visual interfaces: ACM, pp. 216–225, 1998.
Chambel, T., S. Neves, C. Sousa, and R. Francisco, "Synesthetic video: hearing colors, seeing sounds", Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 130–133, 2010.
Rodrigues, L., H. Fonseca, and P. Verissimo, "A synamic hybrid protocol for total order in large-scale systems", Proceedings of the 16th International Conference on Distributed Computing Systems: Citeseer, 1996.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Claudio, and E. Montez, "Symbol adaptation assessment in outdoor augmented reality", GRAPP: 9th international joint conference on Computer vision, imaging and computer graphics theory and applications, pp. 387–396, 2014.
Rodrigues, A., and T. Guerreiro, "SWAT: Mobile System-Wide Assistive Technologies", 28th British Computer Society Human Computer Interaction Conference, 2014.
Araujo, F., and L. Rodrigues, Survey on Position-Based Routing1, , 2006.
Araujo, F., and L. Rodrigues, Survey on Distributed Hash Tables, : University of Lisbon, 2006.
Jesus, G., A. Casimiro, and A. Oliveira, "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks", Sensors, vol. 17, no. 9: Multidisciplinary Digital Publishing Institute, pp. 2010, 2017.
Cosquer, F. J. N., and P. Verissimo, Survey of selected groupware applications and supporting platforms, : University of Bologna, 1994.
Palma, C., and L. Rodrigues, Supporting views in network management systems, , 2001.
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.
Infante, P., R. Vogt, N. Baloian Tataryan, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Supporting Unstructured Activities in Crisis Management: A Collaboration Model and Prototype to Improve Situation Awareness, , 2008.
Costa, C., P. Antunes, and J. Ferreira Dias, "Supporting the meeting report process", Proceedings of the 23rd Information Systems Research Seminar in Scandinavia, IRIS, vol. 23: Citeseer, pp. 1141–1150, 2000.
Pedro, C. Costa, P. Antunes, and J. Ferreira Dias, "Supporting the Meeting Report Process", Technology, University of Trollahattan Uddevalla: Citeseer, 2000.
Antunes, P., J. Ferreira Dias, and , Supporting the Meeting Report Process, : 23rd Information Systems Research Seminar in Scandinavia, IRIS 23, 2000.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "Supporting the design of mobile interactive artefacts", Advances in Engineering Software, vol. 40, no. 12: Elsevier, pp. 1279–1286, 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.
de Sá, M., and L. Carriço, "Supporting Psychological Therapy with PDAs", Proceeding of Interacção2004, pp. 139–149, 2004.
Carriço, L., L. Duarte, R. Pereira, M. de Sá, J. Faria, I. Sá, G. Zurita, and N. Baloyan, "Supporting Group Exposure Therapy", Proceedings of SBSC, 2011.
Carriço, L., M. de Sá, L. Duarte, and T. Reis, Supporting Group Analysis in Psychotherapy, : 2nd National Conference in Human Computer Interaction, 2006.
Sapateiro, C., P. Antunes, and J. A. Pino, "Supporting experimental collaborative systems evaluation", Computer Supported Cooperative Work in Design (CSCWD), 2011 15th International Conference on: IEEE, pp. 215–221, 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.
Mourão, H., and P. Antunes, "Supporting effective unexpected exceptions handling in workflow management systems", Proceedings of the 2007 ACM symposium on Applied computing: ACM, pp. 1242–1249, 2007.
Mourão, H. Raul, and P. Antunes, "Supporting direct user interventions in exception handling in workflow management systems", Workshop de Sistemas de Informacao Multimedia e Cooperativos, COOP-MEDIA, Portugal, 2003.
Vogt, R., N. Baloian Tataryan, G. Zurita Alarcón, P. Antunes, and C. Sapateiro, Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs, , 2008.
Sapateiro, C., P. Antunes, G. Zurita, N. Baloian, and R. Vogt, "Supporting Crisis Management Processes by Wirelessly Interconnected Tablet-PCs", e-Business Engineering, 2008. ICEBE'08. IEEE International Conference on: IEEE, pp. 87–93, 2008.
Duarte, C., L. Carriço, T. Guerreiro, C. Almeida, S. Nobre, and A. Margarida Campos, "Supporting autism therapists: co-designing interventions", CHI'14 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 1213–1218, 2014.
Martinho, R., D. Domingos, and A. Rito-Silva, Supporting authentication requirements in workflows, : 8th International Conference on Enterprise Information Systems, 2006.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, M. G. Ruano, and P. M. Ferreira, "A Support Vector Machine Seismic Detector for Early-Warning Applications", ICONS'2013 - 3rd IFAC International Conference on Intelligent Control, pp. 400–405, 2013.
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.
Carriço, L., P. Antunes, N. Guimarães, P. Pereira, and M. Moreno, Support for open tools and systems, , 1992.
Carrigo, L., N. Guimarães, and P. Antunes, Support for Interactive Tools and Systems, , 1991.
Duarte, C., D. Costa, D. Costa, and P. Feiteira, Support for inferring user abilities for multimodal applications, , 2010.
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.
Ferreira, A., Suporte á publicidade na Internet: Projecto e construção de um gestor de publicidade, : Universidade de Lisboa, 2000.
Mourão, H., and P. Antunes, "Suporte à Intervenção de Operadores no Tratamento de Excepções em Fluxos de Trabalho", 4ª Conferência da Associação Portuguesa de Sistemas de Informação, pp. 29–42, 2003.
Mourão, H., and P. Antunes, "Suporte á Intervenção de Operadores no Tratamento de Excepções em Fluxos de Trabalho", 4ª Conferência da Associação Portuguesa de Sistemas de Informação, pp. 29–42, 2003.
P Umberto, C., J. Tiago M Silva, E. Alves S Silva, and L. Antônio D Araújo, "Subdural Hematoma In Childhood: Considerations About Twenty Cases And Review Of The Literature", The Internet Journal of Pediatrics and Neonatology, vol. 5, no. 1, 2004.
Parlier-Cuau, C., RY. Carlier, P. David, M. J. Silva, and D. Doyon, "[Subdural abscess. Rare complication of epidural infiltration. Apropos of a case and review of the literature]", Journal de radiologie, vol. 74, no. 4, pp. 205–209, 1993.
Duarte, C., A. Ribeiro, and R. Nunes, "Studying Natural Interaction in Multimodal, Multi-Surface, Multiuser Scenarios", Emerging Research and Trends in Interactivity and the Human-Computer Interface: IGI Global, pp. 160, 2013.
Neto, A., and C. Duarte, A Study on the Use of Gestures for Large Displays, : 11th International Conference on Enterprise Information Systems (ICEIS 2009), 2009.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
Neves, N. Ferreira, A-T. Nguyen, and E. L. Torres, "A study of a non-linear optimization problem using a distributed genetic algorithm", Parallel Processing, 1996. Vol. 3. Software., Proceedings of the 1996 International Conference on, vol. 2: IEEE, pp. 29–36, 1996.
Gonçalves, T., A. Paula Afonso, B. Martins, and D. Gonçalves, "ST-TrajVis: interacting with trajectory data", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 48, 2013.
Antunes, P., and N. Guimarães, "Structuring elements for group interaction", Second Conference on Concurrent Engineering, Research and Applications (CE95): Citeseer, 1995.
Antunes, P., V. Herskovic, S. F. Ochoa, and J. A. Pino, "Structuring dimensions for collaborative systems evaluation", ACM Computing Surveys (CSUR), vol. 44, no. 2: ACM, pp. 8, 2012.
Teixeira, A. L., and A. O. Falcao, "Structural similarity based kriging for quantitative structure activity and property relationship modeling", Journal of chemical information and modeling, vol. 54, no. 7: American Chemical Society, pp. 1833–1849, 2014.
Rodrigues, L., H. Miranda, R. Almeida, J. Martins, P. Vicente, and , "Strong replication in the GlobData middleware", Workshop on Dependable Middleware-Based Systems, pp. 503–510, 2002.
Nicolau, H., J. Guerreiro, and T. Guerreiro, "Stressing the Boundaries of Mobile Accessibility", arXiv preprint arXiv:1402.1001, 2013.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "The stream-based service-centred calculus: a foundation for service-oriented programming", Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
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.
Lopes, J., and N. Ferreira Neves, "Stopping a Rapid Tornado with a Puff", Security and Privacy (SP), 2014 IEEE Symposium on: IEEE, pp. 509–523, 2014.
Bermejo, C., and P. Hui, "Steal Your Life Using 5 Cents: Hacking Android Smartphones with NFC Tags", arXiv preprint arXiv:1705.02081, 2017.
Mocito, J., A. Respicio, and L. Rodrigues, "On statistically estimated optimistic delivery in wide-area total order protocols", Dependable Computing, 2006. PRDC'06. 12th Pacific Rim International Symposium on: IEEE, pp. 202–209, 2006.
Mocito, J., A. Respicio, and L. Rodrigues, On statistically estimated optimistic delivery in large-scale total order protocols, : 12th IEEE International Symposium Pacific Rim Dependable, 2006.
Batista, D. S., and M. J. Silva, "A statistical study of the WPT05 crawl of the Portuguese Web", FALA 2010 VI Jornadas en Tecnolog{ía del Habla and II Iberian SLTech Workshop, Vigo, Spain, 2010.
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.
Martins, B., and M. J. Silva, A statistical study of the tumba! corpus, , 2004.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, A Stateless Neighbour-Aware Cooperative Caching Protocol for Ad-Hoc Networks, : Department of Informatics, University of Lisbon, 2005.
Distler, T., R. Kapitza, and H. P. Reiser, "State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services.", Sicherheit, pp. 61–72, 2010.
Sousa, J., E. Alchieri, and A. Neves Bessani, State Machine Replication for the Masses with BFT-SMaRt, , 2013.
Bessani, A. Neves, J. Sousa, and E. E. P. Alchieri, "State machine replication for the masses with BFT-SMaRt", Dependable Systems and Networks (DSN), 2014 44th Annual IEEE/IFIP International Conference on: IEEE, pp. 355–362, 2014.
Trancoso, I., C. Duarte, A. Joaquim Serralheiro, D. Caseiro, L. Carriço, and C. Viana, "Spoken language technologies applied to digital talking books.", INTERSPEECH, 2006.
Carriço, L., N. Guimarães, C. Duarte, T. Chambel, and H. Simoes, "Spoken books: Multimodal interaction and information repurposing", Proceedings of HCII, pp. 680–684, 2003.
Grunberg, A., R. Carlier, F. Bekkali, M. J. Silva, P. Chemouilli, and D. Doyon, "[Spinal subdural hematoma. Presentation of 2 cases studied with MRI]", Journal de radiologie, vol. 74, no. 5, pp. 291–295, 1993.
Bessani, A. Neves, G. Santos Veronese, C. L Lung, and M. Correia, Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary, , 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary", Reliable Distributed Systems, 2009. SRDS'09. 28th IEEE International Symposium on: IEEE, pp. 135–144, 2009.
Martins, B., and M. J. Silva, "Spelling correction for search engine queries", Advances in Natural Language Processing: Springer Berlin Heidelberg, pp. 372–383, 2004.
Lopes, A., I. Nunes, and V. T. Vasconcelos, Specifying and Monitoring Java Classes, : DI-FCUL, 2009.
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.
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.
Jieke, P., J. Redol, and M. Correia, "Specification-based Intrusion Detection System for Carrier Ethernet.", WEBIST (1), pp. 426–429, 2007.
de Bruin, I., A. Casimiro, L. Falai, P. Frejek, S. Heemstra de Groot, G. Huszerl, M. Kaaniche, MO. Killijian, R. Lippman, EV. Matthiesen, et al., "Specification HIDENETS laboratory set-up scenario and components", EU FP6 IST project HIDENETS, deliverable D, vol. 6, 2007.
de Bruin, I., A. Casimiro, M. Calha, G. Egeland, L. Falai, P. Frejek, L. Jesper Grønbæk, S. Heemstra de Groot, A. Fosselie Hansen, G. Huszerl, et al., Specification HIDENETS laboratory set-up scenario and components (Refined specification HIDENETS proof-of-concept set up): HIDENETS D6. 2, : Aalborg Universitetsforlag, 2007.
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.

Pages