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: 1499

150 Team Members
Filters -> Year: 2025
661
TÍTULO: Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. Work in progress report
AUTORES: Vitor Enes ; Carlos Baquero ; Paulo Sérgio Almeida ; Ali Shoker ;
PUBLICAÇÃO: 2016, FONTE: 1st Workshop on Programming Models and Languages for Distributed Computing, PMLDC 2016 in First Workshop on Programming Models and Languages for Distributed Computing, PMLDC@ECOOP 2016, Rome, Italy, July 17, 2016, VOLUME: 17-July-2016, PÁGINAS: 6
INDEXADO EM: Scopus DBLP CrossRef: 3
662
TÍTULO: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2016, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 3, PÁGINAS: 783-810
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
663
TÍTULO: Life Beyond Distributed Transactions on the Edge
AUTORES: Ali Shoker ; Ziad Kassam ; Paulo Sérgio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2016, FONTE: 1st Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2016 in Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, Trento, Italy, December 12-16, 2016, PÁGINAS: 4
INDEXADO EM: Scopus DBLP CrossRef
664
TÍTULO: Lightweight Multivariate Sensing in WSNs
AUTORES: Joao Marco C Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) in UBIQUITOUS COMPUTING AND AMBIENT INTELLIGENCE, UCAMI 2016, PT II, VOLUME: 10070, PÁGINAS: 205-211
INDEXADO EM: Scopus WOS CrossRef
665
TÍTULO: Lightweight Multivariate Sensing in WSNs
AUTORES: João Marco C Silva ; Paulo Carvalho; Kalil Araujo Bispo; Solange Rito Lima;
PUBLICAÇÃO: 2016, FONTE: Ubiquitous Computing and Ambient Intelligence - 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 - December 2, 2016, Proceedings, Part II, VOLUME: 10070, PÁGINAS: 205-211
INDEXADO EM: DBLP
666
TÍTULO: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTORES: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ; Denis Kuperberg;
PUBLICAÇÃO: 2016, FONTE: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, VOLUME: 13-18-November-2016, PÁGINAS: 373-383
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
667
TÍTULO: Limits in Categories of Vietoris Coalgebras PDF
AUTORES: Dirk Hofmann; Renato Neves ; Pedro Nora;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1612.03318
INDEXADO EM: DBLP arXiv
668
TÍTULO: Long-range trajectories from global and local motion representations PDF  Full Text
AUTORES: Pereira, EM ; Cardoso, JS ; Morla, R ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, VOLUME: 40, PÁGINAS: 265-287
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
669
TÍTULO: Memoized Zipper-Based Attribute Grammars
AUTORES: Joao Paulo Fernandes ; Pedro Martins ; Alberto Pardo; Joao Saraiva ; Marcos Viera;
PUBLICAÇÃO: 2016, FONTE: 20th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES (SBLP 2016), VOLUME: 9889, PÁGINAS: 46-61
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
670
TÍTULO: Model inference for spreadsheets  Full Text
AUTORES: Cunha, J ; Erwig, M; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2016, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 23, NÚMERO: 3, PÁGINAS: 361-392
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
671
TÍTULO: Modeling the Impact of UAVs in Sustainability
AUTORES: Conejero, JM; Brito, IS; Moreira, A; Cunha, J ; Araujo, J;
PUBLICAÇÃO: 2016, FONTE: 24th IEEE International Requirements Engineering Conference Workshops (RWE) in 2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), PÁGINAS: 208-216
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
672
TÍTULO: Modelling information resources and their salience in medical device design
AUTORES: Harrison, MD ; Campos, JC ; Ruksenas, R; Curzon, P;
PUBLICAÇÃO: 2016, FONTE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, PÁGINAS: 194-203
INDEXADO EM: Scopus WOS DBLP CrossRef
673
TÍTULO: Multiple intermediate structure deforestation by shortcut fusion  Full Text
AUTORES: Alberto Pardo; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PÁGINAS: 77-95
INDEXADO EM: Scopus WOS DBLP CrossRef
674
TÍTULO: On the Cost of Safe Storage for Public Clouds: an Experimental Evaluation  Full Text
AUTORES: Dorian Burihabwa; Rogerio Pontes ; Pascal Felber; Francisco Maia ; Hugues Mercier; Rui Oliveira ; Joao Paulo ; Valerio Schiavoni;
PUBLICAÇÃO: 2016, FONTE: 35th IEEE International Symposium on Reliable Distributed Systems Workshops (SRDSW) in PROCEEDINGS OF 2016 IEEE 35TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), PÁGINAS: 157-166
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
675
TÍTULO: On the Formalization of Some Results of Context-Free Language Theory
AUTORES: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803, PÁGINAS: 338-357
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
676
TÍTULO: Parsing and Reflective Printing, Bidirectionally
AUTORES: Zirun R Zhu; Yongzhe Z Zhang; Hsiang Shang Ko; Pedro Martins ; Joao Saraiva ; Zhenjiang J Hu;
PUBLICAÇÃO: 2016, FONTE: 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 2016 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE'16), PÁGINAS: 2-14
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
677
TÍTULO: Power interference modeling for CSMA/CA based networks using directional antenna  Full Text
AUTORES: Saravanan Kandasamy ; Ricardo Morla ; Manuel Ricardo ;
PUBLICAÇÃO: 2016, FONTE: COMPUTER COMMUNICATIONS, VOLUME: 86, PÁGINAS: 86-98
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
678
TÍTULO: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTORES: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2016, PÁGINAS: 18
INDEXADO EM: DBLP
679
TÍTULO: Private Functional Encryption: Indistinguishability-Based Definitions and Constructions from Obfuscation
AUTORES: Afonso Arriaga; Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2016, FONTE: 17th International Conference on Cryptology in India (INDOCRYPT) in PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, VOLUME: 10095, PÁGINAS: 227-247
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
680
TÍTULO: Proof theory for hybrid(ised) logics  Full Text
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126, PÁGINAS: 73-93
INDEXADO EM: Scopus WOS DBLP CrossRef: 11

Results per Page: 20.
Página 34 de 75. Total de resultados: 1499.