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: 1280
43 Team MembersFilters -> Year: 2026
701
TITLE: A Hybrid MapReduce Model for Prolog
AUTHORS: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
AUTHORS: Côrte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PAGES: 340-343
702
TITLE: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC; Pfenning, F ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 493-507
703
TITLE: A parallel virtual machine for executing forward-chaining linear logic programs
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
AUTHORS: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 125-140
INDEXED IN: 
Scopus
Scopus704
TITLE: A portable prolog predicate for printing rational terms
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
AUTHORS: Mantadelis, T ; Rocha, R ;
PUBLISHED: 2014, SOURCE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PAGES: 141-154
INDEXED IN: Scopus
Scopus705
TITLE: A Scalable Parallel Approach for Subgraph Census Computation
AUTHORS: Aparicio, D ; Paredes, P ; Ribeiro, P ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
AUTHORS: Aparicio, D ; Paredes, P ; Ribeiro, P ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 194-205
706
TITLE: A study of machine learning methods for detecting user interest during web sessions
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
AUTHORS: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 149-157
707
TITLE: A Survey of E-learning Content Aggregation Standards
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2014, SOURCE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PAGES: 204-214
708
TITLE: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
709
TITLE: An Adjustable Sensor Platform Using Dual Wavelength Measurements For Optical Colorimetric Sensitive Films
AUTHORS: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLISHED: 2014, SOURCE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, ISSUE: December, PAGES: 398-401
AUTHORS: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLISHED: 2014, SOURCE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, ISSUE: December, PAGES: 398-401
710
TITLE: An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-actuator Networks
AUTHORS: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLISHED: 2014, SOURCE: SENSORNETS, PAGES: 73-81
AUTHORS: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLISHED: 2014, SOURCE: SENSORNETS, PAGES: 73-81
INDEXED IN: Scopus 
DBLP
Scopus DBLP711
TITLE: Challenges in Computing Semantic Relatedness for Large Semantic Graphs
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
712
TITLE: Concept Drift Awareness in Twitter Streams
AUTHORS: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2014, SOURCE: 13th International Conference on Machine Learning and Applications (ICMLA) in 2014 13TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PAGES: 294-299
AUTHORS: Costa, J; Silva, C ; Antunes, M ; Bernardete Ribeiro ;
PUBLISHED: 2014, SOURCE: 13th International Conference on Machine Learning and Applications (ICMLA) in 2014 13TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PAGES: 294-299
713
TITLE: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: PPPJ, VOLUME: 13-December-2014, PAGES: 200-206
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: PPPJ, VOLUME: 13-December-2014, PAGES: 200-206
714
TITLE: Couillard: Parallel programming via coarse-grained Data-flow Compilation
AUTHORS: Marzulo, LAJ; Alves, TAO; França, FMG; Costa, VS ;
PUBLISHED: 2014, SOURCE: PARALLEL COMPUTING, VOLUME: 40, ISSUE: 10, PAGES: 661-680
AUTHORS: Marzulo, LAJ; Alves, TAO; França, FMG; Costa, VS ;
PUBLISHED: 2014, SOURCE: PARALLEL COMPUTING, VOLUME: 40, ISSUE: 10, PAGES: 661-680
715
TITLE: Customisable Handling of Java References in Prolog Programs
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2693
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.2693
INDEXED IN: DBLP
DBLP716
TITLE: Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
AUTHORS: Michael Hanus; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: KDPD, VOLUME: 8439
AUTHORS: Michael Hanus; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: KDPD, VOLUME: 8439
717
TITLE: Desenvolvimento de aplicações profissionais em Android
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2014
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2014
INDEXED IN: 
Handle
Handle718
TITLE: Design a computer programming learning environment for massive open online courses
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 255-274
AUTHORS: Queirós, R ;
PUBLISHED: 2014, SOURCE: Innovative Teaching Strategies and New Learning Paradigms in Computer Programming, PAGES: 255-274
719
TITLE: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: PPDP, PAGES: 43-54
AUTHORS: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2014, SOURCE: PPDP, PAGES: 43-54
720
TITLE: Discovering Colored Network Motifs
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: CompleNet, VOLUME: 549, PAGES: 107-118
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2014, SOURCE: CompleNet, VOLUME: 549, PAGES: 107-118
