IRIS

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 19 a 38 di 45
Titolo Data di pubblicazione Autore(i) File
A Formal Verification Tool for UML Behavioral Diagrams 1-gen-2014 Dos Santos, Luciana Brasil Rebelo; Eras, Eduardo Rohde; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
Generalized Distance Polymatrix Games 1-gen-2024 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study 1-gen-2025 Gomes, Otávio Santos; Silva, Gláucia Braga E; Souza, Érica Ferreira De; Rebelo, Luciana; Vijaykumar, Nandamudi L.; Fernandes, Gabriel Zoéga
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space 1-gen-2012 Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules 1-gen-2009 Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa
Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains 1-gen-2023 Barbosa, G.; Souza, É.; Rebelo, L.; Silva, M.; Balera, J.; Vijaykumar, N.
Locality of Not-so-Weak Coloring 1-gen-2019 Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka
Modelling and Mining Knowledge About Computational Complexity 1-gen-2025 Gnatenko, Anton; Kutz, Oliver; Troquard, Nicolas
A Monitoring Tool for Linear-Time $$\mu $$HML 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Multi-winner election control via social influence 1-gen-2020 Aboueimehrizi, M.; D’Angelo, Gianlorenzo
On Mining Dynamic Graphs for k Shortest Paths 1-gen-2025 D'Ascenzo, Andrea; D'Emidio, Mattia
An Operational Guide to Monitorability 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Phase Transition of a Non-linear Opinion Dynamics with Noisy Interactions 1-gen-2020 D'Amore, Francesco; Clementi, Andrea; Natale, Emanuele
Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise 1-gen-2022 D'Amore, Francesco; Ziccardi, Isabella
Realizing Ethical-Aware Business Processes 1-gen-2025 Pettinari, Sara; De Sanctis, Martina; Inverardi, Paola
REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps 1-gen-2025 Di Meglio, Sergio; Pontillo, Valeria; Starace, Luigi Libero Lucio
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections 1-gen-2017 Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Freitas, Albino Vieira
Shaping IoT Systems Together: The User-System Mixed-Initiative Paradigm and Its Challenges 1-gen-2023 Spalazzese, Romina; De Sanctis, Martina; Alkhabbas, Fahed; Davidsson, Paul
Sparsifying Congested Cliques and Core-Periphery Networks 1-gen-2016 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Stakeholder Inclusion and Value Diversity: An Evaluation Using an Access Control System 1-gen-2023 Alidoosti, Razieh; De Sanctis, Martina; Iovino, Ludovico; Lago, Patricia; Razavian, Maryam
Mostrati risultati da 19 a 38 di 45
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile