Biblioteca

Autore: AVANCINI ANDREA
Titolo: MIGRAZIONE AUTOMATICA DI SISTEMI LEGACY: UN CASO DI STUDIO.
Relatore: SEBASTIANI ROBERTO
Controrelatore: BRUNATO MAURO
Anno accademico: 2008/2009
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN122
Richiedi la consultazione

Autore: BAZZANELLA CINZIA
Titolo: REQUIREMENT PRIORITIZATION IN SOFTWARE ENGINEERING, A SET OF EXPERIMENTAL PROOFS OF THE CASE-BASED RANKING METHODOLOGY EFFECTIVENESS.
Relatore: SEBASTIANI ROBERTO
Correlatore: PERINI ANNA
Correlatore: SUSI ANGELO
Controrelatore: BLANZIERI ENRICO
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN25
Richiedi la consultazione

Autore: CAMPANA DANIELE
Titolo: FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: TONETTA STEFANO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-40

Autore: CAMPANA DANIELE
Titolo: A FORMAL FRAMEWORK FOR THE EFFICIENT SIMULATION OF TIMED COMPLEX SYSTEMS AND CONTROL PLANS
Relatore: SEBASTIANI ROBERTO
Secondo Relatore: CIMATTI ALESSANDRO
Correlatore: CAVADA ROBERTO
Secondo Correlatore: DI NATALE MARCO
Anno accademico: 2013/2014
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-236

Autore: CAMUFFO NICOLA
Titolo: VERIFICA FORMALE DI MODELLI LUSTRE TRAMITE NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC341
Richiedi la consultazione

Autore: CAPPELLO IGOR
Titolo: ENCODING WEB SERVICES REQUEST AS CONSTRAINTS: AN IMPLEMENTATION
Relatore: AIELLO MARCO
Controrelatore: SEBASTIANI ROBERTO
Anno accademico: 2004/2005
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC90
Richiedi la consultazione

Autore: CIRESA MARTINO
Titolo: DESIGN AND DEVELOPMENT OF A GRAPHICAL FRONT-END FOR THE VERIFICATION OF STRUCTURED HYBRID SYSTEMS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-69
Richiedi la consultazione

Autore: COLOMBINI GABRIELE
Titolo: TECNICHE DI PREPROCESSING DI FORMULE PER MATHSAT: ANALISI, IMPLEMENTAZIONE E TEST
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC27
Richiedi la consultazione

Autore: CONTALDO FRANCESCO
Titolo: FROM OPTIMIZATION MODULO THEORIES TO MINIZINC: ENCODING, EVALUATION AND ANALYSIS
Relatore: SEBASTIANI ROBERTO
Correlatore: TRENTIN PATRICK
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-524
Richiedi la consultazione

Autore: CRISTELLI MICHELE
Titolo: MODELLAZIONE DI SISTEMI IBRIDI IN MATLAB/SIMULINK, E LORO CODIFICA E VERIFICA CON IL TOOL NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Controrelatore: PALOPOLI LUIGI
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC332
Richiedi la consultazione

Autore: DAL LAGO LORIS
Titolo: USING ABSTRACT INTERPRETATION TO PERFORM STATIC ANALYSIS IN NUSMV
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Controrelatore: PASSERONE ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-41
Richiedi la consultazione

Autore: DI BERNARDO VALERIO
Titolo: A FORMAL FRAMEWORK FOR SPECIFYING AND VERIFYING PURPOSE AWARE POLICIES.
Relatore: SEBASTIANI ROBERTO
Correlatore: GHIDINI CHIARA
Anno accademico: 2014/2015
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-297
Richiedi la consultazione

Autore: DOKLA DODO EDWIN
Titolo: MODELING AND VERIFICATION OF A TTETHERNET SYNCHRONIZATION FUNCTION AS HYBRID AUTOMATA
Relatore: SEBASTIANI ROBERTO
Correlatore: TONETTA STEFANO
Secondo Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0514G-65

Autore: FANTE STEFANO
Titolo: GOAL-ORIENTED REQUIREMENTS ENGINEERING: TECNICHE NUMERICHE DI ANALISI TOP.DOWN E BOTTOM-UP.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2002/2003
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC21
Richiedi la consultazione

Autore: GIACOBBE MIRCO
Titolo: PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING
Relatore: BIALLAS SEBASTIAN
Correlatore: KOWALESKI STEFAN
Secondo Correlatore: SEBASTIANI ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-122
Richiedi la consultazione

Autore: GIRARDI MASSIMILIANO
Titolo: RUNTIME VERIFICATION OF SCADE-BASED SAFETY-CRITICAL SYSTEMS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-770

Autore: GOZZER PAOLO
Titolo: VOTO ELETTRONICO: VERSO UN PORTALE DELLE ESPERIENZE PRINCIPALI DI VOTO.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2004/2005
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC87
Richiedi la consultazione

Autore: GREGO ELIA
Titolo: FAILURE PROPAGATION OF SAFETY CRITICAL SYSTEMS: THE WHEEL BRAKE SYSTEM CASE STUDY
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: BOZZANO MARCO
Controrelatore: GRIGGIO ALBERTO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-716

Autore: LAGO FRANCESCO
Titolo: SVILUPPO DI UN CONVERTITORE VERILOG-NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2006/2007
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC200
Richiedi la consultazione

Autore: LARCHERI PAOLO
Titolo: APPLICAZIONE DI UNA PIATTAFORMA MULTICAST A SISTEMI SENSIBILI ALL'AMBIENTE
Relatore: SEBASTIANI ROBERTO
Correlatore: BUSETTA PAOLO
Anno accademico: 2001/2002
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC7
Richiedi la consultazione

Autore: LE THI THIEU HOA
Titolo: A NOVEL TECHNIQUE FOR COMPUTING CRAIG INTERPOLANTS IN SATISFIABILITY MODULO THE THEORY OF INTEGER LINEAR ARITHMETIC.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2009/2010
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QQ5
Richiedi la consultazione

Autore: MAGNAGO ENRICO
Titolo: TIMED NUXMV
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-496

Autore: MARIOTTI ALESSANDRO
Titolo: VERIFICA FORMALE DI HARDWARE VIA AIGER E NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: ROVERI MARCO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC367
Richiedi la consultazione

Autore: MASINA GABRIELE
Titolo: EXTENDING WEIGHTED MODEL INTEGRATION WITH STRUCTURE AWARENESS AND MULTIPLE INTEGRATION APPROACHES
Relatore: SEBASTIANI ROBERTO
Correlatore: SPALLITTA GIUSEPPE
Secondo Correlatore: PASSERINI ANDREA
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-842
Richiedi la consultazione

Autore: MATTEOTTI CRISTINA
Titolo: APPLYING A NOVEL TEST-CASE PRIORITIZATION METHODOLOGY ON A REAL CASE STUDY.
Relatore: SEBASTIANI ROBERTO
Correlatore: TONELLA PAOLO
Controrelatore: GIORGINI PAOLO
Anno accademico: 2005/2006
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC168
Richiedi la consultazione

Autore: MERZI MATTIA
Titolo: UNA TECNICA PER LA COORDINAZIONE DI AGENTI MEDIANTE MULTICAST: IMPLEMENTAZIONE E CONFRONTI.
Relatore: SEBASTIANI ROBERTO
Correlatore: LEONI MATTEO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC38
Richiedi la consultazione

Autore: MICHELI ANDREA
Titolo: SYSTEMC2C: UN FRONTEND PER LA VERIFICA FORMALE DI MODELLI SYSTEMC.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Controrelatore: PASSERONE ROBERTO
Anno accademico: 2008/2009
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC312
Richiedi la consultazione

Autore: MICHELI ANDREA
Titolo: TEMPORAL PROBLEMS WITH SATISTIABILITY MODULO THEORY
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0517H-49
Richiedi la consultazione

Autore: MICHNO MACIEJ
Titolo: A RULE BASED APPROACH TO THE RICOGNITION OF NEWSPAPER ARTICLES. UN APPROCCIO BASATO SU REGOLE AL RICONOSCIMENTO DI ARTICOLI DI STAMPA QUOTIDIANA.
Relatore: AIELLO MARCO
Controrelatore: SEBASTIANI ROBERTO
Anno accademico: 2005/2006
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN14
Richiedi la consultazione

Autore: MOVER SERGIO
Titolo: A ROBUST AUTOMATA LIBRARY FOR SYMBOLIC MODEL CHECKING EXPRESSIVE TEMPORAL LOGICS.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: TONETTA STEFANO
Controrelatore: PALOPOLI LUIGI
Anno accademico: 2008/2009
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN142
Richiedi la consultazione

Autore: NARDIN LUCA
Titolo: POLYNOMIAL TIME INSTANCES FOR THE I.K.H.O. PROBLEM. ISTANZE A TEMPO POLINOMINALE PER IL PROBLEMA I.K.H.O.
Relatore: SEBASTIANI ROBERTO
Correlatore: RIZZI ROMEO
Controrelatore: BATTITI ROBERTO
Anno accademico: 2005/2006
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC144
Richiedi la consultazione

Autore: PASQUALI THOMAS
Titolo: SOLVING OMT(NRA) AND OMT(NTA) BY COMBINING LOGIC-TO-OPTIMIZATION AND NONLINEAR CONSTRAINED OPTIMIZATION TECHNIQUES
Relatore: SEBASTIANI ROBERTO
Correlatore: SPALLITTA GIUSEPPE
Secondo Correlatore: MASINA GABRIELE
Anno accademico: 2023/2024
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Interfacoltà Rovereto
Formato: digitale
Segnatura: 0517H-999
Richiedi la consultazione

Autore: PENSALLORTO MARCO
Titolo: IMPLEMENTAZIONE EFFICIENTE DI TECNICHE DI MODEL CHECKING PER INVARIANTI SU SISTEMI A STATI FINITI BASATE SU INTERPOLANTI DI CRAIG.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Correlatore: ROVERI MARCO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC368
Richiedi la consultazione

Autore: PHAN QUOC SANG
Titolo: STOCHASTIC LOCAL SEARCH FOR SATISFIABILITY MODULO THEORIES: EXPLOITS TRIMMING AND COMMITMENT STRATEGIES.
Relatore: SEBASTIANI ROBERTO
Correlatore: TOMASI SILVIA
Anno accademico: 2009/2010
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QQ18
Richiedi la consultazione

Autore: RAMADIAN YUSI
Titolo: SCHEDULING VERIFICATION AND SENSITIVITY ANALYSIS USING MATHSAT.
Relatore: PALOPOLI LUIGI
Controrelatore: SEBASTIANI ROBERTO
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN51
Richiedi la consultazione

Autore: SANTUARI ALESSANDRO
Titolo: NUOVE TECNICHE DI RAGIONAMENTO AUTOMATICO PER TEORIE LOGICHE COMBINATE
Relatore: SEBASTIANI ROBERTO
Controrelatore: AIELLO MARCO
Anno accademico: 2004/2005
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN11
Richiedi la consultazione

Autore: SGORLON STEFANO
Titolo: A SAT-BASED TOOL FOR SOLVING CONFIGURATION PROBLEMS.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2007/2008
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN101
Richiedi la consultazione

Autore: SIENA ALBERTO
Titolo: UNO STRUMENTO PER LA VERIFICA ESAUSTIVA DELLA CORRETTEZZA DEI REGOLAMENTI DIDATTICI E LA PIANIFICAZIONE AUTOMATICA DI CURRICULA IN AMBITO UNIVERSITARIO
Relatore: BOUQUET PAOLO
Correlatore: SEBASTIANI ROBERTO
Controrelatore: ERZEGOVESI LUCA
Anno accademico: 2002/2003
Corso: Corso di Laurea - Economia e Commercio [0103B]
Struttura didattica: Facoltà di Economia
Formato: digitale
Segnatura: EC3192
Richiedi la consultazione

Autore: SOMMAVILLA FRANCESCO
Titolo: PUSHING THE ENVELOPE OF SMT-BASED WEIGHTED MODEL INTEGRATION
Relatore: SEBASTIANI ROBERTO
Secondo Relatore: PASSERINI ANDREA
Correlatore: MORETTIN PAOLO
Anno accademico: 2018/2019
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-551
Richiedi la consultazione

Autore: SPALLITTA GIUSEPPE
Titolo: IMPROVED TECHNIQUES FOR SAT-TO-ISING ENCODING APPLIED TO HYBRID QUANTUM ANNEALING
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Anno accademico: 2019/2020
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-652
Richiedi la consultazione

Autore: STENICO MARCO
Titolo: USO DI TECNICHE DI COMPUTER ALGEBRA PER LA SOLUZIONE DI PROBLEMI NON LINEARI IN MATHSAT: UNO STUDIO PRELIMINARE
Relatore: SEBASTIANI ROBERTO
Controrelatore: RIZZI ROMEO
Anno accademico: 2003/2004
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QC36
Richiedi la consultazione

Autore: STENICO CRISTIAN
Titolo: TECHNIQUES FOR COST-OPTIMIZATION IN SATISFIABILITY MODULO THEORY.
Relatore: SEBASTIANI ROBERTO
Controrelatore: PALOPOLI LUIGI
Anno accademico: 2008/2009
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN167
Richiedi la consultazione

Autore: STROBBE MICHELA
Titolo: USO DI CODIFICA GRAY IN SYMBOLIC MODEL CHECKING.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2006/2007
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN69
Richiedi la consultazione

Autore: TOMASI ALESSANDRO
Titolo: TECNICHE DI VERIFICA FORMALE APPLICATE A PROCESSI AMMINISTRATIVI UNIVERSITARI: SIMULAZIONE DI PIANI DI STUDIO E VERIFICA DELLA COERENZA DI OFFERTE DIDATTICHE TRAMITE SYMBOLIC MODEL CHECKING
Relatore: GIUNCHIGLIA FAUSTO
Correlatore: SEBASTIANI ROBERTO
Anno accademico: 1999/2000
Corso: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: MA386
Richiedi la consultazione

Autore: TOMASI SILVIA
Titolo: LOGIC PROGRAMMING TECHNIQUES IN MDD: APPLICATION TO CODE GENERATION AND FORMAL VERIFICATION OF STATECHARTS.
Relatore: SEBASTIANI ROBERTO
Correlatore: TIELLA ROBERTO
Controrelatore: PALOPOLI LUIGI
Anno accademico: 2008/2009
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QN132

Autore: TOMASONI DANILO
Titolo: APPLICAZIONE DI TECNICHE DI MODEL CHECKING ALLA VERIFICA DI PROGRAMMI A INTERAZIONE VOCALE
Relatore: SEBASTIANI ROBERTO
Correlatore: ROBERTI PIERLUIGI
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0517H-48
Richiedi la consultazione

Autore: TRENTIN PATRICK
Titolo: LINEAR INTEGER OPTIMIZATION WITH SMT
Relatore: SEBASTIANI ROBERTO
Controrelatore: PALOPOLI LUIGI
Anno accademico: 2012/2013
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-189
Richiedi la consultazione

Autore: TRUONG DUY TIN
Titolo: AUTOMATED PARAMETER CONFIGURATION FOR AN SMT SOLVER.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2009/2010
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QQ6
Richiedi la consultazione

Autore: VALENTINI ALESSANDRO
Titolo: TEMPORAL PLANNING WITH INTERMEDIATE CONDITIONS AND EFFECTS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-517
Richiedi la consultazione

Autore: VAROTTI STEFANO
Titolo: EFFICIENT ENCODING OF SAT PROBLEMS INTO QUBO PROBLEMS FOR ADIABATIC QUANTUM COMPUTATIONS.
Relatore: SEBASTIANI ROBERTO
Anno accademico: 2014/2015
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-284
Richiedi la consultazione

Autore: VESCOVI MICHELE
Titolo: AUTOMATIC REASONING IN MODAL LOGIC VIA SAT
Relatore: SEBASTIANI ROBERTO
Controrelatore: AIELLO MARCO
Anno accademico: 2004/2005
Corso: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Segnatura: QN12
Richiedi la consultazione

Autore: ZAMPEDRI GIANNI
Titolo: MODELLAZIONE E VALIDAZIONE DI UN ROBOT PER L'ESPLORAZIONE PLANETARIA
Relatore: PALOPOLI LUIGI
Correlatore: CIMATTI ALESSANDRO
Controrelatore: SEBASTIANI ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-45