Results

Found results 32

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

Consultabile AYUNINGTYAS CHITRA HAPSARI, PROBABILISTIC MESSAGE SEQUENCE CHARTS., Rel. QUAGLIA PAOLA, AA 2008/2009
Author: AYUNINGTYAS CHITRA HAPSARI
Title: PROBABILISTIC MESSAGE SEQUENCE CHARTS.
Relatore: QUAGLIA PAOLA
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN141
Richiedi la consultazione
Non consultabile BALDESSARI PATRICK, TRADUZIONE AUTOMATICA DI STANDARD ML OF NEW JERSEY IN OBIECTIVE CAML., Rel. QUAGLIA PAOLA, AA 2007/2008
Author: BALDESSARI PATRICK
Title: TRADUZIONE AUTOMATICA DI STANDARD ML OF NEW JERSEY IN OBIECTIVE CAML.
Relatore: QUAGLIA PAOLA
Academic year: 2007/2008
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC241
Consultabile BENUZZI IVAN, SOLVING THE CHEMICAL MASTER EQUATION FOR REVERSIBLE ADHESION REACTIONS. SIMULATION OF MOLECULAR MECHANISMS OF THE LYMPHOCYTE RECRUITMENT IN INFLAMED BRAIN MICRO-VESSELS: A RELEVANT CASE STUDY., Rel. PRIAMI CORRADO, AA 2006/2007
Author: BENUZZI IVAN
Title: SOLVING THE CHEMICAL MASTER EQUATION FOR REVERSIBLE ADHESION REACTIONS. SIMULATION OF MOLECULAR MECHANISMS OF THE LYMPHOCYTE RECRUITMENT IN INFLAMED BRAIN MICRO-VESSELS: A RELEVANT CASE STUDY.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN67
Richiedi la consultazione
Consultabile BOLOGNANI ANDREA, PITY - PI-CALCULUS TYPE INFERENCE., Rel. QUAGLIA PAOLA, AA 2009/2010
Author: BOLOGNANI ANDREA
Title: PITY - PI-CALCULUS TYPE INFERENCE.
Relatore: QUAGLIA PAOLA
Academic year: 2009/2010
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC351
Richiedi la consultazione
Consultabile BORILE MANUEL, ON THE SIMULATION OF PROCESSES AUTOMATICALLY TRANSLATED FROM BIONETGEN MODELS., Rel. QUAGLIA PAOLA, AA 2005/2006
Author: BORILE MANUEL
Title: ON THE SIMULATION OF PROCESSES AUTOMATICALLY TRANSLATED FROM BIONETGEN MODELS.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN26
Richiedi la consultazione
Consultabile CACEFFO MICHELE, ANALISI COMPARATIVA DI FRESH O'CAML E ALPHACAML., Rel. QUAGLIA PAOLA, AA 2007/2008
Author: CACEFFO MICHELE
Title: ANALISI COMPARATIVA DI FRESH O'CAML E ALPHACAML.
Relatore: QUAGLIA PAOLA
Academic year: 2007/2008
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC246
Richiedi la consultazione
Consultabile CAPPELLO IGOR, ON ENCODING BETA-BINDERS IN THE TT@ CALCULUS. SULLA CODIFICA DI BETA-BINDERS NEL CALCOLO TT@, Rel. QUAGLIA PAOLA, AA 2006/2007
Author: CAPPELLO IGOR
Title: ON ENCODING BETA-BINDERS IN THE TT@ CALCULUS. SULLA CODIFICA DI BETA-BINDERS NEL CALCOLO TT@
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN50
Richiedi la consultazione
Consultabile DEBIASI ALBERTO, PROPRIETA' DELLE RETI DI PETRI, Rel. QUAGLIA PAOLA, AA 2006/2007
Author: DEBIASI ALBERTO
Title: PROPRIETA' DELLE RETI DI PETRI
Relatore: QUAGLIA PAOLA
Academic year: 2006/2007
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC228
Richiedi la consultazione
Consultabile DEGASPERI ANDREA, SENSITIVITY ANALYSIS OF MODELS OF BIOCHEMICAL REACTIONS., Rel. QUAGLIA PAOLA, AA 2006/2007
Author: DEGASPERI ANDREA
Title: SENSITIVITY ANALYSIS OF MODELS OF BIOCHEMICAL REACTIONS.
Relatore: QUAGLIA PAOLA
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN46
Richiedi la consultazione
Consultabile DEMATTE' LORENZO, CONCURRENTE PROGRAMMING BY CONTRACT. PROGRAMMAZIONE CONCORRENTE CON CONTRATTI, Rel. MASSACCI FABIO, AA 2003/2004
Author: DEMATTE' LORENZO
Title: CONCURRENTE PROGRAMMING BY CONTRACT. PROGRAMMAZIONE CONCORRENTE CON CONTRATTI
Relatore: MASSACCI FABIO
Controrelatore: QUAGLIA PAOLA
Academic year: 2003/2004
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN2
Richiedi la consultazione
Non consultabile ERCOLANI ALBERTO, PROVING THE FILTER-LOCK CORRECT IN PVS, Rel. QUAGLIA PAOLA, AA 2020/2021
Author: ERCOLANI ALBERTO
Title: PROVING THE FILTER-LOCK CORRECT IN PVS
Relatore: QUAGLIA PAOLA
Academic year: 2020/2021
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-763
Consultabile FEDRIZZI TARCISIO, GAME THEORY AND GRAPH TRASFORMATION FOR THE STUDY OF TUMOR DEVELOPMENT., Rel. PRIAMI CORRADO, AA 2007/2008
Author: FEDRIZZI TARCISIO
Title: GAME THEORY AND GRAPH TRASFORMATION FOR THE STUDY OF TUMOR DEVELOPMENT.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN87
Richiedi la consultazione
Consultabile FRUET MAURO, LUMPING BLEN X, Rel. PRIAMI CORRADO, AA 2007/2008
Author: FRUET MAURO
Title: LUMPING BLEN X
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2007/2008
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QC258
Richiedi la consultazione
Consultabile GJIKA KRISTJAN, BIFAD: BISON INTEGRATION FOR AMBIGUITY DETECTION, Rel. QUAGLIA PAOLA, AA 2020/2021
Author: GJIKA KRISTJAN
Title: BIFAD: BISON INTEGRATION FOR AMBIGUITY DETECTION
Relatore: QUAGLIA PAOLA
Academic year: 2020/2021
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-762
Richiedi la consultazione
Consultabile GUERRIERO MARIA LUISA, MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI., Rel. PRIAMI CORRADO, AA 2003/2004
Author: GUERRIERO MARIA LUISA
Title: MODELLI FORMALI PER LA RAPPRESENTAZIONE DI SISTEMI BIOLOGICI DINAMICI.
Relatore: PRIAMI CORRADO
Correlatore: QUAGLIA PAOLA
Controrelatore: PISTORE MARCO
Academic year: 2003/2004
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN1
Richiedi la consultazione
Consultabile KOOLWAL ROHIN, A COMPUTATIONAL INVESTIGATION OF THE INPUT-OUTPUT CHARACTERISTICS OF INITIAL STAGES IN THE EGFR SIGNALLING CASCADE USING A RULE-BASED MODELING APPROACH., Rel. QUAGLIA PAOLA, AA 2008/2009
Author: KOOLWAL ROHIN
Title: A COMPUTATIONAL INVESTIGATION OF THE INPUT-OUTPUT CHARACTERISTICS OF INITIAL STAGES IN THE EGFR SIGNALLING CASCADE USING A RULE-BASED MODELING APPROACH.
Relatore: QUAGLIA PAOLA
Academic year: 2008/2009
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN159
Richiedi la consultazione
Consultabile LARCHER ROBERTO, DA BIOAMBIENTS A BETA-BINDERS CON COMPARTIMENTI., Rel. PRIAMI CORRADO, AA 2005/2006
Author: LARCHER ROBERTO
Title: DA BIOAMBIENTS A BETA-BINDERS CON COMPARTIMENTI.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN19
Richiedi la consultazione
Consultabile MARCON LUCIANO, FUNCTIONAL LANGUAGES AND MODELS OF BIOLOGICAL SYSTEMS: AN APPLICATION OF FRESH O'CAML TO BETA FINDERS, Rel. QUAGLIA PAOLA, AA 2004/2005
Author: MARCON LUCIANO
Title: FUNCTIONAL LANGUAGES AND MODELS OF BIOLOGICAL SYSTEMS: AN APPLICATION OF FRESH O'CAML TO BETA FINDERS
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC92
Richiedi la consultazione
Consultabile MARCON LUCIANO, PERFORMANCE ANALYSIS OF BIOCHEMICAL SYSTEM SIMULATIONS. EXTENDING DIZZY: A CHEMICAL STOCHASTIC SIMULATOR., Rel. QUAGLIA PAOLA, AA 2006/2007
Author: MARCON LUCIANO
Title: PERFORMANCE ANALYSIS OF BIOCHEMICAL SYSTEM SIMULATIONS. EXTENDING DIZZY: A CHEMICAL STOCHASTIC SIMULATOR.
Relatore: QUAGLIA PAOLA
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN36
Richiedi la consultazione
Consultabile MEREACRE ALEXANDRU, MODELING AND VERIFICATION OF TIME-INHOMOGENEAUS MARKOV CHAINS, Rel. QUAGLIA PAOLA, AA 2006/2007
Author: MEREACRE ALEXANDRU
Title: MODELING AND VERIFICATION OF TIME-INHOMOGENEAUS MARKOV CHAINS
Relatore: QUAGLIA PAOLA
Academic year: 2006/2007
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN45
Richiedi la consultazione
Consultabile MORETTO MARCO, GRAPH-BASED QUERIES OF SEMANTIC WEB INTEGRATED BIOLOGICAL DATA., Rel. BLANZIERI ENRICO, AA 2009/2010
Author: MORETTO MARCO
Title: GRAPH-BASED QUERIES OF SEMANTIC WEB INTEGRATED BIOLOGICAL DATA.
Relatore: BLANZIERI ENRICO
Controrelatore: QUAGLIA PAOLA
Academic year: 2009/2010
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN187
Richiedi la consultazione
Consultabile ODORIZZI THOMAS, DIETORECS SISTEMA DI RACCOMANDAZIONE DECISIONALE BASATO SI CASE-BASE REASONING E XML, Rel. QUAGLIA PAOLA, AA 2003/2004
Author: ODORIZZI THOMAS
Title: DIETORECS SISTEMA DI RACCOMANDAZIONE DECISIONALE BASATO SI CASE-BASE REASONING E XML
Relatore: QUAGLIA PAOLA
Academic year: 2003/2004
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC66
Richiedi la consultazione
Consultabile PALMISANO ALIDA, FORMAL MODELS OF EXAMPLES OF BIOLOGICAL SYNTHESIS AND SIGNAL TRANSDUCTION PATHWAYS., Rel. QUAGLIA PAOLA, AA 2005/2006
Author: PALMISANO ALIDA
Title: FORMAL MODELS OF EXAMPLES OF BIOLOGICAL SYNTHESIS AND SIGNAL TRANSDUCTION PATHWAYS.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN27
Richiedi la consultazione
Consultabile ROMANEL ALESSANDRO, UNA MACCHINA ASTRATTA STOCASTICA PER BETA BINDERS, Rel. PRIAMI CORRADO, AA 2004/2005
Author: ROMANEL ALESSANDRO
Title: UNA MACCHINA ASTRATTA STOCASTICA PER BETA BINDERS
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2004/2005
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN10
Richiedi la consultazione
Consultabile SCHIVO STEFANO, ESTENSIONE DI BETA-BINDERS CON COMPARTIMENTI ANNIDABILI., Rel. PRIAMI CORRADO, AA 2005/2006
Author: SCHIVO STEFANO
Title: ESTENSIONE DI BETA-BINDERS CON COMPARTIMENTI ANNIDABILI.
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN18
Richiedi la consultazione
Consultabile SEGATA NICOLA, BETA BINDERS AND PI-CALCOLUS APPROACHES FOR QUANTITATIVE MODELLING OF BIOLOGICAL PATHWAYS, Rel. PRIAMI CORRADO, AA 2005/2006
Author: SEGATA NICOLA
Title: BETA BINDERS AND PI-CALCOLUS APPROACHES FOR QUANTITATIVE MODELLING OF BIOLOGICAL PATHWAYS
Relatore: PRIAMI CORRADO
Correlatore: BLANZIERI ENRICO
Controrelatore: QUAGLIA PAOLA
Academic year: 2005/2006
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QN24
Richiedi la consultazione
Consultabile SEVEGNANI MICHELE, ENCODING ORC IN PI-CALCULUS. TRADUZIONE DI ORC IN PI- CALCOLO., Rel. QUAGLIA PAOLA, AA 2005/2006
Author: SEVEGNANI MICHELE
Title: ENCODING ORC IN PI-CALCULUS. TRADUZIONE DI ORC IN PI- CALCOLO.
Relatore: QUAGLIA PAOLA
Controrelatore: PRIAMI CORRADO
Academic year: 2005/2006
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC145
Richiedi la consultazione
Consultabile SEVEGNANI MICHELE, IMPLEMENTING STOCHASTICALLY-TIMED COWS FOR THE PRIMS PROBABILISTIC MODEL CHECKER., Rel. QUAGLIA PAOLA, AA 2007/2008
Author: SEVEGNANI MICHELE
Title: IMPLEMENTING STOCHASTICALLY-TIMED COWS FOR THE PRIMS PROBABILISTIC MODEL CHECKER.
Relatore: QUAGLIA PAOLA
Controrelatore: MARCHESE MAURIZIO
Academic year: 2007/2008
Course: Corso di Laurea Specialistica - Informatica [0510D]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: QN78
Richiedi la consultazione
Non consultabile TOSCANA MONICA, UN'APPLICAZIONE MULTIMEDIALE PER LA STORIA DELL' INFORMATICA, Rel. QUAGLIA PAOLA, AA 2002/2003
Author: TOSCANA MONICA
Title: UN'APPLICAZIONE MULTIMEDIALE PER LA STORIA DELL' INFORMATICA
Relatore: QUAGLIA PAOLA
Controrelatore: TUBARO LUCIANO
Academic year: 2002/2003
Course: Corso di Laurea - Matematica (triennale) [0508C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QD31
Consultabile TOSS FABRIZIA, TIMED SAGAS - A FORMAL LANGUAGE FOR WEB TRANSACTIONS, Rel. QUAGLIA PAOLA, AA 2010/2011
Author: TOSS FABRIZIA
Title: TIMED SAGAS - A FORMAL LANGUAGE FOR WEB TRANSACTIONS
Relatore: QUAGLIA PAOLA
Controrelatore: ZUNINO ROBERTO
Academic year: 2010/2011
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Shelfmark: 0517H-42
Richiedi la consultazione
Consultabile VALENTINI ROBERTO, SEMANTICA OPERAZIONALE DI SPIM E SUE APPLICAZIONI, Rel. PRIAMI CORRADO, AA 2004/2005
Author: VALENTINI ROBERTO
Title: SEMANTICA OPERAZIONALE DI SPIM E SUE APPLICAZIONI
Relatore: PRIAMI CORRADO
Controrelatore: QUAGLIA PAOLA
Academic year: 2004/2005
Course: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: cartaceo
Shelfmark: QC107
Richiedi la consultazione
Non consultabile ZAMPEDRI GIANNI, UNDERSTANDING PROBABILISTIC CONTINUOUS-TIMED MODELS VIA REDUCTION TO CONTINUOUS TIMED TRANSITION SYSTEMS, Rel. QUAGLIA PAOLA, AA 2016/2017
Author: ZAMPEDRI GIANNI
Title: UNDERSTANDING PROBABILISTIC CONTINUOUS-TIMED MODELS VIA REDUCTION TO CONTINUOUS TIMED TRANSITION SYSTEMS
Relatore: QUAGLIA PAOLA
Correlatore: CIMATTI ALESSANDRO
Academic year: 2016/2017
Course: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Shelfmark: 0517H-438

New search