Sfoglia per Serie
Safe decomposition of startup requirements: verification and synthesis
2020-01-01 Cimatti, A.; Geatti, L.; Griggio, A.; Kimberly, G.; Tonetta, S.
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
2019-01-01 Geatti, Luca; Gigante, Nicola; Montanari, Angelo
Solving employee timetabling problems by generalized local search
2000-01-01 Schaerf, Andrea; Meisels, A.
Studying the Spatial Distribution of Volunteered Geographic Data Through a Non-parametric Approach
2020-01-01 Bressan, Giorgia; Zaccomer, Gian Pietro; Grassetti, Luca
The automorphism group of falsum-free product logic
2007-01-01 Panti, Giovanni
Timed Memory in Resource-Bounded Agents
2018-01-01 Costantini, Stefania; Formisano, Andrea; Pitoni, Valentina
Using Integer Programming to Search for Counterexamples: A Case Study
2020-01-01 Lancia, G.; Pippia, E.; Rinaldi, F.
UX Concerns in Developing Functional Orthodontic Appliances
2020-01-01 Filippi, Stefano; Grigolato, Luca; Savio, Gianpaolo
Variant-Based Equational Anti-unification
2022-01-01 Alpuente, M.; Ballis, D.; Escobar, S.; Sapina, J.
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