Risultati

Risultati trovati 33

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

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

Nuova ricerca