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
661
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
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
662
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
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
WOS663
TITLE: Pairwise structural role mining for user categorization in information cascades
AUTHORS: Choobdar, S ; Ribeiro, P ; Silva, F ;
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
AUTHORS: Choobdar, S ; Ribeiro, P ; Silva, F ;
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
664
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
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
665
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)
AUTHORS: Joao P Vilela ; Joao Sa Sousa;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM)
666
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
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
DBLP CrossRef667
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
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
668
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
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
669
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
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
670
TITLE: Preface
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects
INDEXED IN: 
Scopus
Scopus672
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
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
Scopus673
TITLE: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014 Full Text
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
INDEXED IN: DBLP CrossRef
DBLP CrossRef674
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs Full Text
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10, PAGES: 280-298
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10, PAGES: 280-298
675
TITLE: Rand-FaSE: fast approximate subgraph census
AUTHORS: Paredes, P ; Ribeiro, P ;
PUBLISHED: 2015, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, ISSUE: 1, PAGES: 17:1-17:18
AUTHORS: Paredes, P ; Ribeiro, P ;
PUBLISHED: 2015, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, ISSUE: 1, PAGES: 17:1-17:18
676
TITLE: Reducing Large Semantic Graphs to Improve Semantic Relatedness
AUTHORS: Teresa Costa ; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 236-245
AUTHORS: Teresa Costa ; Jose Paulo Leal ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 236-245
677
TITLE: Reducing simulation runtime in wireless sensor networks: A simulation framework to reduce wsn simulation runtime by using multiple simultaneous instances. A Simulation Framework to Reduce WSN Simulation Runtime by Using Multiple Simultaneous Instances
AUTHORS: Pinto, P ; Pinto, AA ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: Handbook of Research on Computational Simulation and Modeling in Engineering, PAGES: 726-741
AUTHORS: Pinto, P ; Pinto, AA ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: Handbook of Research on Computational Simulation and Modeling in Engineering, PAGES: 726-741
678
TITLE: Reducing WSN Simulation Runtime by using Multiple Simultaneous Instances Full Text
AUTHORS: Pedro Pinto ; Antnio Pinto ; Manuel Ricardo ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Pedro Pinto ; Antnio Pinto ; Manuel Ricardo ;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
679
TITLE: SkILL - a Stochastic Inductive Logic Learner
AUTHORS: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
PUBLISHED: 2015, SOURCE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PAGES: 555-558
AUTHORS: Joana Corte Real ; Theofrastos Mantadelis ; Ines Dutra ; Ricardo Rocha ; Elizabeth Burnside;
PUBLISHED: 2015, SOURCE: IEEE 14th International Conference on Machine Learning and Applications ICMLA in 2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), PAGES: 555-558
680
TITLE: Social Media Content Analysis in the Higher Education Sector: From Content to Strategy. From Content to Strategy
AUTHORS: Luciana Oliveira ; Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: IJWP, VOLUME: 7, ISSUE: 2, PAGES: 16-32
AUTHORS: Luciana Oliveira ; Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: IJWP, VOLUME: 7, ISSUE: 2, PAGES: 16-32
