• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 55 matches

• 2024
• 
  Santiago Cifuentes, Leopoldo Bertossi, Nina Pardal, Sergio Abriola, Maria Vanina Martinez, Miguel Romero:
  The Distributional Uncertainty of the SHAP Score in Explainable Machine Learning. ECAI 2024: 971-978
• 
  Santiago Cifuentes, Leopoldo Bertossi, Nina Pardal, Sergio Abriola, Maria Vanina Martinez, Miguel Romero:
  The Distributional Uncertainty of the SHAP score in Explainable Machine Learning. CoRR abs/2401.12731 (2024)
• 2023
• 
  David R. Matos, Miguel L. Pardal, António Rito Silva, Miguel Correia:
  μVerum: Intrusion Recovery for Microservice Applications. IEEE Access 11: 78457-78470 (2023)
• 
  Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia:
  Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning. IEEE Access 11: 62394-62408 (2023)
• 
  Ricardo Moura, Ricardo Lopes, David R. Matos, Miguel L. Pardal, Miguel Correia:
  MultiTLS: using multiple and diverse ciphers for stronger secure channels. Comput. Secur. 132: 103342 (2023)
• 
  Miguel L. Pardal, A. Sainte-Marie, A. Reboul-Salze, Ricardo A. Fonseca, Jorge Vieira:
  RaDiO: An efficient spatiotemporal radiation diagnostic for particle-in-cell codes. Comput. Phys. Commun. 285: 108634 (2023)
• 
  Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia:
  MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service. IEEE Trans. Cloud Comput. 11(2): 2011-2027 (2023)
• 
  David R. Matos, Miguel L. Pardal, Miguel Correia:
  Sanare: Pluggable Intrusion Recovery for Web Applications. IEEE Trans. Dependable Secur. Comput. 20(1): 590-605 (2023)
• 
  Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia:
  Automatic Generation of Distributed Algorithms with Generative AI. DSN-S 2023: 127-131
• 
  Guilherme Saraiva, Filipe Apolinário, Miguel L. Pardal:
  IM-DISCO: Invariant Mining for Detecting IntrusionS in Critical Operations. ESORICS Workshops (2) 2023: 42-58
• 
  Francesco Pollicino, Samih Eisa, Pedro M. Rosa, Miguel L. Pardal, Mirco Marchetti:
  Decentralized position detection for moving vehicles. VTC2023-Spring 2023: 1-6
• 2022
• 
  Filipe Apolinário, João Guiomar, Éric Hervé, Sven Hrastnik, Nelson Escravana, Miguel L. Pardal, Miguel Correia:
  ComSEC: Secure Communications for Baggage Handling Systems. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 329-345
• 
  João Antunes, Miguel L. Pardal, Luísa Coheur:
  A Study on the Best Way to Compress Natural Language Processing Models. FUZZ-IEEE 2022: 1-8
• 
  Rafael Figueiredo, Samih Eisa, Miguel L. Pardal:
  SureRepute: Reputation System for Crowdsourced Location Witnesses. NCA 2022: 261-268
• 
  Ricardo Grade, Samih Eisa, Miguel L. Pardal:
  Bluetooth Peer-to-Peer Location Certification with a Gamified Mobile Application. NCA 2022: 55-62
• 
  Lucas H. Vicente, Samih Eisa, Miguel L. Pardal:
  LoCaaS: Location-Certification-as-a-Service. NCA 2022: 165-172
• 
  Filipe Apolinário, Nelson Escravana, Éric Hervé, Miguel L. Pardal, Miguel Correia:
  FingerCI: generating specifications for critical infrastructures. SAC 2022: 183-186
• 
  João Tiago, Samih Eisa, Miguel L. Pardal:
  SureSpace: orchestrating beacons and witnesses to certify device location. SAC 2022: 164-173
• 
  Michele Colajanni, Luca Ferretti, Miguel L. Pardal, Dimiter R. Avresky:
  21st IEEE International Symposium on Network Computing and Applications, NCA 2022, Boston, MA, USA, December 14-16, 2022. IEEE 2022, ISBN 979-8-3503-9730-7 [contents]
• 
  Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia:
  Learning to generate Reliable Broadcast Algorithms. CoRR abs/2208.00525 (2022)
• 
  Rui Claro, Samih Eisa, Miguel L. Pardal:
  Lisbon Hotspots: Wi-Fi access point dataset for time-bound location proofs. CoRR abs/2208.04741 (2022)
• 
  Duarte M. Nascimento, Miguel Ferreira, Miguel L. Pardal:
  Does Big Data Require Complex Systems? A Performance Comparison Between Spark and Unicage Shell Scripts. CoRR abs/2212.13647 (2022)
• 
  Miguel Ferreira, André Neves, Rodrigo Gorjão, Carlos Cruz, Miguel L. Pardal:
  Smart meter data processing: a showcase for simple and efficient textual processing. CoRR abs/2212.13656 (2022)
• 2021
• 
  Miguel C. Francisco, Samih Eisa, Miguel L. Pardal:
  Secure protocol buffers for Bluetooth Low-Energy communication with wearable devices. NCA 2021: 1-8
• 
  Pedro M. Rosa, Miguel L. Pardal, Gabriel Pestana:
  Poster: The ROAD to resilient location for the Internet of Vehicles. VNC 2021: 141-142
• 2020
• 
  Gabriel A. Maia, Rui L. Claro, Miguel L. Pardal:
  CROSS City: Wi-Fi Location Proofs for Smart Tourism. ADHOC-NOW 2020: 241-253
• 
  Henrique F. Santos, Rui L. Claro, Leonardo S. Rocha, Miguel L. Pardal:
  STOP: A Location Spoofing Resistant Vehicle Inspection System. ADHOC-NOW 2020: 100-113
• 
  Miguel Amaral, Miguel L. Pardal, Hugues Mercier, Miguel Matos:
  FaultSee: Reproducible Fault Injection in Distributed Systems. EDCC 2020: 25-32
• 
  Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel P. Correia:
  MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks. MobiQuitous 2020: 262-272
• 
  Filipe F. Martins, David R. Matos, Miguel L. Pardal, Miguel Correia:
  Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum. NCA 2020: 1-9

skipping 25 more matches