Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 1492

150 Team Members
Filters -> Year: 2025
561
TÍTULO: Identifying Persistent and Recurrent QoE Anomalies for DASH Streaming in the Cloud
AUTORES: Chen Wang; Hyong Kim; Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) in 2017 9TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2017-December, PÁGINAS: 263-271
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
562
TÍTULO: Inside packet sampling techniques: exploring modularity to enhance network measurements. INSIDE PACKET SAMPLING TECHNIQUES  Full Text
AUTORES: Silva, JMC ; Carvalho, P; Lima, SR;
PUBLICAÇÃO: 2017, FONTE: International Journal of Communication Systems, VOLUME: 30, NÚMERO: 6
INDEXADO EM: Scopus CrossRef: 7
563
TÍTULO: Inside packet sampling techniques: exploring modularity to enhance network measurements
AUTORES: João Marco C Silva ; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: Int. J. Commun. Syst., VOLUME: 30, NÚMERO: 6
INDEXADO EM: DBLP
564
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467, PÁGINAS: 1807-1823
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
565
TÍTULO: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492, PÁGINAS: 146-166
INDEXADO EM: Scopus DBLP CrossRef: 15
566
TÍTULO: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTORES: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLICAÇÃO: 2017, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2017, PÁGINAS: 326
INDEXADO EM: DBLP
567
TÍTULO: Layered Logics, Coalgebraically
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PÁGINAS: 55-63
INDEXADO EM: DBLP
568
TÍTULO: LiteSense: An Adaptive Sensing Scheme for WSNs
AUTORES: Joao Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PÁGINAS: 1209-1212
INDEXADO EM: Scopus WOS CrossRef: 2
569
TÍTULO: LiteSense: An adaptive sensing scheme for WSNs
AUTORES: João Marco C Silva ; Kalil Araujo Bispo; Paulo Carvalho; Solange Rito Lima;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017, PÁGINAS: 1209-1212
INDEXADO EM: DBLP
570
TÍTULO: Mining the Usage Patterns of ROS Primitives
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLICAÇÃO: 2017, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September, PÁGINAS: 3855-3860
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
571
TÍTULO: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, PÁGINAS: 1799-1801
INDEXADO EM: DBLP
572
TÍTULO: MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, PÁGINAS: 782-790
INDEXADO EM: DBLP
573
TÍTULO: Modeling Families of Public Licensing Services: A Case Study
AUTORES: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PÁGINAS: 37-43
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
574
TÍTULO: MODUS: model-based user interfaces prototyping. model-based user interfaces prototyping
AUTORES: Marina Machado; Rui Couto ; José Creissac Campos ;
PUBLICAÇÃO: 2017, FONTE: 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017 in Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017, PÁGINAS: 111-116
INDEXADO EM: Scopus DBLP CrossRef Handle
575
TÍTULO: Multi-view data types for scalable concurrency in the multi-core era
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017, PÁGINAS: 3:1
INDEXADO EM: DBLP
576
TÍTULO: Networks of Universities as a Tool for GCIO Education
AUTORES: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428, PÁGINAS: 117-127
INDEXADO EM: Scopus DBLP CrossRef
577
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PÁGINAS: 271-286
INDEXADO EM: Scopus WOS DBLP CrossRef
578
TÍTULO: Performance trade-offs on a secure multi-party relational database
AUTORES: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PÁGINAS: 456-461
INDEXADO EM: Scopus DBLP CrossRef: 1
579
TÍTULO: Practical evaluation of the Lasp programming model at large scale: an experience report. an experience report
AUTORES: Christopher S Meiklejohn; Vitor Enes ; Junghun Yoo; Carlos Baquero ; Peter Van Roy; Annette Bieniusa;
PUBLICAÇÃO: 2017, FONTE: 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017 in Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, VOLUME: Part F131196, PÁGINAS: 109-114
INDEXADO EM: Scopus DBLP CrossRef: 5
580
TÍTULO: Preface
AUTORES: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLICAÇÃO: 2017, FONTE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
INDEXADO EM: Scopus

Results per Page: 20.
Página 29 de 75. Total de resultados: 1492.