Library

Author: AVANCINI ANDREA
Title: MIGRAZIONE AUTOMATICA DI SISTEMI LEGACY: UN CASO DI STUDIO.
Relatore: SEBASTIANI ROBERTO
Controrelatore: BRUNATO MAURO
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN122
Richiedi la consultazione

Author: BAZZANELLA CINZIA
Title: 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
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN25
Richiedi la consultazione

Author: CAMPANA DANIELE
Title: FORMAL VERIFICATION OF SLIM MODELS VIA TRANSLATION INTO EXPLICIT HYDI
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Secondo Correlatore: TONETTA STEFANO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0514G-40

Author: CAMPANA DANIELE
Title: 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
Academic year: 2013/2014
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-236

Author: CAMUFFO NICOLA
Title: VERIFICA FORMALE DI MODELLI LUSTRE TRAMITE NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC341
Richiedi la consultazione

Author: CAPPELLO IGOR
Title: ENCODING WEB SERVICES REQUEST AS CONSTRAINTS: AN IMPLEMENTATION
Relatore: AIELLO MARCO
Controrelatore: SEBASTIANI ROBERTO
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC90
Richiedi la consultazione

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

Author: COLOMBINI GABRIELE
Title: TECNICHE DI PREPROCESSING DI FORMULE PER MATHSAT: ANALISI, IMPLEMENTAZIONE E TEST
Relatore: SEBASTIANI ROBERTO
Academic year: 2002/2003
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC27
Richiedi la consultazione

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

Author: CRISTELLI MICHELE
Title: 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
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC332
Richiedi la consultazione

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

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

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

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

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

Author: GIRARDI MASSIMILIANO
Title: RUNTIME VERIFICATION OF SCADE-BASED SAFETY-CRITICAL SYSTEMS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Academic year: 2020/2021
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-770

Author: GOZZER PAOLO
Title: VOTO ELETTRONICO: VERSO UN PORTALE DELLE ESPERIENZE PRINCIPALI DI VOTO.
Relatore: SEBASTIANI ROBERTO
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC87
Richiedi la consultazione

Author: GREGO ELIA
Title: 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
Academic year: 2020/2021
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-716

Author: LAGO FRANCESCO
Title: SVILUPPO DI UN CONVERTITORE VERILOG-NUSMV.
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Academic year: 2006/2007
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC200
Richiedi la consultazione

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

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

Author: MAGNAGO ENRICO
Title: TIMED NUXMV
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Academic year: 2017/2018
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-496

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

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

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

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

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

Author: MICHELI ANDREA
Title: TEMPORAL PROBLEMS WITH SATISTIABILITY MODULO THEORY
Relatore: SEBASTIANI ROBERTO
Correlatore: ROVERI MARCO
Academic year: 2010/2011
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0517H-49
Richiedi la consultazione

Author: MICHNO MACIEJ
Title: 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
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN14
Richiedi la consultazione

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

Author: NARDIN LUCA
Title: 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
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC144
Richiedi la consultazione

Author: PASQUALI THOMAS
Title: 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
Academic year: 2023/2024
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Interfacoltà Rovereto
Formato: digitale
Shelfmark: 0517H-999
Richiedi la consultazione

Author: PENSALLORTO MARCO
Title: 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
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC368
Richiedi la consultazione

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

Author: RAMADIAN YUSI
Title: SCHEDULING VERIFICATION AND SENSITIVITY ANALYSIS USING MATHSAT.
Relatore: PALOPOLI LUIGI
Controrelatore: SEBASTIANI ROBERTO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN51
Richiedi la consultazione

Author: SANTUARI ALESSANDRO
Title: NUOVE TECNICHE DI RAGIONAMENTO AUTOMATICO PER TEORIE LOGICHE COMBINATE
Relatore: SEBASTIANI ROBERTO
Controrelatore: AIELLO MARCO
Academic year: 2004/2005
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN11
Richiedi la consultazione

Author: SGORLON STEFANO
Title: A SAT-BASED TOOL FOR SOLVING CONFIGURATION PROBLEMS.
Relatore: SEBASTIANI ROBERTO
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN101
Richiedi la consultazione

Author: SIENA ALBERTO
Title: 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
Academic year: 2002/2003
Course: Corso di Laurea - Economia e Commercio [0103B]
Struttura didattica: Facoltà di Economia
Formato: digitale
Shelfmark: EC3192
Richiedi la consultazione

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

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

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

Author: STENICO CRISTIAN
Title: TECHNIQUES FOR COST-OPTIMIZATION IN SATISFIABILITY MODULO THEORY.
Relatore: SEBASTIANI ROBERTO
Controrelatore: PALOPOLI LUIGI
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN167
Richiedi la consultazione

Author: STROBBE MICHELA
Title: USO DI CODIFICA GRAY IN SYMBOLIC MODEL CHECKING.
Relatore: SEBASTIANI ROBERTO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN69
Richiedi la consultazione

Author: TOMASI ALESSANDRO
Title: 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
Academic year: 1999/2000
Course: Corso di Laurea - Matematica [0503B]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: MA386
Richiedi la consultazione

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

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

Author: TRENTIN PATRICK
Title: LINEAR INTEGER OPTIMIZATION WITH SMT
Relatore: SEBASTIANI ROBERTO
Controrelatore: PALOPOLI LUIGI
Academic year: 2012/2013
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-189
Richiedi la consultazione

Author: TRUONG DUY TIN
Title: AUTOMATED PARAMETER CONFIGURATION FOR AN SMT SOLVER.
Relatore: SEBASTIANI ROBERTO
Academic year: 2009/2010
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QQ6
Richiedi la consultazione

Author: VALENTINI ALESSANDRO
Title: TEMPORAL PLANNING WITH INTERMEDIATE CONDITIONS AND EFFECTS
Relatore: SEBASTIANI ROBERTO
Correlatore: CIMATTI ALESSANDRO
Academic year: 2017/2018
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-517
Richiedi la consultazione

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

Author: VESCOVI MICHELE
Title: AUTOMATIC REASONING IN MODAL LOGIC VIA SAT
Relatore: SEBASTIANI ROBERTO
Controrelatore: AIELLO MARCO
Academic year: 2004/2005
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN12
Richiedi la consultazione

Author: ZAMPEDRI GIANNI
Title: MODELLAZIONE E VALIDAZIONE DI UN ROBOT PER L'ESPLORAZIONE PLANETARIA
Relatore: PALOPOLI LUIGI
Correlatore: CIMATTI ALESSANDRO
Controrelatore: SEBASTIANI ROBERTO
Academic year: 2011/2012
Course: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0514G-45