Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

43 Team Members
Filters -> Year: 2025
1361
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
INDEXED IN: Scopus WOS DBLP CrossRef: 5
1362
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
INDEXED IN: Scopus WOS DBLP CrossRef: 6
1363
TITLE: Odin: a service for gamification of learning activities
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
INDEXED IN: Handle
1364
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1365
TITLE: On the enumeration of permutominoes
AUTHORS: Tomás, AP ;
PUBLISHED: 2015, SOURCE: 20th International Symposium on Fundamentals of Computation Theory, FCT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9210, PAGES: 41-52
INDEXED IN: Scopus DBLP CrossRef
1366
TITLE: On the Number of Linear Finite Transducers  Full Text
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7, PAGES: 873-893
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1367
TITLE: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939, PAGES: 339-351
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1368
TITLE: ORCHESTRATING ONLINE GROUP WORK WHILE ASSESSING INDIVIDUAL PARTICIPATIONS
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2015, SOURCE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 2996-3005
INDEXED IN: WOS
1369
TITLE: Pairwise structural role mining for user categorization in information cascades
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2015, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PAGES: 137-144
INDEXED IN: Scopus WOS DBLP CrossRef
1370
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PAGES: 21-32
INDEXED IN: Scopus DBLP CrossRef: 3 Handle
1371
TITLE: Performance Evaluation of Statistical Functions
AUTHORS: Andre Rodrigues ; Carla Silva ; Paulo Borges; Sergio Silva; Ines Dutra ;
PUBLISHED: 2015, SOURCE: IEEE Int Conf on Smart City/8th IEEE Int Conf on Soc Comp and Networking (SocialCom)/5th IEEE Int Conf on Sustainable Comp and Commun (SustainCom)/Int Conf on Big Data Intelligence and Comp (DataCom)/5th Int Symposium on Cloud and Serv Comp (SC2) in 2015 IEEE INTERNATIONAL CONFERENCE ON SMART CITY/SOCIALCOM/SUSTAINCOM (SMARTCITY), PAGES: 754-760
INDEXED IN: Scopus WOS DBLP CrossRef
1372
TITLE: Physical-layer Security Against Non-degraded Eavesdroppers
AUTHORS: Joao P Vilela ; Joao Sa Sousa;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM)
INDEXED IN: Scopus WOS CrossRef
1373
TITLE: Predicting Adverse Drug Events from Electronic Medical Records
AUTHORS: Jesse Davis; Vítor Santos Costa ; Peggy L Peissig; Michael Caldwell; David Page;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation - Methods and Applications, VOLUME: 9521, PAGES: 243-257
INDEXED IN: DBLP CrossRef
1374
TITLE: Predicting Drugs Adverse Side-Effects Using a Recommender-System
AUTHORS: Diogo Pinto; Pedro Costa; Rui Camacho ; Vitor Santos Costa ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, DS 2015, VOLUME: 9356, PAGES: 201-208
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1375
TITLE: Predicting malignancy from mammography findings and image-guided core biopsies
AUTHORS: Pedro Ferreira ; Nuno A Fonseca ; Ines Dutra ; Ryan Woods; Elizabeth Burnside ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS, VOLUME: 11, ISSUE: 3, PAGES: 257-276
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1376
TITLE: Predicting Results from Interaction Patterns During Online Group Work
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015 in Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings, VOLUME: 9307, PAGES: 414-419
INDEXED IN: Scopus DBLP CrossRef: 3
1377
TITLE: Preface
AUTHORS: Alves, S; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M ; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;
PUBLISHED: 2015, SOURCE: 3rd International Workshop on Linearity, LINEARITY 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 176
INDEXED IN: Scopus
1378
TITLE: Preface
AUTHORS: Sierra Rodríguez, JL; Leal, JP ; Simões, A ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies, SLATE 2015 in Communications in Computer and Information Science, VOLUME: 563
INDEXED IN: Scopus
1379
TITLE: Preface
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects
INDEXED IN: Scopus
1380
TITLE: Prefix and Right-Partial Derivative Automata
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: 11th Conference on Computability in Europe (CiE) in EVOLVING COMPUTABILITY, VOLUME: 9136, PAGES: 258-267
INDEXED IN: Scopus WOS DBLP CrossRef: 2

Results per Page: 20.
Page 69 of 133. Total results: 2644.