Publications

Export 2272 results:
2011
Mostrous, D., and V. T. Vasconcelos, "Session typing for a featherweight Erlang", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 95–109, 2011.
Vasconcelos, V. T., L. Aceto, and , "Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
Marques, G., T. Langlois, F. Gouyon, M. Lopes, and M. Sordo, "Short-term feature space and music genre classification", Journal of New Music Research, vol. 40, no. 2: Routledge, pp. 127–137, 2011.
Distler, T., I. Popov, W. Schröder-Preikschat, H. P. Reiser, and R. Kapitza, "SPARE: Replicas on Hold.", NDSS, 2011.
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.
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.
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.
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.
Ludovico, J., and H. Miranda, "Um Algoritmo de Difusao Baseado na Troca de Resumos", Atas do INFORUM, pp. 294–305, 2011.
Cruz, I. F., C. Stroe, F. Caimi, A. Fabiani, C. Pesquita, F. Couto, and M. Palmonari, "Using AgreementMaker to align ontologies for OAEI 2011", Proceedings of the Sixth International Workshop on Ontology Matching, pp. 114–121, 2011.
Antunes, J., and N. Ferreira Neves, "Using behavioral profiles to detect software flaws in network servers", Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on: IEEE, pp. 1–10, 2011.
Sapateiro, C., A. Ferreira, and P. Antunes, "Using microworlds to study teamwork at the cognitive level", SBSC: 8º simpósio brasileiro de Sistemas colaborativos, 2011.
Peneda, J., N. Charro, B. L. Hood, A. Fonseca, M. Hagenfeldt, A. Miranda, F. Zerimech, F. Gomes, D. Neto, T. P. Conrads, et al., Utilidade da Proteómica na Compreensão da Patogenia Molecular Proximal da Doença Cerebral Alcoólica, : Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2011.
Barbosa, SBP., AC. Ribeiro Neto, RB. Jatobá, MJA. Silva, AMV. Batista, AM. Silva, SFA. Freitas, and MJFB. Silva, "Variação sazonal da composição qu{ímica do leite cru inspecionado nas indústrias e latic{ínios da região nordeste do Brasil", Revista de Educação Continuada em Medicina Veterinária e Zootecnia, vol. 9, no. 3, pp. 69–69, 2011.
Fernandes, N., R. Lopes, and L. Carriço, "On web accessibility evaluation environments", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 4, 2011.
Pesquita, C., and F. Couto, "Where GO is Going and What it Means for Ontology Extension.", ICBO, 2011.
Pesquita, C., and F. Couto, "Where GO is going and what it means for ontology extension", International Conference on Biomedical Ontology, 2011.
Cámara, J., R. de Lemos, C. Ghezzi, and A. Lopes, "Workshop on assurances for self-adaptive systems (ASAS 2011)", Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering: ACM, pp. 516–517, 2011.
2010
Caires, L., and V. T. Vasconcelos, "18th International Conference on Concurrency Theory", Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
di Bernardo, D., T. Fung Chan, J. Chen, X. Chen, X. Chen, Y. Chen, X. Cheng, G. H Cho, Y-R. Cho, F. Couto, et al., 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, , 2010.
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.
De Filippo, M., M. J. Silva, KM. Johnson, D. Petriccioli, and C. Rossi, Accuracy of Multiplanar Reformated CT Imaging in the quantification of glenoid bone loss following shoulder dislocation., , 2010.
Sousa, A. Bessani Pa, and M. Correia, Active quorum systems, , 2010.
Bessani, A. Neves, Active quorum systems: Specification and correctness proof, , 2010.
Matos, J., and H. Miranda, "Ad Hoc Routing Under Randomized Propagation Models", InForum, 2010.
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.
Dixit, M., and A. Casimiro, "Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.", SRDS, pp. 141–147, 2010.
Marques, G., M. Lopes, M. Sordo, T. Langlois, and F. Gouyon, "Additional evidence that common low-level features of individual audio frames are not representative of music genres", Sound and Music Computing Conference, Barcelona, 2010.
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.
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.
Casimiro, A., and R. de Lemos, Architecting dependable systems VII, , vol. 6420: Springer, 2010.
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
Correia, M., G. Santos Veronese, and C. L Lung, "Asynchronous Byzantine consensus with 2f+ 1 processes", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 475–480, 2010.
Silva, M. J., P. Carvalho, C. Costa, and L. Sarmento, Automatic Expansion of a Social Judgment Lexicon for Sentiment Analysis, , 2010.
Vieira, D., and F. Martins, "Automatic generation of WSN simulations: From Callas applications to VisualSense models", Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on: IEEE, pp. 336–341, 2010.
Santos, A. L., K. Koskimies, and A. Lopes, "Automating the construction of domain-specific modeling languages for object-oriented frameworks", Journal of Systems and Software, vol. 83, no. 7: Elsevier, pp. 1078–1093, 2010.
Antunes, P., C. Sapateiro, J. A. Pino, V. Herskovic, and S. F. Ochoa, "Awareness checklist: reviewing the quality of awareness support in collaborative applications", Collaboration and Technology: Springer Berlin Heidelberg, pp. 202–217, 2010.
Couto, F., I. Andrade, P. Gonçalves, and P. Verissimo, Benchmarking some Portuguese S&T system research units, , 2010.
Pesquita, C., C. Stroe, I. F. Cruz, and F. Couto, "BLOOMS on AgreementMaker: results for OAEI 2010", Ontology Matching, pp. 134, 2010.
Silva, M. J., F. Silva, L. Filipe Lopes, and F. Couto, "Building a digital library for epidemic modelling", Proceedings of ICDL, pp. 23–27, 2010.
Rufino, J., J. Craveiro, and P. Verissimo, "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
Grego, T., J. Ferreira, C. Pesquita, H. Bastos, D. Vila Viçosa, J. Freire, and F. Couto, Chemical and Metabolic Pathway Semantic Similarity, , 2010.
Duarte, L., and L. Carriço, "The Collaboration Platform: a Cooperative Work Course Case-Study", Creating Connecting and Collaborating through Computing (C5), 2010 Eighth International Conference on: IEEE, pp. 19–25, 2010.
Mocito, J., L. Rodrigues, and H. Miranda, "Communication and coordination support in ad hoc networks for emergency management scenarios", Proceedings of the 6th International Wireless Communications and Mobile Computing Conference: ACM, pp. 499–503, 2010.
Martinho, R., D. Domingos, and J. Varajao, "Concept maps for the modelling of controlled flexibility in software processes", IEICE TRANSACTIONS on Information and Systems, vol. 93, no. 8: The Institute of Electronics, Information and Communication Engineers, pp. 2190–2197, 2010.
Silva, MJ., Coordenação de Colheita de Órgãos e Tecidos, : Gabinete Coordenador de Colheita e Transplantação do Centro Hospitalar de Lisboa Central, EPE, 2010.
Prata, A., N. Guimarães, and T. Chambel, "Crossmedia personalized learning contexts", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 305–306, 2010.
Marques, L., and A. Casimiro, "Data validity and dependable perception in networked sensor-based systems", Reliable Distributed Systems, 2010 29th IEEE Symposium on: IEEE, pp. 358–362, 2010.
Marques, L., and A. Casimiro, "Dependable Perception in Wireless Sensor Networks", Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, 2010.
Couto, F., Desenvolvimento de Aplicações Web baseadas em SOA e AJAX, : DI-FCUL, 2010.
Tiellet, C. A. B., A. Grahl Pereira, E. Berni Reategui, J. Valdeni Lima, and T. Chambel, "Design and evaluation of a hypervideo environment to support veterinary surgery learning", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 213–222, 2010.
de Sá, M., L. Carriço, J. Faria, and I. Sá, "Designing for children: a fear therapy tool", CHI'10 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 3487–3492, 2010.
Prata, A., N. Guimarães, and T. Chambel, "Designing iTV based crossmedia personalized informal learning contexts", Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 187–194, 2010.
Balestra, V., L. Ampollini, N. Sverzellati, M. J. Silva, L. Cattelani, R. Bilancia, F. Gussago, P. Carbognani, and M. Rusca, "Diverticolo tracheale acquisito: una rara causa di emottisi", 32 Congresso Nazionale SICT, 2010.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "EBAWA: Efficient Byzantine agreement for wide-area networks", High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on: IEEE, pp. 10–19, 2010.
Oliveira, E., and T. Chambel, "Emotional Video Album: getting emotions into the picture", Emotion in HCI–Designing for People, vol. 351: Citeseer, pp. 16, 2010.
Silva, F., M. J. Silva, and F. Couto, "Epidemic Marketplace: an e-Science Platform for Epidemic Modelling and Analysis", ERCIM News, 2010.
Lopes, L. F., F. Silva, F. Couto, J. Zamite, H. Ferreira, C. Sousa, and M. J. Silva, "Epidemic marketplace: an information management system for epidemiological data", Information Technology in Bio-and Medical Informatics, ITBAM 2010: Springer Berlin Heidelberg, pp. 31–44, 2010.
Miranda, T. F. S., F. F. Martins, and D. Souto Rodrigues, Estudo do desempenho de TBM na escavação de maciços gran{íticos do norte de Portugal utilizando o sistema QTBM, : Comissão Portuguesa de Túneis e Obras Subterrâneas, 2010.
Carriço, L., G. Zurita, M. de Sá, N. Baloian, J. Faria, and I. Sá, "Evaluating a prototype for geo-referenced collaborative psychotherapy with mobile devices", Collaboration and Technology: Springer Berlin Heidelberg, pp. 353–362, 2010.
Ferreira, A., Evaluating groupware usability at the cognitive level of human action, : Universidade de Lisboa, 2010.
Oliveira, I., O. Grigore, N. Guimarães, and C. Duarte, "Experiences in reading detection with EEG signals", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 1236–1237, 2010.
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.
Mocito, J., L. Rodrigues, and H. Miranda, "@ Flood: auto-tunable flooding for wireless ad hoc networks", Euro-Par 2010-Parallel Processing: Springer Berlin Heidelberg, pp. 478–489, 2010.
Prata, A., T. Chambel, and N. Guimarães, "Generation of crossmedia dynamic learning contexts from iTV", Proceedings of the 8th international interactive conference on Interactive TV&Video: ACM, pp. 91–100, 2010.
Lopez-Pellicer, F. J., M. J. Silva, M. Chaves, J. F Zarazaga-Soria, and P. R. Muro-Medrano, "Geo linked data", Database and Expert Systems Applications: Springer Berlin Heidelberg, pp. 495–502, 2010.
Batista, D. S., M. J. Silva, F. Couto, and B. Behera, "Geographic signatures for semantic retrieval", Proceedings of the 6th Workshop on Geographic Information Retrieval: ACM, pp. 19, 2010.
Ferreira, J., D. S. Batista, F. Couto, and M. J. Silva, The Geo-Net-PT/Yahoo! GeoPlanet (TM) concordance, , 2010.
de Sá, M., L. Carriço, J. Faria, I. Sá, N. Baloian, and G. Zurita, "Geo-referenced collaborative psychotherapy: design and evaluation of a low-fidelity prototype", Proceedings of the 12th international conference on Human computer interaction with mobile devices and services: ACM, pp. 417–418, 2010.
Neng, L. A. R., and T. Chambel, "Get around 360 hypervideo", Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments: ACM, pp. 119–122, 2010.
Cardoso, N., and M. J. Silva, "A GIR architecture with semantic-flavored query reformulation", Proceedings of the 6th Workshop on Geographic Information Retrieval: ACM, pp. 8, 2010.
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.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Highly available intrusion-tolerant services with proactive-reactive recovery", Parallel and Distributed Systems, IEEE Transactions on, vol. 21, no. 4: IEEE, pp. 452–465, 2010.
Tiellet, C. A. B., A. Grahl Pereira, E. Berni Reategui, J. Valdeni Lima, and T. Chambel, "HVet: a hypervideo environment to support veterinary surgery learning", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 313–314, 2010.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Indoor positioning using a mobile phone with an integrated accelerometer and digital compass", INForum, 2010.
Senger, H., F. Silva, and , "Influence of Communication Models on the Scalability of Master-Slave Platforms Running Bag-of-Tasks Applications", Computing Systems (WSCAD-SCC), 2010 11th Symposium on: IEEE, pp. 25–32, 2010.
Antunes, P., C. Sapateiro, G. Zurita, and N. Baloian, "Integrating spatial data and decision models in an e-planning tool", Collaboration and Technology: Springer Berlin Heidelberg, pp. 97–112, 2010.
Stumm, V., C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, "Intrusion tolerant services through virtualization: A shared memory approach", Advanced Information Networking and Applications (AINA), 2010 24th IEEE International Conference on: IEEE, pp. 768–774, 2010.
Giunti, M., and V. T. Vasconcelos, "A linear account of session types in the pi calculus", CONCUR 2010-Concurrency Theory: Springer Berlin Heidelberg, pp. 432–446, 2010.
Gay, S. J., and V. T. Vasconcelos, "Linear type theory for asynchronous session types", Journal of Functional Programming, vol. 20, no. 01: Cambridge University Press, pp. 19–50, 2010.
Francisco, J., M. J. Silva, and M. Chaves, Linkable Geographic Ontologies, , 2010.
Lopez-Pellicer, F. J., M. J. Silva, and M. Chaves, "Linkable geographic ontologies", Proceedings of the 6th Workshop on Geographic Information Retrieval: ACM, pp. 1, 2010.
Pombinho, P., M. Beatriz Carmo, A. Paula Afonso, and H. Aguiar, "Location and orientation based point of interest search interface", Proceedings of the 12th international conference on Human computer interaction with mobile devices and services: ACM, pp. 375–376, 2010.
Lopes, R., and L. Carriço, "Macroscopic characterisations of Web accessibility", New Review of Hypermedia and Multimedia, vol. 16, no. 3: Taylor & Francis, pp. 221–243, 2010.
Bessani, A. Neves, V. Vielmo Cogo, M. Correia, P. Costa, M. Pasin, F. Silva, L. Arantes, O. Marin, P. Sens, and J. Sopena, "Making Hadoop MapReduce Byzantine Fault-Tolerant", DSN, Fast abstract, 2010.
Zamite, J., F. Silva, F. Couto, and M. J. Silva, "MEDCollector: Multisource epidemic data collector", Information Technology in Bio-and Medical Informatics, ITBAM 2010: Springer, pp. 16–30, 2010.
Quaresma, B., A. Neves Bessani, and P. Sousa, "Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds", Actas do INFORUM, 2010.
Fiadeiro, J. Luiz, and A. Lopes, "A model for dynamic reconfiguration in service-oriented architectures", Software Architecture: Springer Berlin Heidelberg, pp. 70–85, 2010.
Gay, S. J., V. T. Vasconcelos, A. Ravara, N. Gesbert, and A. Z. Caldeira, "Modular session types for distributed object-oriented programming", ACM Sigplan Notices, vol. 45, no. 1: ACM, pp. 299–312, 2010.
Ferreira, P. Lopes, P. Antunes, and S. Portugal, "O valor dos cuidados primários: perspectiva dos utilizadores das USF-2009", Lisboa: VFBM Comunicação Ltda, 2010.
de Sá, M., L. Carriço, and , "OmniSCOPE: composing universal therapies", Methods Inf Med, vol. 49, no. 1, pp. 81–87, 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.

Pages