Search Results - Padoan, Tommaso

  • Showing 1 - 16 results of 16
Refine Results
  1. 1
    Fixpoint Theory -- Upside Down

    Fixpoint Theory -- Upside Down by Baldan, Paolo, Eggert, Richard, König, Barbara, Padoan, Tommaso

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Fixpoint games on continuous lattices

    Fixpoint games on continuous lattices by Baldan, Paolo, König, Barbara, Mika-Michalski, Christina, Padoan, Tommaso

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Model Checking a Logic for True Concurrency

    Model Checking a Logic for True Concurrency by Baldan, Paolo, Padoan, Tommaso

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms

    Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms by Baldan, Paolo, König, Barbara, Padoan, Tommaso

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Behavioural logics for configuration structures

    Behavioural logics for configuration structures by Baldan, Paolo, Gorla, Daniele, Padoan, Tommaso, Salvo, Ivano

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Characterising spectra of equivalences for event structures, logically

    Characterising spectra of equivalences for event structures, logically by Baldan, Paolo, Gorla, Daniele, Padoan, Tommaso, Salvo, Ivano

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Fixpoint Theory -- Upside Down

    Fixpoint Theory -- Upside Down by Baldan, Paolo, Eggert, Richard, König, Barbara, Padoan, Tommaso

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations

    Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations by Baldan, Paolo, König, Barbara, Padoan, Tommaso

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling

    Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling by Brusatin, Simone, Padoan, Tommaso, Coletta, Andrea, Domenico Delli Gatti, Glielmo, Aldo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    A Monoidal View on Fixpoint Checks

    A Monoidal View on Fixpoint Checks by Baldan, Paolo, Eggert, Richard, König, Barbara, Timo, Matt, Padoan, Tommaso

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A Lattice-Theoretical View of Strategy Iteration

    A Lattice-Theoretical View of Strategy Iteration by Baldan, Paolo, Eggert, Richard, König, Barbara, Padoan, Tommaso

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Fixpoint Games on Continuous Lattices

    Fixpoint Games on Continuous Lattices by Baldan, Paolo, König, Barbara, Padoan, Tommaso, Mika-Michalski, Christina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Dupilumab for refractory chronic rhinosinusitis in eosinophilic granulomatosis with polyangiitis

    Dupilumab for refractory chronic rhinosinusitis in eosinophilic granulomatosis with polyangiitis by Padoan, Roberto, Davanzo, Federica, Iorio, Luca, Saccardo, Tommaso, Roccuzzo, Giuseppe, Zampollo, Sonny, Nicolai, Piero, Doria, Andrea, Ottaviano, Giancarlo

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    MALDI-TOF peptidomic analysis of serum and post-prostatic massage urine specimens to identify prostate cancer biomarkers

    MALDI-TOF peptidomic analysis of serum and post-prostatic massage urine specimens to identify prostate cancer biomarkers by Padoan, Andrea, Basso, Daniela, Zambon, Carlo-Federico, Prayer-Galetti, Tommaso, Arrigoni, Giorgio, Bozzato, Dania, Moz, Stefania, Zattoni, Filiberto, Bellocco, Rino, Plebani, Mario

    Published in Clinical proteomics
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    A new national survey of centers for cognitive disorders and dementias in Italy

    A new national survey of centers for cognitive disorders and dementias in Italy by Bacigalupo, Ilaria, Giaquinto, Francesco, Salvi, Emanuela, Carnevale, Giulia, Vaccaro, Roberta, Matascioli, Fabio, Remoli, Giulia, Vanacore, Nicola, Lorenzini, Patrizia

    Published in Neurological sciences
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    PCA3 score of 20 could improve prostate cancer detection: Results obtained on 734 Italian individuals

    PCA3 score of 20 could improve prostate cancer detection: Results obtained on 734 Italian individuals by Capoluongo, Ettore, Zambon, Carlo Federico, Basso, Daniela, Boccia, Stefania, Rocchetti, Sandro, Leoncini, Emanuele, Palumbo, Sara, Padoan, Andrea, Albino, Giuseppe, Todaro, Angelo, Prayer-Galetti, Tommaso, Zattoni, Filiberto, Zuppi, Cecilia, Plebani, Mario

    Published in Clinica chimica acta
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: