Publications

Export 58 results:
Filters: First Letter Of Title is H  [Clear All Filters]
2018
Vasconcelos, V. T., A. Lopes, and F. Martins, "HeadREST: A Specification Language for RESTful APIs", TYPES 2018, pp. 80, 2018.
Melfe, G., A. Fonseca, and J. Paulo Fernandes, "Helping developers write energy efficient Haskell through a data-structure evaluation", 2018 IEEE/ACM 6th International Workshop on Green And Sustainable Software (GREENS): IEEE, pp. 9–15, 2018.
Melo, W., L. F. R. C. Carmo, A. Bessani, N. Neves, and A. Santin, "How blockchains can improve measuring instruments regulation and control", 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC): IEEE, pp. 1–6, 2018.
Trindade, D., A. Rodrigues, T. Guerreiro, and H. Nicolau, "Hybrid-Brailler: Combining Physical and Gestural Interaction for Mobile Braille Input and Editing", Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. 27, 2018.
2017
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
Marques-Silva, J., A. Ignatiev, and A. Morgado, "Horn Maximum Satisfiability: Reductions, Algorithms & Applications", arXiv preprint arXiv:1705.05335, 2017.
Jr, W. S. Melo, A. Bessani, and L. F. R. C. Carmo, How Blockchains can help Legal Metrology, , 2017.
Cogo, V. V., A. Bessani, F. M. Couto, M. Gama-Carvalho, M. Fernandes, and P. Esteves-Verissimo, "How Can Photo Sharing Inspire Sharing Genomes?", 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, vol. 616: Springer, pp. 74, 2017.
Cogo, V. V., A. Bessani, F. M. Couto, M. Gama-Carvalho, M. Fernandes, and P. Esteves-Verissimo, "How can photo sharing inspire sharing genomes?", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 74–82, 2017.
2016
Medeiros, I., M. Beatriz, N. Neves, and M. Correia, "Hacking the DBMS to Prevent Injection Attacks", Proceedings of the Sixth ACM Conference on Data and Application Security and Privacy: ACM, pp. 295–306, 2016.
Rodolfo, I., N. Correia, M. Sousa, P. Sá, and C. Duarte, "How Far in the Future will We Start From?: Interacting with the Stakeholders of a Nation-wide Patient Portal", Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 899–909, 2016.
2015
Cogo, V., A. Bessani, F. Couto, and P. Verissimo, "A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data", Workshop on Privacy in the Electronic Society (WPES), 2015.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "HoliBraille: Multipoint Vibrotactile Feedback on Mobile Devices", Proceedings of the 12th Web for All Conference, New York, NY, USA, ACM, 2015.
2014
Fiadeiro, J. Luis, and A. Lopes, "Heterogeneous and Asynchronous Networks of Timed Systems", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 79–93, 2014.
Delahaye, B., J. Luiz Fiadeiro, A. Legay, and A. Lopes, "Heterogeneous timed machines", Theoretical Aspects of Computing–ICTAC 2014: Springer International Publishing, pp. 115–132, 2014.
2013
Cruz, N., and H. Miranda, "A Hybrid Trust and Trade Service for Mobile Collaborative Computing", Next Generation Mobile Apps, Services and Technologies (NGMAST), 2013 Seventh International Conference on: IEEE, pp. 1–6, 2013.
2012
Craveiro, J., and J. Rufino, "Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Craveiro, J., R. Ormonde Silveira, and J. Rufino, "hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
Simões, D., P. Antunes, and J. A. Pino, "Humanistic approach to the representation of business processes", Computer Supported Cooperative Work in Design (CSCWD), 2012 IEEE 16th International Conference on: IEEE, pp. 655–665, 2012.
2011
Costa, P., Hadoop MapReduce tolerante a faltas bizantinas, , 2011.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "HaloDot: Visualization of the Relevance of Off-Screen Objects", V Simpósio Ibero-Americano de Computação Gráfica, pp. pp–117, 2011.
Pinto, R., J. Rufino, and C. Almeida, "High availability in controller area networks", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
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.
2009
Couto, F., T. Grego, C. Pesquita, and P. Verissimo, Handling self-citations using Google Scholar, : International Journal of Scientometrics, Informetrics and Bibliometrics, 2009.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Highly-resilient services for critical infrastructures", Proceedings of the Embedded Systems and Communications Security Workshop, 2009.
Guimarães, N., and L. Carriço, "Hypermedia genes: an evolutionary perspective on concepts, models, and architectures", Synthesis Lectures on Information Concepts, Retrieval, and Services, vol. 4, no. 1: Morgan & Claypool Publishers, pp. 1–86, 2009.
2008
Carriço, L., M. de Sá, and P. Antunes, "Handheld Tools for Personalized and Proactive Psychotherapy", Enterprise Information Systems: Springer Berlin Heidelberg, pp. 452–464, 2008.
Cardoso, N., M. J. Silva, and D. Santos, "Handling implicit geographic evidence for geographic ir", Proceedings of the 17th ACM conference on Information and knowledge management: ACM, pp. 1383–1384, 2008.
Casimiro, A., and P. Verissimo, HIDENETS–Highly Dependable IP-based Networks and Services, , 2008.
Saraiva, A. João, M. José Damásio, and T. Chambel, Hiperv{ídeo na Preservação e Partilha de Memória Cultural e Etnográfica, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.
2007
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Hidden problems of asynchronous proactive recovery", Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
Leitao, J., J. Pereira, and L. Rodrigues, "HyParView: A membership protocol for reliable gossip-based broadcast", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 419–429, 2007.
Reiser, H. P., and R. Kapitza, "Hypervisor-based efficient proactive recovery", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 83–92, 2007.
2006
de Sá, M., and L. Carriço, "Handheld devices for cooperative educational activities", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 1145–1149, 2006.
Martins, B., M. J. Silva, S. Freitas, and A. Paula Afonso, "Handling Locations in Search Engine Queries.", GIR, vol. 6, pp. 1–6, 2006.
Wichert, A., and M. J. Silva, Hierarchical linear subspace indexing method, : Department of Informatics, University of Lisbon, 2006.
Obelheiro, R. R., A. Neves Bessani, C. L Lung, and M. Correia, How practical are intrusion-tolerant distributed systems?, : Department of Informatics, University of Lisbon, 2006.
Chambel, T., C. Zahn, and M. Finke, "Hypervideo and cognition: Designing video-based hypermedia for individual learning and collaborative knowledge building", Cognitively Informed Systems: Utilizing Practical Approaches to Enrich Information Presentation and Transfert, pp. 26–49, 2006.
2005
Carriço, L., and M. de Sá, "Hand-held psychotherapy artifacts", Proceedings of the 11th Human Computer Interaction International Conference, HCII05, Las Vegas, USA, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/tolerant systems?, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "How resilient are distributed f fault/intrusion-tolerant systems?", Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 2005.
2004
Correia, M., N. Ferreira Neves, and P. Verissimo, "How to tolerate half less one Byzantine nodes in practical distributed systems", Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.: IEEE, pp. 174–183, 2004.
Bidarra, J., N. Guimarães, and P. Kommers, Hypermedia complexity: Fractal hyperscapes and mind mapping, : IOS Press, Amesterdão, 2004.
Chambel, T., C. Zahn, and M. Finke, "Hypervideo design and support for contextualized learning", Advanced Learning Technologies, 2004. Proceedings. IEEE International Conference on: IEEE, pp. 345–349, 2004.
2002
Antunes, P., and C. J. Costa, "Handheld CSCW in the meeting environment", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 47–60, 2002.
Borges, J. G., H. M. Hoganson, and A. O. Falcao, "Heuristics in multi-objective forest management", Multi-objective forest planning: Springer Netherlands, pp. 119–151, 2002.
2001
Bidarra, J., N. Guimarães, and P. Antonius M. Kommers, Handling Hypermedia Complexity: Fractal Hyperscapes and Mind Mapping, : Centre for Telematics and Information Technology, University of Twente, 2001.
Chambel, T., N. Correia, and N. Guimarães, "Hypervideo on the web: Models and techniques for video integration", International Journal of Computers & Applications, vol. 23, no. 2: Acta Press, pp. 90–98, 2001.
2000
Bidarra, J., N. Guimarães, and P. Kommers, Handling hypermedia complexity: Fractal hyperscapes and mind mapping, , 2000.
Casimiro, A., P. Martins, and P. Verissimo, "How to build a timely computing base using real-time linux", Factory Communication Systems, 2000. Proceedings. 2000 IEEE International Workshop on: IEEE, pp. 127–134, 2000.
1998
Rufino, J., N. Pedrosa, J. Monteiro, P. Verissimo, and G. Arroz, "Hardware support for CAN fault-tolerant communication", Electronics, Circuits and Systems, 1998 IEEE International Conference on, vol. 1: IEEE, pp. 263–266, 1998.
1997
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Verissimo, P., J. Rufino, and L. Ming, "How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
1994
Rodrigues, L., and P. Verissimo, "How to avoid the cost of causal communication in large-scale systems", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 106–111, 1994.