Publications

Export 141 results:
Filters: First Letter Of Title is T  [Clear All Filters]
2018
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.
Asif, M., H. F. Martiniano, C. Rasga, A. R. Marques, J. X. Santos, F. M. Couto, and AM. Vicente, "Translating the complex ASD genetic architecture into clinical phenotype using an integrative system biology approach", European Society of Human Genetics, 16-19 june, 2018: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2018.
Henriques, R., and S. C. Madeira, "Triclustering Algorithms for Three-Dimensional Data Analysis: A Comprehensive Survey", ACM Computing Surveys (CSUR), vol. 51, no. 5: ACM, pp. 95, 2018.
2017
Ignatiev, A., A. Morgado, and J. Marques-Silva, "On Tackling the Limits of Resolution in SAT Solving", arXiv preprint arXiv:1705.01477, 2017.
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
Azevedo, C., C. Chesta, J. Coelho, D. Dimola, C. Duarte, M. Manca, J. Nordvik, F. Paterno, A-M. Sanders, and C. Santoro, "Towards a Platform for Persuading Older Adults to Adopt Healthy Behaviors", Proceedings of the Second International Workshop on Personalization in Persuasive Technology co-located with the 12th International Conference on Persuasive Technology, 2017.
Pereira, T., A. Mendon, F. Ferreira, S. Madeira, M. Guerreiro, and , "Towards a reliable prediction of conversion from Mild Cognitive Impairment to Alzheimer’s Disease: stepwise learning using time windows", Medical Informatics and Healthcare, pp. 19–26, 2017.
Sathiaseelan, A., M. Selimi, C. Molina, A. Lertsinsrubtavee, L. Navarro, F. Freitag, F. Ramos, and R. Baig, "Towards Decentralised Resilient Community Cloud Infrastructures", arXiv preprint arXiv:1709.07688, 2017.
Vaz, R., M. Carreira, A. Ferreira, and A. Paula Afonso, "Track analysis system with wind roses", Information Systems and Technologies (CISTI), 2017 12th Iberian Conference on: IEEE, pp. 1–5, 2017.
Pereira, T., S. Cardoso, D. Silva, A. de Mendonça, M. Guerreiro, and S. C. Madeira, "Trustworthy Predictions of Conversion from Mild Cognitive Impairment to Dementia: A Conformal Prediction Approach", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 155–163, 2017.
2016
Rufino, J., and I. Gouveia, "Timeliness runtime verification and adaptation in avionic systems", OSPERT 2016, pp. 37, 2016.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Towards a Business Process Management Governance approach using process model templates and flexibility", Services (SERVICES), 2016 IEEE World Congress on: IEEE, pp. 27–34, 2016.
Rufino, J., "Towards integration of adaptability and non-intrusive runtime verification in avionic systems", ACM SIGBED Review, vol. 13, no. 1: ACM, pp. 60–65, 2016.
Montague, K., J. Guerreiro, H. Nicolau, T. Guerreiro, A. Rodrigues, and D. Gonçalves, "Towards Inviscid Text-Entry for Blind People through Non-Visual Word Prediction Interfaces", CHI Workshop on Inviscid Text-Entry and Beyond, 2016.
Bernardino, C., H. Alexandre Ferreira, and T. Chambel, "Towards Media for Wellbeing", Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video: ACM, pp. 171–177, 2016.
Gonçalves, T., A. Paula Afonso, A. Ferreira, and A. Rita Vieira, "Trajectory data visualization on mobile devices with animated maps", Proceedings of the 37th Annual Conference of the European Association for Computer Graphics: Short Papers: Eurographics Association, pp. 9–12, 2016.
2015
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.
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.
Montague, K., A. Rodrigues, H. Nicolau, and T. Guerreiro, "TinyBlackBox: Supporting Mobile In-The-Wild Studies", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Caldeira, R., J. Souza, R. Pinto, and J. Rufino, "A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "Towards Programmable Coordination of Unmanned Vehicle Networks", IFAC NGCUV'15 (to appear), 2015.
Clarke, L. A., H. M. Botelho, L. Sousa, A. O. Falcao, and M. D. Amaral, "Transcriptome meta-analysis reveals common differential and global gene expression profiles in cystic fibrosis and other respiratory disorders and identifies CFTR regulators", GENOMICS, vol. 106, pp. 268-277, NOV, 2015.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "Typing Performance of Blind Users: An Analysis of Touch Behaviors, Learning Effect, and In-Situ Usage", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
2014
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.
Lima, D., H. Miranda, and F. Taïani, "Towards a new model for cyber foraging", The 13th Workshop on Adaptive and Reflective Middleware (ARM 2014), in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference 2014, Bordeaux, France, 2014.
Faria, D., E. Jiménez-Ruiz, C. Pesquita, E. Santos, and F. Couto, "Towards annotating potential incoherences in BioPortal mappings", International Semantic Web Conference, 2014.
Kreutz, D., A. Neves Bessani, E. Feitosa, and H. Cunha, "Towards Secure and Dependable Authentication and Authorization Infrastructures", Dependable Computing (PRDC), 2014 IEEE 20th Pacific Rim International Symposium on: IEEE, pp. 43–52, 2014.
Pesquita, C., D. Faria, E. Santos, J-M. Neefs, and F. Couto, "Towards visualizing the alignment of large biomedical ontologies", Data Integration in the Life Sciences (DILS), 2014.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
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.
2013
Barbosa, P. Santos, Taxonomic and functional analysis of metagenomes, , 2013.
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.
Teixeira, A. L., R. C. Santos, J. P. Leal, J. A. Martinho Simões, and A. O. Falcao, "ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical Data", arXiv preprint arXiv:1302.0710, 2013.
Muppala, J. K., M. Hiltunen, R. Campbell, and P. Verissimo, The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology, , 2013.
Guerreiro, T., J. Bigham, L. Carriço, D. Gonçalves, Y. Yesilada, and S. Abou-Zahra, "Third mobile accessibility workshop", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 3287–3290, 2013.
Fernandes, N., A. Sofia Batista, D. Costa, C. Duarte, and L. Carriço, "Three web accessibility evaluation perspectives for RIA", Proceedings of the 10th International cross-disciplinary conference on web accessibility: ACM, pp. 12, 2013.
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.
Pesquita, C., D. Faria, E. Santos, and F. Couto, "To repair or not to repair: reconciling correctness and coherence in ontology reference alignments", Ontology Matching, pp. 13, 2013.
Pesquita, C., D. Faria, E. Santos, and F. Couto, "To repair or not to repair: reconciling correctness and coherence in ontology reference alignments.", OM, pp. 13–24, 2013.
Guerreiro, J., D. Gonçalves, D. H. Marques, T. Guerreiro, H. Nicolau, and K. Montague, "The Today and Tomorrow of Braille Learning", ASSETS 2013 - The 15th ACM SIGACCESS International Conference on Computers and Accessibility, 2013.
Oliveira, I., and N. Guimarães, "A tool for mental workload evaluation and adaptation", Proceedings of the 4th Augmented Human International Conference: ACM, pp. 138–141, 2013.
Craveiro, J., F. M. V. Ramos, E. Kanjo, and N. El Mawass, Towards an early warning system: the effect of weather on mobile phone usage A case study in Abidjan, , 2013.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, N. Ng, and N. Dias Martins, "Towards deductive verification of MPI programs against session types", arXiv preprint arXiv:1312.2705, 2013.
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.
Souza, J. L. R., and J. Rufino, "Towards resilient real-time wireless communications", Work-in-Progress Session, pp. 29, 2013.
Kreutz, D., F. M. V. Ramos, and P. Verissimo, "Towards secure and dependable software-defined networks", Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking: ACM, pp. 55–60, 2013.
Rafael, I., L. Duarte, L. Carriço, and T. Guerreiro, "Towards ubiquitous awareness tools for blind people", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 38, 2013.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "Tracking politics with POWER", Program, vol. 47, no. 2: Emerald Group Publishing Limited, pp. 120–135, 2013.
Coelho, J., P. Biswas, T. Guerreiro, G. Aslan, C. Duarte, and P. Langdon, "TV applications for the elderly: Assessing the acceptance of adaptation and multimodality", ACHI 2013, The Sixth International Conference on Advances in Computer-Human Interactions, pp. 234–242, 2013.
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.
Vieira, H. Torres, and V. T. Vasconcelos, "Typing progress in communication-centred systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
2012
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.
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.
Carriço, L., M. de Sá, L. Duarte, and T. Antunes, "Therapy: location-aware assessment and tasks", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 2, 2012.
Jorge, A., N. Gil, and T. Chambel, "Time for a New Look at the Movies through Visualization", Proceedings of Artech, pp. 269–278, 2012.
Dixit, M., H. Moniz, and A. Casimiro, "Timeout-based adaptive consensus: improving performance through adaptation", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 492–497, 2012.
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.
Craveiro, J., and J. Rufino, Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors, , 2012.
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.
Reis, D., and H. Miranda, "Transparently increasing RMI fault tolerance", ACM SIGAPP Applied Computing Review, vol. 12, no. 2: ACM, pp. 18–26, 2012.
Casimiro, A., P. Verissimo, D. Kreutz, F. Araujo, R. Barbosa, S. Neves, B. Sousa, M. Curado, C. Silva, R. Gandhi, et al., "TRONE: Trustworthy and resilient operations in a network environment", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
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.
2011
Marques, G., M. Aurélio Domingues, T. Langlois, and F. Gouyon, "Three Current Issues In Music Autotagging.", ISMIR, pp. 795–800, 2011.
Mocito, J., O. Denysyuk, L. Rodrigues, and H. Miranda, "Topology Stability-Aware Multicast Protocol for MANETs", Local Computer Networks (LCN), 2011 IEEE 36th Conference on: IEEE, pp. 287–290, 2011.
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.
Chambel, T., M. N. Chhaganlal, and L. A. R. Neng, "Towards immersive interactive video through 360 hypervideo", Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology: ACM, pp. 78, 2011.
Craveiro, J., J. Rosa, and J. Rufino, "Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
Padhy, S., D. Kreutz, A. Casimiro, and M. Pasin, "Trustworthy and resilient monitoring system for cloud infrastructures", Proceedings of the Workshop on Posters and Demos Track: ACM, pp. 3, 2011.
Martins, F., V. T. Vasconcelos, and T. Cogumbreiro, "Types for X10 Clocks", arXiv preprint arXiv:1110.4165, 2011.
Baltazar, P., V. T. Vasconcelos, and H. Torres Vieira, Typing dynamic roles in multiparty interaction, , 2011.
2010
Dixit, M., H. Moniz, and A. Casimiro, Timeout adaptive consensus: Improving performance through adaptation, , 2010.
Bandeira, R., R. Lopes, and L. Carriço, "Towards mobile Web accessibility evaluation", Free and Open Source Software for Accessible Mainstream Applications (FOSS-AMA), colocated with ETAPS, pp. 27–28, 2010.
Lopes, R., R. Bandeira, L. Carriço, and K. Van Isacker, "Towards Mobile Web Accessibility: Vision And Challenges", Proceedings of the first International ÆGIS Conference, pp. 151–158, 2010.
Martins, F., L. Lopes, and J. Barros, "Towards the safe programming of wireless sensor networks", arXiv preprint arXiv:1002.0937, 2010.
Moniz, H., N. Ferreira Neves, and M. Correia, "Turquois: Byzantine consensus in wireless ad hoc networks", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 537–546, 2010.
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 2010.
Vasconcelos, V. T., F. Martins, and T. Cogumbreiro, "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language", arXiv preprint arXiv:1002.0942, 2010.
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
2009
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.
Teixeira, A. L., R. C. Santos, and F. Couto, "ThermInfo: Collecting and Presenting Thermochemical Properties", methods, vol. 1, pp. 3, 2009.
Reis, T., C. Duarte, L. Carriço, and R. Carvalho, "Towards a Context Aware Multimodal Hand-Held Device", Procs. Of INForum, vol. 2009, pp. 239, 2009.
Oliveira, I., L. Duarte, N. Guimarães, L. Carriço, and O. Grigore, "Towards Coupled Interaction-Practical Integration of Physiological Signals", Proc. 8. Berliner Werkstatt Mensch-Maschine-Systeme, Berlin, pp. 7–9, 2009.
Costa, M., and M. J. Silva, "Towards information retrieval evaluation over web archives", Proceedings of the SIGIR 2009 Workshop on the Future of IR Evaluation, pp. 37–38, 2009.
Reiser, H. P., and R. Kapitza, Towards Recoverable Hybrid Byzantine Consensus, , 2009.
Lopes, R., K. Votis, L. Carriço, D. Tzovaras, and S. Likothanassis, "Towards the universal semantic assessment of accessibility", Proceedings of the 2009 ACM symposium on Applied Computing: ACM, pp. 147–151, 2009.
Vieira, F., P. Sousa, and A. Neves Bessani, "Transparent Byzantine Fault-Tolerant Directory Service using COTS components", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
2008
Ferreira, A., and P. Antunes, "Tackling information overload in electronic brainstorming", GDN: 9th meeting on Group decision and negotiation, pp. 83–89, 2008.
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.
Ortiz, H., P. Sousa, and P. Verissimo, Towards Intrusion-Tolerant Process Control Software, : SINO 2008-4ª Conferência Nacional sobre Segurança Informática nas Organizações, 2008.
Favarim, F., J. da Silva Fraga, E. Adilio Pel Alchieri, A. Neves Bessani, and C. L Lung, "Transações em Espaços de Tuplas com Segurança de Funcionamento", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribu{ídos (SBRC'2008), pp. 847–860, 2008.
Martinho, R., J. Varajao, and D. Domingos, "A two-step approach for modelling flexibility in software processes", Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering: IEEE Computer Society, pp. 427–430, 2008.
Martins, F., and V. T. Vasconcelos, Type-based approach to multi-core programming, , 2008.
2007
Afonso, A. Paula, Teaching Quality of Software at FCUL, : The Teaching of Quality in Information and Communication Technology Education Programs Workshop, 2007.
Ferreira, A., and P. Antunes, "A technique for evaluating shared workspaces efficiency", Computer Supported Cooperative Work in Design III: Springer, pp. 82–91, 2007.
De Nicola, R., L. Bocchi, R. Bruni, L. Caires, R. Heckel, I. Lanese, A. Lapadula, M. Loreti, L. Semini, C. Montangero, et al., Th0. 1. a: SENSORIA languages and calculi for modelling services, : Technical report, SENSORIA, 2007.
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., A. Mostéfaoui, C. Fetzer, and P. Tsigas, "Topic 8-Distributed Systems and Algorithms-Introduction", Lecture Notes in Computer Science, vol. 4641: Berlin: Springer-Verlag, 1973-, pp. 549–550, 2007.
Domaschka, J., H. P. Reiser, and F. J. Hauck, "Towards generic and middleware-independent support for replicated, distributed objects", Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007: ACM, pp. 43–48, 2007.

Pages