CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 8434

531 Team Members
Filters -> Year: 2024
7561
TITLE: Social Theatres: A model for regulated virtual interaction environments
AUTHORS: Paredes, H ; Martins, FM ;
PUBLISHED: 2007, SOURCE: 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007 in Euro American Conference on Telematics and Information Systems - Proceedings of the 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007, PAGES: 47
INDEXED IN: Scopus DBLP
7562
TITLE: Social theatres: A web-based regulated social interaction environment
AUTHORS: Hugo Paredes ; Mario M Martins ;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Groupware in Groupware: Design, Implementation, and Use, Proceedings, VOLUME: 4715, PAGES: 87-94
INDEXED IN: Scopus WOS DBLP CrossRef: 4
7563
TITLE: Solenoid functions for hyperbolic sets on surfaces
AUTHORS: Pinto, AA ; Rand, DA;
PUBLISHED: 2007, SOURCE: Dynamics, Ergodic Theory, and Geometry Dedicated to Anatole Katok, VOLUME: 54, PAGES: 145-178
INDEXED IN: Scopus CrossRef: 4
7564
TITLE: Storage and retrieval on P2P networks: A DHT based protocol  Full Text
AUTHORS: Sergio Bessa; Manuel E. Correia ; Pedro Brandao ;
PUBLISHED: 2007, SOURCE: 12th IEEE Symposium on Computers and Communications in 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, PAGES: 829-835
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7565
TITLE: Strategic trade policy and signaling costs with differentiated goods  Full Text
AUTHORS: Ferreira, F. A. ; Humberto A Moreira; Alberto A Pinto ;
PUBLISHED: 2007, SOURCE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, ISSUE: 1, PAGES: 1060301-1060302
INDEXED IN: CrossRef
7566
TITLE: Strategic versus tactical nature of sales promotions  Full Text
AUTHORS: Brito, PQ ; Hammond, K;
PUBLISHED: 2007, SOURCE: Journal of Marketing Communications, VOLUME: 13, ISSUE: 2, PAGES: 131-148
INDEXED IN: Scopus CrossRef: 9
7567
TITLE: Stream-based electricity load forecast
AUTHORS: Joao Gama ; Pedro Pereira Rodrigues ;
PUBLISHED: 2007, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in Knowledge Discovery in Databases: PKDD 2007, Proceedings, VOLUME: 4702, PAGES: 446-453
INDEXED IN: Scopus WOS DBLP CrossRef: 18
7568
TITLE: Strongly Typed Rewriting For Coupled Software Transformation
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 1, PAGES: 17-34
INDEXED IN: Scopus DBLP CrossRef: 12
7569
TITLE: Study of sodium concentration in consumed bread in Oporto [Estudo do teor de sódio em pão consumido no porto]
AUTHORS: Vieira, E; Oliveira, BMPM ; Soares, ME; Pinho, O ;
PUBLISHED: 2007, SOURCE: Revista de Alimentacao Humana, VOLUME: 13, ISSUE: 3, PAGES: 97-103
INDEXED IN: Scopus
7570
TITLE: SWORDFISH: an autonomous surface vehicle for network centric operations
AUTHORS: Ferreira, H ; Martins, R; Marques, E ; Pinto, J ; Martins, A ; Almeida, J ; Sousa, J ; Silva, EP ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1470-+
INDEXED IN: Scopus WOS CrossRef: 46
7571
TITLE: Synthesis of regular expressions targeting FPGAs: Current status and open issues  Full Text
AUTHORS: Joao Bispo ; Ioannis Sourdis; Joao M P Cardoso ; Stamatis Vassiliadis;
PUBLISHED: 2007, SOURCE: 3rd International Workshop on Applied Reconfigurable Computing in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 4419, PAGES: 179-190
INDEXED IN: Scopus WOS DBLP CrossRef: 13
7572
TITLE: The evolution and the future of the e-Gov [A evolução e o futuro do governo electrónico]
AUTHORS: Campos, R ; Marques, CG;
PUBLISHED: 2007, SOURCE: 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007 in Euro American Conference on Telematics and Information Systems - Proceedings of the 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007, PAGES: 9
INDEXED IN: Scopus DBLP CrossRef: 1
7573
TITLE: The Meta Sketch Editor - A reflexive modeling editor
AUTHORS: Leonel Nobrega ; Nuno Jardim Nunes ; Helder Coelho ;
PUBLISHED: 2007, SOURCE: 6th International Conference on Computer-Aided Design of User Interfaces in COMPUTER-AIDED DESIGN OF USER INTERFACES V, PAGES: 201-214
INDEXED IN: Scopus WOS
7574
TITLE: The phase transition lines in pair approximation for the basic reinfection model SIRI  Full Text
AUTHORS: Nico Stollenwerk ; Jose Martins ; Alberto Pinto ;
PUBLISHED: 2007, SOURCE: PHYSICS LETTERS A, VOLUME: 371, ISSUE: 5-6, PAGES: 379-388
INDEXED IN: Scopus WOS CrossRef: 23
7575
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
INDEXED IN: Scopus DBLP CrossRef: 3
7576
TITLE: Tools and libraries to model and manipulate circular programs  Full Text
AUTHORS: Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PAGES: 102-111
INDEXED IN: Scopus DBLP CrossRef: 9
7577
TITLE: Topic maps applied to PubMed
AUTHORS: Librelotto, GR; Machado, HT; Martins, M; Ferreira, PGD ; Ramalho, JC; Henriques, PR ;
PUBLISHED: 2007, SOURCE: Extreme Markup Languages 2007 Conference in Proceedings of Extreme Markup Languages 2007 Conference
INDEXED IN: Scopus
7578
TITLE: Towards a Coordination Model for Interactive Systems
AUTHORS: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
INDEXED IN: Scopus DBLP CrossRef: 5
7579
TITLE: Towards detecting and solving aspect conflicts and interferences using unit tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2007, SOURCE: 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Held at the 6th International Conference on Aspect-Oriented Software Development in Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, VOLUME: 217, PAGES: 7
INDEXED IN: Scopus DBLP CrossRef Handle
7580
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Ana C R Paiva ; João C P Faria ; Raul F A M Vidal ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 190, ISSUE: 2, PAGES: 99-111
INDEXED IN: Scopus DBLP CrossRef Handle

Results per Page: 20.
Page 379 of 422. Total results: 8434.