Publications

Export 122 results:
Filters: First Letter Of Title is P  [Clear All Filters]
2016
Lima, D., H. Miranda, and F. Taïani, "Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds", Proceedings of The 1st Workshop on Middleware for Edge Clouds & Cloudlets, Colocated with ACM/IFIP/USENIX Middleware 2016, Trento, Italy, ACM, 2016.
Rodolfo, I., N. Correia, C. Duarte, C. Louro, and R. Almeida, "Perspectives on user experience for a nation-wide senior telehealth program", Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!: BCS Learning & Development Ltd., pp. 46, 2016.
Dias, R., D. Gonçalves, and M. J. Fonseca, "PlaylistCreator: An Assisted Approach for Playlist Creation", Proceedings of the 2016 ACM on Multimedia Conference: ACM, pp. 711–713, 2016.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Paula Cláudio, and G. Silva, "PoI Awareness, Relevance and Aggregation for Augmented Reality", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 300–305, 2016.
Mordido, A., and C. Caleiro, Probabilistic Logic over Equations and Domain Restrictions, : PhD Thesis, IST, Universidade de Lisboa, 2016.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Propositional Abduction with Implicit Hitting Sets", arXiv preprint arXiv:1604.08229, 2016.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, PM. Ferreira, H. Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", IFAC-PapersOnLine, vol. 49, no. 5: Elsevier, pp. 371–376, 2016.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, P. M. Ferreira, H. Reza Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", 4th IFAC International Conference on Intelligent Control and Automation Sciences - ICONS'2016, Reims, France, IFAC, June, 2016.
2014
Winstanley, C., R. Ramdhany, iv, F. Taiani, B. Porter, and H. Miranda, "{PAMPA} in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family", Journal of Internet Services and Applications, vol. 5, 2014.
Carmo, M. Beatriz, A. Paula Cláudio, A. Ferreira, A. Paula Afonso, P. Redweik, C. Catita, M. Centeno Brito, and J. Nunes Pedrosa, "[Poster] Visualization of solar radiation data in augmented reality", Mixed and Augmented Reality (ISMAR), 2014 IEEE International Symposium on: IEEE, pp. 255–256, 2014.
Carilho, J.., O.. Schnell, J.. Martins, L. Carriço, C. Duarte, F. Couto, and T. Guerreiro, "Predicting Relevant Events in the Life of a Person with Alzheimer", Bioinformatics Open Days, University of Braga, 2014.
Duarte, L., P. Ribeiro, A. Rodrigues, T. Guerreiro, and L. Carriço, "A Preliminary Assessment of Physical & Virtual Presence in Exergames", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 305–310, 2014.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, "Proceedings 7th Interaction and Concurrency Experience", arXiv preprint arXiv:1410.7013, 2014.
Donaldson, A. F., and V. T. Vasconcelos, "Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software", arXiv preprint arXiv:1406.3313, 2014.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), , 2014.
Ivanova, V., T. Kauppinen, S. Lohmann, S. Mazumdar, C. Pesquita, and K. Xu, "Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics", International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics: CEUR Workshop Proceedings, 2014.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.
2013
Carvalho, T., H. S. Kim, and N. Ferreira Neves, "PACE your network: Fair and controllable multi-tenant data center networks", Communications (ICC), 2013 IEEE International Conference on: IEEE, pp. 3726–3731, 2013.
Costa, P., M. Pasin, A. Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, 2013.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, no. 5: IEEE, pp. 301–313, 2013.
Duarte, L., and L. Carriço, "Persuasive Elements in Videogames: Effects on Player Performance and Physiological State", Advances in Computer Entertainment: Springer International Publishing, pp. 45–60, 2013.
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.
2012
Winstanley, C., R. Ramdhany, iv, F. Ta\"ıani, B. Porter, and H. Miranda, "PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family", Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks: ACM, pp. 3, 2012.
Prata, A., T. Chambel, and N. Guimarães, "Personalized Content Access in Interactive TV-Based Cross Media Environments", TV Content Analysis: Techniques and Applications: CRC Press, pp. 331, 2012.
Duarte, L., and L. Carriço, "Power me Up!: an interactive and physiological perspective on videogames' temporary bonus rewards", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 55–63, 2012.
Pesquita, C., and F. Couto, "Predicting the extension of biomedical ontologies", PLoS computational biology, vol. 8, no. 9: Public Library of Science, pp. e1002630, 2012.
Marques, D. H., L. Duarte, and L. Carriço, "Privacy and secrecy in ubiquitous text messaging", Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services companion: ACM, pp. 95–100, 2012.
Mostrous, D., Proof Nets as Processes, , 2012.
Mostrous, D., Proof Nets in Process Algebraic Form, , 2012.
Carvalho, J., L. Duarte, and L. Carriço, "Puzzle games: player strategies across different interaction modalities", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 64–72, 2012.
2011
Bettinger, P., C. J. Cieszewski, and A. O. Falcao, "Perspectives on New Developments of Decision Support Systems for Sustainable Forest Management", Mathematical and Computational Forestry & Natural-Resource Sciences (MCFNS), vol. 3, no. 1, pp. Pages–15, 2011.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Point of interest awareness using indoor positioning with a mobile phone", Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systesm, 2011.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "POWER-Politics Ontology for Web Entity Retrieval", Advanced Information Systems Engineering Workshops: Springer Berlin Heidelberg, pp. 489–500, 2011.
Nogueira, A., M. Calha, and , "Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems", Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 IEEE 17th International Conference on, vol. 2: IEEE, pp. 3–8, 2011.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Protocolo tolerante a faltas bizantinas para bases de dados transacionais", Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, pp. 559–572, 2011.
2010
Duarte, L., M. de Sá, and L. Carriço, "Physiological data gathering in mobile environments", Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct: ACM, pp. 405–406, 2010.
Barbosa, SB., ÂM. Batista, B. R Jatobá, MJ. Silva, and KR. Santoro, "Presence of Somatic Cells in Murrah Buffaloes in Northeast of Brazil.", Revista Veterinaria, vol. 21, no. 1, 2010.
2009
Aguiar, H., M. Beatriz Carmo, P. Pombinho, and A. Paula Afonso, Pesquisas Baseadas na Localização e na Orientação em Dispositivos Móveis, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
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.
Dixit, M., A. Casimiro, and P. Verissimo, Probabilistic Adaptive Time-Aware Consensus, : Eurosys, 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.
2008
Danelutto, M., M. Pasin, M. Vanneschi, P. Dazzi, D. Laforenza, and L. Presti, "PAL: exploiting Java annotations for parallelism", Achievements in European Research on Grid Systems: Springer US, pp. 83–96, 2008.
Rufino, J., and J. Craveiro, Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems, , 2008.
Falcao, A. O., D. Faria, and A. Ferreira, "Peptide programs: applying fragment programs to protein classification", Proceedings of the 2nd international workshop on Data and text mining in bioinformatics: ACM, pp. 37–44, 2008.
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations", Computer Supported Cooperative Work in Design IV: Springer Berlin Heidelberg, pp. 523–533, 2008.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, A. Farias, and G. Zurita Alarcón, A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Silva, M. J., "Pólo XLDB da Linguateca: 4 anos", quot; Linguateca: 10 anos (Curia Portugal 11 de Setembro de 2008), 2008.
Santos, S., J. Rufino, T. Schoofs, C. Tatibana, and J. Windsor, "A portable ARINC 653 standard interface", Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th: IEEE, pp. 1–E, 2008.
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
Vasconcelos, V. T., Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, : Department of Informatics, University of Lisbon, 2008.
2007
Kapitza, R., T. Zeman, F. J. Hauck, and H. P. Reiser, "Parallel state transfer in object replication systems", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 167–180, 2007.
Cardoso, N., M. J. Silva, and B. Martins, "Part I-Multilingual Textual Document Retrieval (Ad Hoc)-Cross-Language-The University of Lisbon at CLEF 2006 Ad-Hoc Task", Lecture Notes in Computer Science, vol. 4730: Berlin: Springer-Verlag, 1973-, pp. 51–56, 2007.
Fernandes, C., D. Domingos, and A. Paula Cláudio, Peer intervention as a mean to promote inclusion in high education, : II International Conference of Community, work and family, 2007.
Carreira, P. J. F., H. Galhardas, J. Pereira, F. Martins, and M. J. Silva, "On the performance of one-to-many data transformations.", QDB, pp. 39–48, 2007.
Duarte, C., L. Carriço, and F. Morgado, "Playback of rich digital books on mobile devices", Human-Computer Interaction. Interaction Platforms and Techniques: Springer, pp. 270–279, 2007.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "Posters of the 2007 DOA (Distributed Objects and Applications) International Conference-AWSM: Infrastructure for Adaptive Web Service Migration", Lecture Notes in Computer Science, vol. 4805: Berlin: Springer-Verlag, 1973-, pp. 3–4, 2007.
Sousa, P., Proactive Resilience, : Department of Informatics, University of Lisbon, 2007.
Correia, M., and N. Ferreira Neves, Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant Systems, : Department of Informatics, University of Lisbon, 2007.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Protecting CRUTIAL Things, : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007.
Faria, D., C. Pesquita, F. Couto, and A. O. Falcao, Proteinon: A web tool for protein semantic similarity, : Department of Informatics, University of Lisbon, 2007.
2006
Lopes, R., and L. Carriço, "Patterns for Time-based Hypermedia Artifacts.", EuroPLoP, pp. 247–276, 2006.
Carreira, P. J. F., H. Galhardas, J. Pereira, F. Martins, and M. J. Silva, Performance Analysis of One-to-Many Data Transformations, : Department of Informatics, University of Lisbon, 2006.
Pombinho, P., and A. Paula Afonso, "Pesquisa de Imagens na Web: estudo de Usabilidade", 2nd National Conference in Human Computer Interaction, pp. 167–175, 2006.
Rosa, L., A. Lopes, and L. Rodrigues, "Policy-driven adaptation of protocol stacks", Autonomic and Autonomous Systems, 2006. ICAS'06. 2006 International Conference on: IEEE, pp. 5–5, 2006.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "A power-aware broadcasting algorithm", Personal, Indoor and Mobile Radio Communications, 2006 IEEE 17th International Symposium on: IEEE, pp. 1–5, 2006.
Carriço, L., M. de Sá, and P. Antunes, "Proactive Psychotherapy with Handheld Devices.", ICEIS (5), pp. 27–34, 2006.
Sousa, P., "Proactive resilience", Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume, pp. 27–32, 2006.
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
Bessani, A. Neves, E. Adılio Pe Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "Provendo confidencialidade em espaços de tuplas tolerantes a intrusoes", Anais do 6o Simpósio Brasileiro em Segurança da Informaç ao e de Sistemas Computacionais-SBSeg 2006, 2006.
2005
Carvalho, S., M. de Fátima da Silva, R. Cerutti, R. Kieling, A. de Oliveira, and M. Daleastre, "Performance and live weight components of lambs submitted to different feeding systems", Ciência Rural, vol. 35, no. 3: Universidade Federal de Santa Maria, pp. 650–655, 2005.
Freitas, S., M. Beatriz Carmo, and A. Paula Afonso, "A personalized visualization tool for geo-referenced information", ACM SIGCSE Bulletin, vol. 37, no. 3: ACM, pp. 398–398, 2005.
Guedes, S., V. Conceição, N. Carvalho, and L. Rodrigues, Plataforma de Desenvolvimento e Simulação de Protocolos, : Oitava Conferência sobre Redes de Computadores (CRC'05), 2005.
Khanna, G., M. Yu Cheng, J. Dyaberi, S. Bagchi, M. Correia, and P. Verissimo, "Probabilistic Diagnosis through Non-Intrusive Monitoring in Distributed Applications", ECE Technical Reports, pp. 72, 2005.
Silva, M. J., P. Fernandes, and F. Couto, Proceedings of Bioinformatics: Knowledge Discovery in Biology Workshop (BKDB 2005), , 2005.
da Silva, M. Filipe, Promoção da l{íngua portuguesa no mundo: hipótese de modelo estratégico, , 2005.
de Sá, M., and L. Carriço, Psychological Therapy Artifacts-Usage And Editing With Pdas PDAS, : IADIS International Applied Computing Conference, 2005.
de Sá, M., and L. Carriço, "Psychological Therapy Artifacts–Usage and Editing with PDAs", Proceedings of Applied Computing, International Association for Development of the Information Society, IADIS, Algarve, Portugal, 2005.
2003
Antunes, P., and C. J. Costa, "Perceived value: A low-cost approach to evaluate meetingware", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 109–125, 2003.
Biegel, G., C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri, and P. Verissimo, Preliminary definition of CORTEX interaction model, : Department of Informatics, University of Lisbon, 2003.
Barron, P., G. Biegel, V. Cahill, A. Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, et al., Preliminary definition of CORTEX programming model, : Department of Informatics, University of Lisbon, 2003.
Brudna, C., V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier, and P. Verissimo, Preliminary definition of CORTEX system architecture, : Department of Informatics, University of Lisbon, 2003.
Blair, G., C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins, and P. Verissimo, Preliminary Specification of Basic Services and Protocols, : Department of Informatics, University of Lisbon, 2003.
Duarte, C., L. Carriço, N. Guimarães, and T. Chambel, "Producing DTB from audio tapes", Proceedings of the 5th International Conference in Enterprise Information Systems, ICEIS, vol. 3, 2003.
Duarte, C., L. Carriço, T. Chambel, and N. Guimarães, "Producing DTB From Audio Tapes.", ICEIS (3), pp. 582–585, 2003.
Couto, F., M. J. Silva, and P. Coutinho, "ProFAL: PROtein Functional Annotation through Literature.", JISBD, pp. 747–756, 2003.
Cahill, V., A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Verissimo, and M. Wu, Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.

Pages