Publications

Export 79 results:
Filters: First Letter Of Title is B  [Clear All Filters]
2018
Bessani, A., H. P. Reiser, M. Vukolić, and T. Distler, "BCRB 2018 introduction", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W): IEEE, pp. 121–121, 2018.
Nunes, P., I. Medeiros, J. C. Fonseca, N. Neves, M. Correia, and M. Vieira, "Benchmarking Static Analysis Tools for Web Security", IEEE Transactions on Reliability, vol. 67, no. 3: IEEE, pp. 1159–1175, 2018.
Viegas, E., A. Santin, A. Bessani, and N. Neves, "BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks", Future Generation Computer Systems: Elsevier, 2018.
Lamurias, A., L. A. Clarke, and F. M. Couto, "BO-LSTM: Classifying relations via long short-term memory networks along biomedical ontologies", bioRxiv: Cold Spring Harbor Laboratory, pp. 336719, 2018.
Henriques, R., and S. C. Madeira, "BSig: evaluating the statistical significance of biclustering solutions", Data Mining and Knowledge Discovery, vol. 32, no. 1: Springer, pp. 124–161, 2018.
Coelho, P., T. Ceolin Junior, A. Bessani, F. Dotti, and F. Pedone, "Byzantine Fault-Tolerant Atomic Multicast", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 39–50, 2018.
Sousa, J., A. Bessani, and M. Vukolić, "A byzantine fault-tolerant ordering service for the hyperledger fabric blockchain platform", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 51–58, 2018.
2016
M Arif, F., C. Mencía, A. Ignatiev, N. Manthey, R. Peñaloza, and J. Marques-Silva, "BEACON: An Efficient SAT-Based Tool for Debugging {\mathcal {EL}}{^+} Ontologies", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 521–530, 2016.
Ancona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., "Behavioral types in programming languages", Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
Henriques, R., and S. C. Madeira, "BiC2PAM: constraint-guided biclustering for biological data analysis with domain knowledge", Algorithms for Molecular Biology, vol. 11, no. 1: BioMed Central, pp. 23, 2016.
Henriques, R., and S. C. Madeira, "BicNET: Flexible module discovery in large-scale biological networks using biclustering", Algorithms for Molecular Biology, vol. 11, no. 1: BioMed Central, pp. 14, 2016.
Wang, F., G. Luo, C. Weng, A. Khan, P. Mitra, and C. Yu, Biomedical Data Management and Graph Online Querying, : Springer, 2016.
Ramos, F. M. V., J. Crowcroft, and I. H. White, "Blending photons with electrons to reduce the energy footprint of IPTV networks", IFIP Networking Conference (IFIP Networking) and Workshops, 2016: IEEE, pp. 288–296, 2016.
Aniceto, M., J. Moura Pires, N. Datia, and A. Paula Afonso, "Browsing Multidimensional Visual Entities", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 146–151, 2016.
2015
Guerreiro, T., K. Montague, J. Guerreiro, R. Nunes, H. Nicolau, and D. J. V. Gonçalves, "Blind People Interacting with Large Touch Surfaces: Strategies for One-handed and Two-handed Exploration", Proceedings of the 2015 International Conference on Interactive Tabletops &\#38; Surfaces, New York, NY, USA, ACM, 2015.
2013
Couto, F., D. Faria, B. Tavares, P. Gonçalves, and P. Verissimo, "Benchmarking some Portuguese S&T system research units", arXiv preprint arXiv:1302.0420, 2013.
Couto, F., D. Faria, B. Tavares, P. Gonçalves, and P. Verissimo, "Benchmarking some Portuguese S&T system research units: 2nd Edition", arXiv preprint arXiv:1302.0420, 2013.
Lima, R., C. Baquero, and H. Miranda, "Broadcast cancellation in search mechanisms", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 548–553, 2013.
Duarte, C., D. Costa, P. Feiteira, and D. Costa, "Building an Adaptive Multimodal Framework for Resource Constrained Systems", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 155–173, 2013.
Moniz, H., N. Ferreira Neves, and M. Correia, "Byzantine fault-tolerant consensus in wireless ad hoc networks", Mobile Computing, IEEE Transactions on, vol. 12, no. 12: IEEE, pp. 2441–2454, 2013.
2012
Martins, I. Filipa, A. L. Teixeira, L. Pinheiro, and A. O. Falcao, "A Bayesian approach to in silico blood-brain barrier penetration modeling", Journal of chemical information and modeling, vol. 52, no. 6: American Chemical Society, pp. 1686–1697, 2012.
Correia, M., N. Ferreira Neves, and P. Verissimo, "BFT-TO: Intrusion tolerance with less replicas", The Computer Journal: Oxford University Press, pp. bxs148, 2012.
Duarte, L., and L. Carriço, "Blue pill or red pill?: placebo effect and the outcome on physiological & player performance metrics", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 93–96, 2012.
Alchieri, E., A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage", Distributed Computing: Springer Berlin Heidelberg, pp. 443–444, 2012.
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
Ferreira, J., C. Pesquita, F. Couto, and M. J. Silva, "Bringing epidemiology into the Semantic Web.", ICBO, 2012.
Coelho, J., C. Duarte, P. Feiteira, D. Costa, and D. Costa, "Building Bridges Between Elderly and TV Application Developers", ACHI 2012, The Fifth International Conference on Advances in Computer-Human Interactions, pp. 53–59, 2012.
2011
Chambel, T., E. Oliveira, and P. Martins, "Being happy, healthy and whole watching movies that affect our emotions", Affective Computing and Intelligent Interaction: Springer Berlin Heidelberg, pp. 35–45, 2011.
Cruz, I. F., C. Stroe, C. Pesquita, F. Couto, and V. Cross, "Biomedical Ontology Matching Using the AgreementMaker System.", ICBO, 2011.
Antunes, P., "BPM and exception handling: Focus on organizational resilience", IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, vol. 41, no. 3: Institute of Electrical and Electronics Engineers, Inc., 3 Park Avenue, 17 th Fl New York NY 10016-5997 USA, pp. 383–392, 2011.
Coelho, J., and C. Duarte, "Building Supportive Multimodal User Interfaces", Supportive User Interfaces: SUI 2011, pp. 8, 2011.
Correia, M., G. Santos Veronese, N. Ferreira Neves, and P. Verissimo, "Byzantine consensus in asynchronous message-passing systems: a survey", International Journal of Critical Computer-Based Systems, vol. 2, no. 2: Inderscience Publishers, pp. 141–161, 2011.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Byzantine fault-tolerant MapReduce: Faults are not just crashes", Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on: IEEE, pp. 32–39, 2011.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Byzantine fault-tolerant transaction processing for replicated databases", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 83–90, 2011.
2009
Aubry, F., A. Neves Bessani, and P. Sousa, "BFT Services Programming with a Dependable Tuple Space", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, Bridging the Gap between Algebraic Specification and Generic Programming, : Runtime Verification, 9th International Workshop, 2009.
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
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.
2008
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
Tavares, B., H. Bastos, D. Faria, J. Ferreira, T. Grego, C. Pesquita, and F. Couto, "The Biomedical Ontology Applications (BOA) framework", evaluation, vol. 9, no. S5, pp. S4, 2008.
Couto, F., and M. J. Silva, Biomedical research line of LASIGE, , 2008.
Bastos, H., C. Pesquita, D. Faria, and A. O. Falcao, "BOLOS: BLAST & Ontology Linked-hOmologue Stars", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 1278–1281, 2008.
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, Bullet-Linux: a Real-Time Platform for Industrial Embedded Systems, , 2008.
Alchieri, E. A. P., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Byzantine consensus with unknown participants", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 22–40, 2008.
Correia, M., A. Neves Bessani, and P. Verissimo, "On Byzantine generals with alternative plans", Journal of Parallel and Distributed Computing, vol. 68, no. 9: Academic Press, pp. 1291–1296, 2008.
2007
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.
Lopes, R., and L. Carriço, "Browsing a Structured Multimedia Repository.", WEBIST (2), pp. 429–432, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, Building adaptive services for distributed systems, : Department of Informatics, University of Lisbon, 2007.
Rosa, L., L. Rodrigues, and A. Lopes, "Building adaptive systems with service composition frameworks", On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: Springer Berlin Heidelberg, pp. 754–771, 2007.
2006
Guerraoui, R., and L. Rodrigues, "Basic Abstractions", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 25–68, 2006.
Berman, E., E. Hajdu, GR. da S. Muricy, HP. Lavrado, IA. Cardoso, I. Verissimo, de. C. L Monteiro, LM. de S. Gestinari, de. L. L Loiola, MS. de Medeiros, et al., "Benthic biodiversity of the central region of the Brazilian Economic Exclusion Zone.", Biodiversidade bentônica da região central da Zona Econômica Exclusiva brasileira: Museo Nacional, Rio de Janeiro, 2006.
Azevedo, NF., N. Guimarães, CW. Keevil, and MJ. Vieira, Biofilms as possible microenvironments for H. pylori subsistence in water-exposed environments, , 2006.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Distributed Computing: Springer Berlin Heidelberg, pp. 554–556, 2006.
PASIC, A., P. SORIA-RODRIGUEZ, J. Paul MOORE, J. CLARKE, Z. D. O. O. L. Y. Will DONNELLY, W. FITZGERALD, S. JOHNSTONE, S. SHIU, V. LOTZ, M. MELIDEO, et al., "Bringing Together the European Stakeholders for Security and Dependability", Exploiting the Knowledge Economy: Issues, Applications and Case Studies, vol. 3: IOS Press, pp. 128, 2006.
Bessani, A. Neves, J. da Silva Fraga, and C. L Lung, "BTS: A Byzantine fault-tolerant tuple space", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 429–433, 2006.
Lopes, R., and L. Carriço, "Building reusable XML pipelines with APP", XATA2006, XML: Aplicaçoes e Tecnologias Associadas, 2006.
2005
Couto, F., M. J. Silva, and P. Fernandes, Bioinformatics: Knowledge Discovery in Biology, : Bioinformatics: Knowledge Discovery in Biology-Workshop Proceedings, 2005.
Carriço, L., C. Duarte, R. Lopes, M. Rodrigues, and N. Guimarães, "Building Rich User Interfaces for Digital Talking Books", Computer-Aided Design of User Interfaces IV: Springer Netherlands, pp. 335–348, 2005.
2004
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Byzantine-resistant consensus based on a novel approach to intrusion tolerance", Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004.
2000
Miranda, H., and L. Rodrigues, "Balancing configurability and efficiency in network support tools", Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system: ACM, pp. 223–228, 2000.
Maria, N., and M. J. Silva, "Building a digital library of web news", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 344–347, 2000.
1995
Antunes, P., N. Guimarães, J. Segovia, and J. Cardenosa, "Beyond formal processes: Augmenting workflow with group interaction techniques", Proceedings of conference on Organizational computing systems: ACM, pp. 1–9, 1995.
1994
Langlois, T., and S. Canu, "B-learning: a reinforcement learning variant for the control of a plant", Journal of intelligent material systems and structures, vol. 5, no. 2: Sage Publications, pp. 272–278, 1994.
1992
Savoj, H., M. J. Silva, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Boolean matching in logic synthesis", Proceedings of the conference on European design automation: IEEE Computer Society Press, pp. 168–174, 1992.