Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-1RA
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
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!
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!
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!
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: 1167
37 Team MembersFilters -> Year: 2024
861
TITLE: Bigorna - a toolkit for orthography migration challenges
AUTHORS: Almeida, JJ ; Santos, A ; Simoes, A ;
PUBLISHED: 2010, SOURCE: 7th International Conference on Language Resources and Evaluation (LREC) in LREC 2010 - SEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 227-232
AUTHORS: Almeida, JJ ; Santos, A ; Simoes, A ;
PUBLISHED: 2010, SOURCE: 7th International Conference on Language Resources and Evaluation (LREC) in LREC 2010 - SEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 227-232
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP862
TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples Full Text
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
863
TITLE: Compact Lists for Tabled Evaluation
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
864
TITLE: COMPARISON OF INTERNET USAGE HABITS IN TWO GENERATIONS OF HIGHER EDUCATION STUDENTS A Case Study
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Computer Supported Education in CSEDU 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1, VOLUME: 1, PAGES: 415-418
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Computer Supported Education in CSEDU 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1, VOLUME: 1, PAGES: 415-418
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP865
TITLE: Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
AUTHORS: Ricardo Queiros ; Francisco Correa Alegria ; Pedro Silva Girao ; Antonio Cruz Serra ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOLUME: 59, ISSUE: 12, PAGES: 3227-3236
866
TITLE: Design of an extensible metadata editor based on RDF
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
AUTHORS: Lea, JP ; Queiros, R ;
PUBLISHED: 2010, SOURCE: 11th European Conference on Knowledge Management, ECKM 2010 in Proceedings of the European Conference on Knowledge Management, ECKM, VOLUME: 2, PAGES: 1219-1222
INDEXED IN: Scopus
Scopus867
TITLE: Efficient Parallel Subgraph Counting Using G-Tries
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Luís M B Lopes ;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 IEEE International Conference on Cluster Computing, Heraklion, Crete, Greece, 20-24 September, 2010, PAGES: 217-226
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ; Luís M B Lopes ;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 IEEE International Conference on Cluster Computing, Heraklion, Crete, Greece, 20-24 September, 2010, PAGES: 217-226
868
TITLE: Efficient Subgraph Frequency Estimation with G-Tries Full Text
AUTHORS: Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Algorithms in Bioinformatics in ALGORITHMS IN BIOINFORMATICS, VOLUME: 6293, PAGES: 238-249
AUTHORS: Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Algorithms in Bioinformatics in ALGORITHMS IN BIOINFORMATICS, VOLUME: 6293, PAGES: 238-249
869
TITLE: ELEARNING FRAMEWORKS: A SURVEY
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2010, SOURCE: 4th International Technology, Education and Development Conference (INTED) in 4TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED 2010), PAGES: 1345-1354
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2010, SOURCE: 4th International Technology, Education and Development Conference (INTED) in 4TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED 2010), PAGES: 1345-1354
INDEXED IN: WOS
WOS870
TITLE: ESEIG Mobile: An m-Learning Approach in a Superior School
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 355-363
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2, PAGES: 355-363
871
TITLE: ESProNa: Constraint-Based Declarative Business Process Modeling
AUTHORS: Michael Igler; Paulo Moura ; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: 14th IEEE International Enterprise Distributed Object Computing Conference (EDOCW) in 2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2010), PAGES: 91-98
AUTHORS: Michael Igler; Paulo Moura ; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: 14th IEEE International Enterprise Distributed Object Computing Conference (EDOCW) in 2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2010), PAGES: 91-98
872
TITLE: Friendly Jamming for Wireless Secrecy
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
873
TITLE: g-tries: an efficient data structure for discovering network motifs. an efficient data structure for discovering network motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, PAGES: 1559-1566
874
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: Scopus WOS
Scopus WOS875
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
876
TITLE: INTEGRATION OF REPOSITORIES IN ELEARNING SYSTEMS
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: 1 DISI, PAGES: 127-132
AUTHORS: Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: 1 DISI, PAGES: 127-132
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP877
TITLE: Lightweight Fault-Tolerance for Peer-to-Peer Middleware Full Text
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
AUTHORS: Rolando Martins ; Priya Narasimhan ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 313-317
878
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP 
arXiv
DBLP arXiv879
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
880
TITLE: Modeling and planning collaboration using organizational constraints
AUTHORS: Michael Igler; Paulo Moura ; Matthias Färber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010 in The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA, 9-12 October 2010, PAGES: 1-10
AUTHORS: Michael Igler; Paulo Moura ; Matthias Färber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010 in The 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA, 9-12 October 2010, PAGES: 1-10
INDEXED IN: Scopus DBLP
Scopus DBLP