Publications

Export 2272 results:
Journal Article
Coutinho, M., J. Rufino, and C. Almeida, "VITRAL: A text mode windows manager for RTEMS", Terceiras Jornadas de Engenharia de Electrónica e Telecomunicaçoes e de Computadores, 2005.
Gomes, D., and M. J. Silva, The Viuva Negra crawler, : Department of Informatics, University of Lisbon, 2006.
Gomes, D., and M. J. Silva, "The Viúva Negra crawler: an experience report", Software: Practice and Experience, vol. 38, no. 2: Wiley Online Library, pp. 161–188, 2008.
Reiser, H. P., and R. Kapitza, "VM-FIT: supporting intrusion tolerance with virtualisation technology", Proceedings of the Workshop on Recent Advances on Intrusion-Tolerant Systems, 2007.
Zúquete, A., A. Ferreira, C. J. Costa, D. Magalhães, D. Vieira, F. Simões, J. Ferreira Dias, L. Carriço, P. Ferreira, P. Antunes, et al., Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, : Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, 2008.
Antunes, J., N. Ferreira Neves, M. Correia, P. Verissimo, and R. Neves, "Vulnerability discovery with attack injection", Software Engineering, IEEE Transactions on, vol. 36, no. 3: IEEE, pp. 357–370, 2010.
Correia, N., J. Martins, I. Oliveira, and N. Guimarães, "WeatherDigest: an experiment on media conversion", Proceedings of SPIE, vol. 95, 1996.
Batista, P., and M. J. Silva, Web access mining from an on-line newspaper logs, : 12th International Meeting of the Euro Working Group on Decision Support Systems (EWG-DSS 2001), 2001.
Gomes, D., A. L. Santos, and M. J. Silva, Webstore: A manager for incremental storage of contents, : Department of Informatics, University of Lisbon, 2004.
Souza, J. L. R., and J. Rufino, Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15. 4?, : INForum-Simpósio de Informática 2009, 2009.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "WIT-GCS–a wormhole-based intrusion-tolerant group communication system", Submitted for publication, 2003.
Guimarães, N., and A. Paula Pereira, "Workflow Modeling, Automation and Augmentation,"", Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the art and future directions, Athens, Georgia, USA, 1996.
Guimarães, N., and A. Paula Pereira, "Workflow Modeling, Automation and Augmentation,", Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the art and future directions, Athens, Georgia, USA, 1996.
Marques, D. H., L. Carriço, T. Guerreiro, A. De Luca, P. Maes, I. Muslukhov, I. Oakley, and E. von Zezschwitz, Workshop on lnconspicuous Interaction, , 2014.
Pereira, J., R. Oliveira, and L. Rodrigues, "Workshop on Reliability in Decentralized Distributed Systems (RDDS)-Distributed Algorithms-Efficient Epidemic Multicast in Heterogeneous Networks", Lecture Notes in Computer Science, vol. 4278: Berlin: Springer-Verlag, 1973-, pp. 1520–1529, 2006.
Neves, N. Ferreira, M. Correia, and P. Verissimo, Wormhole-aware Byzantine protocols, , 2004.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS", The 5th Cabernet Plenary Workshop, 2003.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Worm-IT–a wormhole-based intrusion-tolerant group communication system", Journal of Systems and Software, vol. 80, no. 2: Elsevier, pp. 178–197, 2007.
Cardoso, N., B. Martins, D. Gomes, and M. J. Silva, WPT 03: a primeira colecção pública proveniente de uma recolha da web portuguesa, : Avaliação Conjunta: um novo paradigma no processamento computacional da l{íngua portuguesa, 2007.
Canato, S., AS. Carvalho, HM. Botelho, K. Aloria, R. Matthiesen, MD. Amaral, A. Falcao, and CM. Farinha, "WS09. 2 Modulation of protein traffic networks to rescue F508del-CFTR from the endoplasmic reticulum", Journal of Cystic Fibrosis, vol. 16: Elsevier, pp. S16, 2017.
Rodrigues, M. J., M. Falé, A. Lamurias, and F. M. Couto, "WS4A: a biomedical question and answering system based on public web services and ontologies", arXiv preprint arXiv:1609.08492, 2016.
Langlois, T., "XAI: une méthode incrémentale pour l'approximation de la fonction de valeur", Revue d'intelligence artificielle, vol. 21, no. 1: Lavoisier, pp. 35–52, 2007.
Rodrigues, L., and P. Verissimo, xAMp: A protocol suite for group communication, : Citeseer, 1992.
Ramalho, J. Carlos, J. Correia Lopes, A. Simões, and , XATA 2006: XML: aplicações e tecnologias associadas, , 2006.
Cardoso, N., L. Andrade, A. Simões, and M. J. Silva, "The XLDB Group participation at CLEF 2005 ad hoc task", Cross Language Evaluation Forum: Working Notes for the CLEF 2005 Workshop, Wien, Austria, 2005.
Carriço, L., R. Lopes, M. Rodrigues, and A. Dias, "XML na Modelação de Sistemas Hipermédia", XATA: XML Aplicações e Tecnologias Asociadas, 2003.
Coelho, J., F. Rito, and C. Duarte, "“You, me & TV”—Fighting social isolation of older adults with Facebook, TV and multimodality", International Journal of Human-Computer Studies, vol. 98: Elsevier, pp. 38–50, 2017.
Miscellaneous
Vasconcelos, V. T., and P. Haller, 10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface, : OPEN PUBL ASSOC OPEN PUBL ASSOC, SYDNEY, 00000, AUSTRALIA, 2017.
Cosquer, F. J. N., P. Antunes, N. Guimarães, and P. Verissimo, Adaptive Synchronous Cooperation over Large Scale Networks, : Technical Report RT-95, INESC, Rua Alves Redol 9, 1995.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
Antunes, J., and N. Ferreira Neves, "Building an automation towards reverse protocol engineering", 2012-10-10]. http://homepages. di. fc. ul. pt/\~{} nuno/PAPERS/INFORUM09. pdf, 2009.
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Rufino, J., "Dual-media redundancy mechanisms for CAN", 2008-02-14)[2012-07-04]. http://dario. di. fc. ul. pt/downloads/CSTC-RT-9701. pdf, 1997.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, A dynamic light-weight group service, : Cornell University, 1996.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
Nickelsen, A., M. Reitenspiess, I. de Bruin, A. Casimiro, M. Calha, Z. Egel, G. Egeland, L. Falai, B. Freund-Hansen, S. Heemstra de Groot, et al., Experimental proof-of-concept set up: HIDENETS D6. 3, : Department of Electronic Systems, Aalborg University Aalborg, 2008.
García-Valls, M., A. Casimiro, and H. P. Reiser, A few open problems and solutions for software technologies for dependable distributed systems, : Elsevier, 2017.
Verissimo, P., W. Vogels, and L. Rodrigues, A Framework for Structuring Group Support in LSDCs, : Technical Report RT/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993.
Costa, P., Hadoop MapReduce tolerante a faltas bizantinas, , 2011.
Cachin, C., J. Camenisch, M. Dacier, Y. Deswarte, J. Dobson, D. Horne, K. Kursawe, JC. Laprie, JC. Lebraud, D. Long, et al., Malicious-and Accidental-Fault Tolerance in Internet Applications: reference model and use cases, : LAAS report, 2000.
Batista, P., and M. J. Silva, Mining Web Access Logs of an On-line Newspaper. 2002, , 2003.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Rufino, J., Redundant CAN architectures for dependable communication, : Tech. rept. CSTC RT-97-07. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Casimiro, A., A. Bondavalli, H-P. Schwefel, M. Calha, M. Clemetsen, A. Daidone, M. Dixit, Z. Egel, L. Falai, F. Di Giandomenico, et al., Resilient architecture: HIDENETS D2. 1.2, , 2006.
Arlat, J., M. Kaaniche, H-P. Schwefel, Y. Liu, E. Vestergaar Matthiesen, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, et al., Revised reference model: HIDENETS D1. 2, : Aalborg Universitetsforlag, 2007.
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
Nickelsen, A., H-P. Schwefel, L. Jesper Grønbæk, A. Casimiro, A. Kövi, H. P. Reiser, and T. Julien Renier, Service level resilience solutions for the infrastructure domain: HIDENETS D2. 2, : Department of Electronic Systems, Aalborg University Aalborg, 2008.
Pinto, R., J. Rufino, and C. Almeida, Specification and engineering of the CANELy prototype board, : Technical Report DARIO Technical Report RT-06-06, Instituto Superior Tecnico, Lisbon, Portugal, 2006.
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.
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.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
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.
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.
Noronha, N., and M. J. Silva, Using the semantic web for web searches, : INTERAC{\c{C}}ÃO 2004-1ª Conferência Nacional em Interacção Pessoa-Máquina, 2004.
Thesis
Silva, M. J., T-cker. Chiueh, and R. H. Katz, Active documentation for VLSI design, : University of California, Berkeley, 1994.
Langlois, T., Algorithmes d'apprentissage par renforcement pour la commande adaptative, , 1992.
Langlois, T., {Algorithmes d'apprentissage par renforcement pour la commande adaptative: Texte imprimé, : Compiégne, 1992.
Rufino, J., Computational system for real-time distributed control, : PhD thesis, Universidade Técnica de Lisboa Instito Superior Técnico, 2002.
Ferreira, A., Evaluating groupware usability at the cognitive level of human action, : Universidade de Lisboa, 2010.
Falcao, A. O., Implementação de métodos heur{ísticos para modelação da gestão em ecossistemas florestais–Integração num Sistema de Apoio á Decisão, : Ph. D. thesis, Instituto Superior de Agronomia, Lisboa, 2001.
Verissimo, P., Optimisation de la Réponse aux menaces basée sur les coûts dans des systèmes pour la Sécurité de l'Information et la Gestion des Evénements (SIEMs), : Télécom SudParis, 2014.
Couto, F., ReBIL: Relating Biological Information through Literature, : Tese de Doutoramento, Faculdade de Ciências, Departamento de Informática, Universidade de Lisboa, 2006.
Jeichande, D. Ussene, and H. Miranda, Redundant firewalls for web applications, , 2016.
Mostrous, D., Session Types in Concurrent Calculi: Higher-Order Processes and Objects, : Imperial College London (University of London), 2010.
Ferreira, A., Suporte á publicidade na Internet: Projecto e construção de um gestor de publicidade, : Universidade de Lisboa, 2000.
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.

Pages