Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

1699 Team Members
Filters -> Year: 2024
16621
TITLE: The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming, ICLP 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4079 LNCS, PAGES: 461-462
INDEXED IN: Scopus DBLP CrossRef: 1
16622
TITLE: The design of the YAP compiler: An optimizing compiler for logic programming languages  Full Text
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: Journal of Universal Computer Science, VOLUME: 12, ISSUE: 7, PAGES: 764-787
INDEXED IN: Scopus DBLP
16623
TITLE: The influence of inter-domain mobility on message stream response time in wired/wireless profibus-based networks
AUTHORS: Ferreira, L ; Tovar, E ;
PUBLISHED: 2006, SOURCE: Fieldbus Systems and Their Applications 2005, PAGES: 135-142
INDEXED IN: Scopus CrossRef Handle
16624
TITLE: The power of linear functions
AUTHORS: Sandra Alves ; Maribel Fernandez; Mirio Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
INDEXED IN: Scopus WOS DBLP CrossRef: 9
16625
TITLE: The signal characteristics of the spectral response of Bragg grating sensor embedded in composite laminated after the cure process
AUTHORS: Ramos, CA ; Frazao, O ; Dias, I ; Marques, AT ;
PUBLISHED: 2006, SOURCE: 3rd International Materials Symposium/12th Meeting of the Sociedad-Portuguesa-da-Materials (Materials 2005/SPM) in ADVANCED MATERIALS FORUM III, PTS 1 AND 2, VOLUME: 514-516, ISSUE: PART 1, PAGES: 629-632
INDEXED IN: Scopus WOS
16626
TITLE: The socio-technical design of a SME knowledge community in the construction industry
AUTHORS: Dora Simoes; Antonio Lucas Soares ;
PUBLISHED: 2006, SOURCE: 7th Working Conference on Virtual Enterprises in Network-Centric Collaboration and Supporting Frameworks, VOLUME: 224, PAGES: 361-370
INDEXED IN: Scopus WOS
16627
TITLE: The Socio-Technical Design Of A SME Knowledge Community In The Construction Industry
AUTHORS: Dora Simões; António Lucas Soares ;
PUBLISHED: 2006, SOURCE: Network-Centric Collaboration and Supporting Frameworks - IFIP International Federation for Information Processing, PAGES: 361-370
INDEXED IN: CrossRef: 1
16628
TITLE: The use of real-time publish-subscribe middleware in networked vehicle systems
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1, PAGES: 108-113
INDEXED IN: Scopus
16629
TITLE: Third-order nonlinear optical properties of DA-salen-type nickel(II) and copper(II) complexes  Full Text
AUTHORS: Joao Tedim ; Sonia Patricio ; Rosa Bessada; Rui Morais; Carla Sousa; Manuel B Marques ; cristina freire ;
PUBLISHED: 2006, SOURCE: EUROPEAN JOURNAL OF INORGANIC CHEMISTRY, VOLUME: 2006, ISSUE: 17, PAGES: 3425-3433
INDEXED IN: Scopus WOS CrossRef: 43
16630
TITLE: Time domain design of fractional differintegrators using least-squares
AUTHORS: Barbosa, RS ; Machado, JAT ; Silva, MF ;
PUBLISHED: 2006, SOURCE: SIGNAL PROCESSING, VOLUME: 86, ISSUE: 10, PAGES: 2567-2581
INDEXED IN: Scopus WOS DBLP CrossRef Handle
16631
TITLE: Time-lapse analysis of stem-cell divisions in the Arabidopsis thaliana root meristem  Full Text
AUTHORS: Ana Campilho ; Bernardo Garcia; Henk Van der Toorn; Henk Van Wijk; Aurelio Campilho ; Ben Scheres;
PUBLISHED: 2006, SOURCE: PLANT JOURNAL, VOLUME: 48, ISSUE: 4, PAGES: 619-627
INDEXED IN: Scopus WOS CrossRef: 88
16632
TITLE: Topographic segmentation and transit time estimation for endoscopic capsule exams
AUTHORS: Coimbra, M ; Campos, P; Silva P S Cunha ;
PUBLISHED: 2006, SOURCE: 31st IEEE International Conference on Acoustics, Speech and Signal Processing in 2006 IEEE International Conference on Acoustics, Speech and Signal Processing, Vols 1-13, VOLUME: 2, PAGES: 2412-2415
INDEXED IN: Scopus WOS DBLP CrossRef: 12
16633
TITLE: Towards a computer-aided medical system for the aesthetic evaluation of breast cancer conservative treatment.  Full Text
AUTHORS: Cardoso, MJ ; Cardoso, JS ;
PUBLISHED: 2006, SOURCE: 29th Annual San Antonio Breast Cancer Symposium in BREAST CANCER RESEARCH AND TREATMENT, VOLUME: 100, ISSUE: 2
INDEXED IN: WOS DBLP
16634
TITLE: Towards a generic group communication service
AUTHORS: Nuno Carvalho; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2006, SOURCE: On the Move Confederated International Conference on CoopIS/DOA/GADA, and ODBASE in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, VOLUME: 4276, PAGES: 1485-1502
INDEXED IN: Scopus WOS DBLP CrossRef: 9
16635
TITLE: Towards interference-free deployment of ubicomp systems
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
INDEXED IN: DBLP
16636
TITLE: Training a FIS with EPSO under an entropy criterion for wind power prediction
AUTHORS: Miranda, V ; Cerqueira, C; Monteiro, C ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Probabilistic Methods Applied to Power Systems in 2006 International Conference on Probabilistic Methods Applied to Power Systems, Vols 1 and 2, PAGES: 98-105
INDEXED IN: Scopus WOS CrossRef: 6
16637
TITLE: Trajectory control and modelling of an omni-directional mobile robot
AUTHORS: Andre Scolari Conceicao; Paulo P Moreira ; Paulo J Costa ;
PUBLISHED: 2006, SOURCE: 3rd International Conference on Informatics in Control, Automation and Robotics in ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics: ROBOTICS AND AUTOMATION, VOLUME: RA, PAGES: 412-417
INDEXED IN: Scopus WOS
16638
TITLE: Trajectory control and modelling of an omni-directional mobile robot
AUTHORS: André Scolari Conceição; Paulo P Moreira ; Paulo José Costa;
PUBLISHED: 2006, SOURCE: ICINCO 2006, Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation, Setúbal, Portugal, August 1-5, 2006, PAGES: 412-417
INDEXED IN: DBLP
16639
TITLE: Trajectory tracking for Omni-Directional mobile robots based on restrictions of the motor's velocities
AUTHORS: Conceicao, AS; Moreira, AP ; Costa, PJ ;
PUBLISHED: 2006, SOURCE: 8th International IFAC Symposium on Robot Control, SYROCO 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, ISSUE: PART 1
INDEXED IN: Scopus
16640
TITLE: Transposing partial components - An exercise on coalgebraic refinement  Full Text
AUTHORS: Luis S Barbosa ; Jose N Oliveira ;
PUBLISHED: 2006, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 1-2, PAGES: 2-22
INDEXED IN: Scopus WOS DBLP CrossRef: 13

Results per Page: 20.
Page 832 of 927. Total results: 18522.