IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 100 di 172
Titolo Data di pubblicazione Autore(i) File
Rank-Based Symbolic Bisimulation (and Model Checking) 1-gen-2002 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior 1-gen-2002 M., Antoniotti; B., Mishra; Policriti, Alberto; N., Ugel
Alternative Translation Techniques for Propositional and First-Order Modal Logics 1-gen-2002 Montanari, Angelo; Policriti, Alberto; Slanina, M.
Model building and model checking for biochemical processes 1-gen-2003 M., Antoniotti; Policriti, Alberto; N., Ugel; B., Mishra
Foundations of a query and simulation system for the modeling of biochemical and biological processes 1-gen-2003 M., Antoniotti; B., Mishra; F., Park; Policriti, Alberto; N., Ugel
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 1-gen-2003 Mishra, Bud; Daruwala, Raoul Sam; Zhou, Yi; Ugel, Nadia; Policriti, Alberto; Antoniotti, Marco; Paxia, Salvatore; Rejali, Marc; Rudra, Archisman; Cherepinsky, Vera; Silver, Naomi; Casey, William; Piazza, Carla; Simeoni, Marta; Barbano, Paolo; Spivak, Marina; Feng, Jiawu; Gill, Ofer; Venkatesh, Mysore; Cheng, Fang; Sun, Bing; Ioniata, Iuliana; Anantharaman, Thomas; Hubbard, E. Jane Albert; Pnueli, Amir; Harel, David; Chandru, Vijay; Hariharan, Ramesh; Wigler, Michael; Park, Frank; Lin, Shih Chieh; Lazebnik, Yuri; Winkler, Franz; Cantor, Charles R; Carbone, Alessandra; Gromov, Mikhael
Computing strongly connected components in a linear number of symbolic steps 1-gen-2003 Gentilini, R; Piazza, Carla; Policriti, Alberto
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 1-gen-2003 Antoniotti, M.; Mishra, B.; Piazza, Carla; Policriti, Alberto; Simeoni, M.
From Bisimulation to Simulation: Coarsest Partition Problems 1-gen-2003 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 1-gen-2004 Antoniotti, M.; Piazza, Carla; Policriti, Alberto; Simeoni, M.; Mishra, B.
Three-variable statements of set-pairing 1-gen-2004 Formisano, A.; Omodeo, E.; Policriti, Alberto
Improving reachability analysis of hybrid automata for engine control 1-gen-2004 Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A
Ackermann Encodings, Bisimulations, and OBDDs 1-gen-2004 Policriti, Alberto; Piazza, Carla
Structured Motifs Search 1-gen-2004 Morgante, Michele; Policriti, Alberto; Vitacolonna, Nicola; Zuccolo, Andrea
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Structured motifs search 1-gen-2005 Morgante, Michele; Policriti, Alberto; Vitacolonna, Nicola; Zuccolo, Andrea
The axiom of elementary sets on the edge of Peircean expressibility 1-gen-2005 Formisano, A.; Omodeo, E.; Policriti, Alberto
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 1-gen-2005 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures 1-gen-2005 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Finding regulatory elements fixing error layouts 1-gen-2006 Zantoni, M.; Dalla, E.; Policriti, Alberto; Schneider, C.
Views on Time in Systems Biology 1-gen-2006 Formisano, A; Omodeo, E; Policriti, Alberto
Connecting process algebras and differential equations for Systems Biology 1-gen-2006 Bortolussi, L; Policriti, Alberto
Extensions of S1S and the composition method 1-gen-2006 D'Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 1-gen-2006 Bortolussi, L; Policriti, Alberto
BuST: Bundled Suffix Trees 1-gen-2006 L., Bortolussi; F., Fabris; Policriti, Alberto
Stem-loop structure search for helitron discovery 1-gen-2006 S., Scalabrin; Morgante, Michele; Policriti, Alberto
A Computerized Referee 1-gen-2006 EUGENIO G., Omodeo; Domenico, Cantone; Policriti, Alberto; AND SCHWARTZ JACOB, T.
Motif discovery fixing mismatch positions 1-gen-2007 Zantoni, M; Dalla, E; Policriti, Alberto; Schneider, Claudio
Module Identification Using Biological Constraints 1-gen-2007 DE MARIA, Elisabetta; Dovier, Agostino; Policriti, Alberto; Zantoni, Marco
Stochastic concurrent constraint programming and differential equations 1-gen-2007 L., Bortolussi; Policriti, Alberto
On Devising Algorithms for Ehrenfeucht-Fraïssé Games 1-gen-2007 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla 1-gen-2007 Jaillon, O; Aury, J. M.; Noel, B; Policriti, Alberto; Clepet, C; Casagrande, A; Choisne, N; Aubourg, S; Vitulo, N; Jubin, C; Vezzi, A; Legeai, F; Hugueney, P; Dasilva, C; Horner, D; Mica, E; Jublot, D; Poulain, J; Bruyère, C; Billault, A; Segurens, B; Gouyvenoux, M; Ugarte, E; Cattonaro, F; Anthouard, V; Vico, V; DEL FABBRO, Cristian; Alaux, M; DI GASPERO, Gabriele; Dumas, V; Felice, N; Paillard, S; Juman, I; Moroldo, M; Scalabrin, S; Canaguier, A; LE CLAINCHE, I; Malacrida, G; Durand, E; Pesole, G; Laucou, V; Chatelet, P; Merdinoglu, D; Delledonne, M; Pezzotti, M; Lecharny, A; Scarpelli, C; Artiguenave, F; Pè, Me; Valle, G; Morgante, Michele; Caboche, M; ADAM BLONDON, A. F.; Weissenbach, J; Quétier, F; Wincker, P.
The importance of being (a little bit) discrete 1-gen-2008 L., Bortolussi; Policriti, Alberto
Modeling Biological Systems in Stochastic Concurrent Constraint Programming 1-gen-2008 L., Bortolussi; Policriti, Alberto
Hybrid semantics for stochastic pi-calculus 1-gen-2008 L., Bortolussi; Policriti, Alberto
Discreteness, hybrid automata, and biology 1-gen-2008 Casagrande, A; Piazza, Carla; Policriti, Alberto
Hybrid systems and biology. continuous and discrete modeling for systems biology 1-gen-2008 Bortolussi, L; Policriti, Alberto
Systems Biology: Models and Logics 1-gen-2008 Piazza, Carla; Policriti, Alberto
Hybrid approximation of stochastic process algebras for systems biology 1-gen-2008 L., Bortolussi; Policriti, Alberto
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 1-gen-2008 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Inclusion dynamics hybrid automata 1-gen-2008 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud
A complete axiomatic system for a process-based spatial logic 1-gen-2008 R., Mardare; Policriti, Alberto
TEA: a Transposable Elements Annotator 1-gen-2009 DEL FABBRO, Cristian; Policriti, Alberto; Vitacolonna, Nicola
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies 1-gen-2009 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola
Hybrid dynamics of stochastic pi-calculus 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
The Importance of Being (A Little Bit) Discrete 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
High throughput approaches reveal splicing of primary microrna transcripts and tissue specific expression of mature micrornas in vitis vinifera 1-gen-2009 Erica, Mica; Viviana, Piccolo; Massimo, Delledonne; Alberto, Ferrarini; Mario, Pezzotti; Cesare, Casati; DEL FABBRO, Cristian; Giorgio, Valle; Policriti, Alberto; Morgante, Michele; Graziano, Pesole; M., ENRICO PE; DAVID S., Horner
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
Discrete Semantics for Hybrid Automata 1-gen-2009 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto
Stochastic Programs and Hybrid Automata for (Biological) Modeling 1-gen-2009 Luca, Bortolussi; Policriti, Alberto
Mostrati risultati da 51 a 100 di 172
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile