CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
6461
TITLE: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTHORS: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 97-110
INDEXED IN: Scopus WOS DBLP CrossRef
6462
TITLE: Providing user context for mobile and social networking applications  Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Diogo R Ferreira; Pedro C Diniz ; Paulo Chainho;
PUBLISHED: 2010, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, ISSUE: 3, PAGES: 324-341
INDEXED IN: Scopus WOS DBLP CrossRef: 47
6463
6464
TITLE: QoS-aware Component Composition
AUTHORS: Luis S Barbosa ; Sun Meng;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PAGES: 1008-1013
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6466
TITLE: RAVE: Replicated antivirus engine
AUTHORS: Silva, C; Sousa, P; Verissimo, P ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010 in Proceedings of the International Conference on Dependable Systems and Networks, PAGES: 170-175
INDEXED IN: Scopus DBLP CrossRef: 5
6467
TITLE: Realidade Aumentada e Ubiquidade na Educação PDF
AUTHORS: Maria Manuela Cruz Cunha ; Reis, MGAD; Emanuel Peres ; João Varajão; Maximino Bessa ; Luís Magalhães ; Luís Barbosa ; João Barreira;
PUBLISHED: 2010, SOURCE: IEEE-RITA, VOLUME: 5, ISSUE: 4, PAGES: 167-174
INDEXED IN: Scopus DBLP
6468
TITLE: Recommending access to web resources based on user's profile and traceability
AUTHORS: Bettencourt, N; Silva, N ;
PUBLISHED: 2010, SOURCE: 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010 in Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010, PAGES: 1108-1113
INDEXED IN: Scopus CrossRef
6469
TITLE: Reconstruction of High Frame Rate Image Sequences in Biomechanical Related Areas
AUTHORS: Costa, M; Soares, Salviano Soares, Pinto Soares ; Barroso, J ;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 9-12
INDEXED IN: Scopus WOS CrossRef
6470
TITLE: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles  Full Text
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-163
INDEXED IN: Scopus WOS DBLP CrossRef: 7
6471
TITLE: Resource Aware Distributed Knowledge Discovery
AUTHORS: João Gama ; Antoine Cornuéjols;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PAGES: 40-60
INDEXED IN: Scopus DBLP CrossRef
6472
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6473
TITLE: Reusable and Inter-Operable Web-Based Intelligent Tutoring Systems Using SCORM 2004
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
INDEXED IN: Scopus WOS
6474
TITLE: Reverse Engineering of GUI Models for Testing
AUTHORS: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 284-289
INDEXED IN: Scopus WOS
6475
TITLE: Rules for contrast sets  Full Text
AUTHORS: Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, ISSUE: 6, PAGES: 623-640
INDEXED IN: Scopus WOS DBLP CrossRef: 5
6476
TITLE: Safe Integration of Annotated Components in Open Source Projects  Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
6477
TITLE: Scalable Transactions in the Cloud: Partitioning Revisited
AUTHORS: Francisco Maia ; Jose E Enrique Armendariz Inigo; Idoia Ruiz Fuertes, MI; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 785-797
INDEXED IN: Scopus WOS DBLP CrossRef: 5
6478
TITLE: Second Life In-World Action Traffic Modeling
AUTHORS: Mario Ferreira; Ricardo Morla ;
PUBLISHED: 2010, SOURCE: 20th ACM Workshop on Network and Operating System Support for Digital Audio and Video in NOSSDAV 2010: PROCEEDINGS OF THE 20TH INTERNATIONAL WORKSHOP ON NETWORK AND OPERATING SYSTEMS SUPPORT FOR DIGITAL AUDIO AND VIDEO, PAGES: 3-8
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6479
TITLE: Secure multicast in IPTV services  Full Text
AUTHORS: Antonio Pinto ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: COMPUTER NETWORKS, VOLUME: 54, ISSUE: 10, PAGES: 1531-1542
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6480
TITLE: Self-Optimization for Dynamic Scheduling in Manufacturing Systems
AUTHORS: Madureira, A ; Pereira, I ;
PUBLISHED: 2010, SOURCE: International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2009) in TECHNOLOGICAL DEVELOPMENTS IN NETWORKING, EDUCATION AND AUTOMATION, PAGES: 421-426
INDEXED IN: Scopus WOS CrossRef Handle

Results per Page: 20.
Página 324 de 406. Total de resultados: 8103.