Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

AuthID: I-000-1RA

External   Internal

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
481
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Alves, S ; Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2, PAGES: 203-243
482
TITLE: Preface
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 338, PAGES: 1-2
483
TITLE: Preface to special issue: LINEARITY 2014
AUTHORS: Alves, S ; Cervesato, I;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 5, PAGES: 612-613
484
TITLE: Programming Networked Vehicle Systems using Dolphin - Field Tests at REP'17
AUTHORS: Keila Lima ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ;
PUBLISHED: 2018, SOURCE: OCEANS - MTS/IEEE Kobe Techno-Oceans Conference (OTO) in 2018 OCEANS - MTS/IEEE KOBE TECHNO-OCEANS (OTO)
485
TITLE: Querying Volatile and Dynamic Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: Encyclopedia of Social Network Analysis and Mining. 2nd Ed., PAGES: 1456-1463
486
TITLE: Raccode: An Eclipse Plugin for Assessment of Programming Exercises (Short Paper)
AUTHORS: André Silva; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62, PAGES: 4:1-4:8
487
TITLE: Table space designs for implicit and explicit concurrent tabled evaluation
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2018, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 18, ISSUE: 5-6, PAGES: 950-992
488
TITLE: Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia
AUTHORS: Ricardo Rocha ; Tran Cao Son; Christopher Mears; Neda Saeedloei;
PUBLISHED: 2018, SOURCE: ICLP (Technical Communications), VOLUME: 58
489
TITLE: TensorCast: Forecasting time-evolving networks with contextual information
AUTHORS: Miguel Araújo; Pedro Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July, PAGES: 5199-5203
490
TITLE: TensorCast: Forecasting Time-Evolving Networks with Contextual Information
AUTHORS: Miguel Araujo ; Pedro Manuel Pinto Ribeiro ; Christos Faloutsos;
PUBLISHED: 2018, SOURCE: IJCAI, PAGES: 5199-5203
491
TITLE: Testbed Implementation and Evaluation of Interleaved and Scrambled Coding for Physical-Layer Security
AUTHORS: Martins, C; Fernandes, T; Gomes, M; Vilela, J ;
PUBLISHED: 2018, SOURCE: 87th IEEE Vehicular Technology Conference, VTC Spring 2018 in 2018 IEEE 87TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2018-June, PAGES: 1-6
492
TITLE: Triple-Similarity Mechanism for alarm management in the cloud
AUTHORS: Dalmazo, BL; Vilela, JP ; Curado, M ;
PUBLISHED: 2018, SOURCE: COMPUTERS & SECURITY, VOLUME: 78, PAGES: 33-42
493
TITLE: Twitter as a Source for Time- and Domain-Dependent Sentiment Lexicons
AUTHORS: Guimaraes, N ; Torgo, L ; Figueira, A ;
PUBLISHED: 2018, SOURCE: 8th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in SOCIAL NETWORK BASED BIG DATA ANALYSIS AND APPLICATIONS, PAGES: 1-19
494
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Joao Sa Sousa; Joao P Vilela ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 13, ISSUE: 1, PAGES: 143-155
495
TITLE: Uncoordinated Frequency Hopping for Wireless Secrecy Against Non-Degraded Eavesdroppers
AUTHORS: Sá Sousa, J; Vilela, JP ;
PUBLISHED: 2018, SOURCE: IEEE Transactions on Information Forensics and Security, VOLUME: 13, ISSUE: 1, PAGES: 143-155
496
TITLE: Uncovering Social Media Content Strategies for Worldwide Top-Ranked Universities
AUTHORS: Figueira, A ;
PUBLISHED: 2018, SOURCE: International Conference on ENTERprise Information Systems / International Conference on Project MANagement / International Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2018 in CENTERIS 2018 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2018 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2018 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 138, PAGES: 663-670
497
TITLE: Video Dissemination in Untethered Edge-Clouds: A Case Study
AUTHORS: Rodrigues, J ; Marques, ERB ; Silva, J ; Lopes, LMB ; Silva, F ;
PUBLISHED: 2018, SOURCE: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) held as Part of the 13th International Federated Conference on Distributed Computing Techniques (DisCoTec) in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), VOLUME: 10853, PAGES: 137-152
498
TITLE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; José Paulo Leal ; Maria João Varanda Pereira;
PUBLISHED: 2017, SOURCE: SLATE, VOLUME: 56
499
TITLE: A graph-based framework for the analysis of access control policies
AUTHORS: Alves, S ; Fernández, M;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 685, PAGES: 3-22
500
TITLE: A LEARNING AND SOCIAL MANAGEMENT SYSTEM - VERSION 3.0
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8638-8645

Results per Page: 20.
Page 25 of 64. Total results: 1277.