484 results

    2014

  • Invited Presentation O. Kahramanogullari,

    A theory of model equivalence based on stochastic simulation fluxes,

    2014-7-13:
    pdf pdf


  • Invited Presentation R. Lombardo,

    Visual Modeling of Biological Systems,

    2014-6-6:

  • Invited Presentation C. Priami,

    A novel approach to systems pharmacology,

    2014-6-1:

  • Invited Presentation C. Priami,

    Simulation-based systems biology,

    2014-6-1:

  • Invited Presentation M. Scotti,

    Workshop - Algorithms for ecological network analysis ,

    2014-3-12:

  • Invited Presentation M. Scotti,

    The use of food web analysis for estimating the functional importance of species,

    2014-3-11:

  • Invited Presentation F. Jordan,

    Structural balance in marmot groups,

    2014-3-7:

  • Invited Presentation F. Jordan,

    Social networks,

    2014-2-3:

  • Invited Presentation C. Priami,

    Systems biology: a molecular nutrition perspective,

    2014-2-1:

  • Invited Presentation F. Jordan,

    Key species and key interactions in food web simulations,

    2014-1-13:

  • 2013

  • Invited Presentation F. Jordan,

    Key players in ecological networks,

    2013-11-14:

  • Invited Presentation F. Jordan,

    Food web simulations: stochastic variability and systems-based conservation,

    2013-11-13:

  • Invited Presentation M. Scotti,

    Social and landscape effects on food webs: a multi-level network simulation model,

    2013-11-13:

  • Invited Presentation M. Scotti,

    Intraspecific trait variation and food webs,

    2013-11-13:

  • Invited Presentation C. Priami,

    Network dynamics: from data to behavior,

    2013-10-31:

  • Invited Presentation C. Priami,

    Rank based signatures and clustering techniques,

    2013-10-31:

  • presentation talks S. Lacroix,

    A single mediterranean-type meal does not impair flow-mediated dilatation in comparison to a high- saturated fat meal in healthy men with high-normal fasting triglyceridemia.,

    2013-10-19:

  • Invited Presentation F. Jordan,

    Comparative social network analysis and ecology,

    2013-10-9:

  • Invited Presentation L. Marchetti,

    The MP theory Java Library: a complete framework for modeling observed dynamics by means of MP systems,

    2013-10-3:

  • Invited Presentation C. Priami,

    EGFR activation modeling,

    2013-9-30:

  • Invited Presentation M. Scotti,

    Network science as the key for understanding complex problems at different spatial scales,

    2013-9-18:

  • Invited Presentation F. Jordan,

    From systems ecology to sustainable fisheries,

    2013-9-17:

  • Invited Presentation M. Scotti,

    Not only panda: the importance of species in ecosystems,

    2013-7-28:
    pdf pdf


  • Invited Presentation F. Jordan,

    Systems ecology: from graph theory to sustainable marine fisheries,

    2013-6-25:

  • Invited Presentation P. Praveen,

    Integrative Modeling for Systems Biology: Understanding from multiple data set and knowledge.,

    2013-6-11:

  • Invited Presentation F. Jordan,

    Computing human impact in a tropical river: a food web simulation study,

    2013-5-7:

  • Invited Presentation P. Praveen,

    From experiments to pathway and back: Reverse engineering approach.,

    2013-4-23:

  • Invited Presentation L. Marchetti,

    Application of MP theory for discovering biological models,

    2013-4-22:

  • Invited Presentation C. Priami,

    Dynamic simulation of Biological Systems.,

    2013-2-28:

  • Invited Presentation C. Priami,

    Network identification, analysis and simulation,

    2013-2-28:

  • Invited Presentation C. Priami,

    Bioinformatics at COSBI,

    2013-2-28:

  • Invited Presentation F. Jordan,

    Structural analysis of the apple orchard ecosystem model,

    2013-2-13:

  • Invited Presentation C. Priami,

    A molecular nutrition perspective,

    2013-1-31:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology: from omics data set to mechanistic models,

    2013-1-31:

  • Invited Presentation C. Priami,

    Service-oriented data aggregation, analytics and interactive visualization,

    2013-1-31:

  • Invited Presentation C. Priami,

    Computational and Systems Biology at COSBI,

    2013-1-31:

  • presentation talks D. Nikolic,

    Constraint-Based Static Analyses of Java bytecode Programs,

    2013-1-23:
    pdf pdf


  • Invited Presentation F. Jordan,

    The systems context of stress in social networks,

    2013-1-16:

  • 2012

  • Invited Presentation F. Jordan,

    From sustainable fisheries to the emergence of leadership: applying network analysis in biology ,

    2012-12-14:

  • Invited Presentation P. Praveen,

    Constructing informative prior from multiple knowledge sources to improve network inference.,

    2012-12-6:

  • Invited Presentation M. Scotti,

    Novel approaches for understanding the functional role of species in ecosystems,

    2012-11-12:
    pdf pdf


  • Invited Presentation C. Priami,

    Computational Systems Thinking,

    2012-11-5:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology: from omics data set to mechanistic models,

    2012-10-19:

  • Invited Presentation P. Praveen,

    Boosting Statistical Network Inference by Incorporating Prior Knowledge from Multiple Sources,

    2012-10-8:

  • Invited Presentation C. Priami,

    Mastering complexity of biological systems through network modularization,

    2012-10-5:

  • Invited Presentation M. Lauria,

    Rank-based diagnostic biomarkers,

    2012-10-3:
    pdf pdf


  • Invited Presentation C. Priami,

    Computing as Enabling Technology for Systems Biology,

    2012-9-29:

  • Invited Presentation C. Priami,

    Algorithmic Systems Ecology,

    2012-9-28:

  • presentation talks D. Nikolic,

    Definite Expression Aliasing Analysis for Java Bytecode,

    2012-9-25:

  • Invited Presentation S. Muppirisetty,

    Ex-vivo and in-silico study of p53 Transactivation Dynamics in Budding Yeast,

    2012-9-20:

  • presentation talks M. Scotti,

    Responsiveness of vitamin-related protein interaction networks to vitamin intake,

    2012-8-31:

  • Invited Presentation L. Marchetti,

    Application of the MP theory to model signaling circuits from gene expression data,

    2012-8-29:

  • presentation talks M. Morine,

    Genotype patterns predict plasma metabolite response to whole food dietary intervention,

    2012-8-27:

  • Invited Presentation F. Jordan,

    Simulating human effects in food webs,

    2012-8-2:

  • Invited Presentation F. Jordan,

    Network analyis in conservation biology workshop,

    2012-8-1:

  • Invited Presentation M. Morine,

    High-throughput analysis of nutritional heath,

    2012-7-26:

  • presentation talks D. Nikolic,

    Strong Preservation by Model Deformation,

    2012-7-4:

  • Invited Presentation A. Csikasz-Nagy,

    Reconstructing the molecular networks that control cellular polarity,

    2012-7-3:

  • presentation talks D. Nikolic,

    Reachability Analysis of Program Variables,

    2012-6-30:

  • presentation talks M. Scott-Boyer,

    Genomics of gene expression to elucidate the determinants of cardiac complex quantitative traits.,

    2012-6-15:

  • Invited Presentation A. Csikasz-Nagy,

    Circadian Rhythms in Neurospora crassa in-Silico and in-Vivo,

    2012-5-23:

  • Invited Presentation F. Jordan,

    Network analysis,

    2012-5-1:

  • Invited Presentation F. Jordan,

    Simulting ecodynamics in food webs,

    2012-4-3:

  • Invited Presentation F. Jordan,

    Simulting ecodynamics in food webs,

    2012-4-2:

  • Invited Presentation F. Jordan,

    Simulting ecodynamics in food webs,

    2012-4-1:

  • Invited Presentation C. Priami,

    Algorithmic systems biology: mastering the complexity of biosystems without math and computing background,

    2012-3-20:

  • Invited Presentation M. Morine,

    Multivariate and network analysis in molecular nutrition,

    2012-3-20:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology: Mastering Complexity of BioSystems (keynote),

    2012-3-5:

  • presentation talks D. Nikolic,

    Automaton-based Array Initialization Analysis,

    2012-3-5:

  • Invited Presentation F. Jordan,

    Food web dynamical simulations,

    2012-3-1:

  • Invited Presentation C. Priami,

    Mastering Complexity of Biosystems without Math and Computing Background,

    2012-2-22:

  • Invited Presentation C. Priami,

    Mastering Complexity of Biosystems without Math and Computing Background,

    2012-2-20:

  • Invited Presentation F. Jordan,

    Comparative social network analyis,

    2012-2-1:

  • Invited Presentation D. Nikolic,

    Program slicing and verification,

    2012-1-25:

  • 2011

  • Invited Presentation F. Jordan,

    Quantifying important species: a systems perspective,

    2011-11-28:

  • presentation talks D. Nikolic,

    Constraint-based Static Analysis,

    2011-11-25:

  • Invited Presentation C. Priami,

    Algorithmic systems biology,

    2011-11-21:

  • Invited Presentation M. Scotti,

    Molecular nutrition at COSBI: network analysis and stochastic simulation,

    2011-11-16:
    pdf pdf


  • Invited Presentation C. Priami,

    Algorithmic Modeling ,

    2011-11-15:

  • Invited Presentation M. Morine,

    Molecular nutrition at COSBI: network analysis and stochastic simulation,

    2011-11-15:
    pdf pdf


  • Invited Presentation A. Matone,

    Italian Society for Organ Transplantation, 35th National Congress; Abstract presented: “Modeling Rejection Immunity”,

    2011-10-27:

  • Invited Presentation P. Lecca,

    Spatial pharmacokinetic-toxicokinetic modelling,

    2011-10-14:

  • presentation talks M. Scotti,

    The spread of dynamical effects through weighted trophic interactions: the case of Prince William Sound food web,

    2011-10-5:

  • Invited Presentation C. Priami,

    Usability of software services as a key enabler of modeling penetration in bio- based sciences,

    2011-10-4:

  • presentation talks F. Jordan,

    Key species in food web dynamics: perspectives for systems-based conservation,

    2011-10-3:

  • presentation talks I. Mura,

    Modeling signaling transduction mediated by the tyrosine-kinase receptors ,

    2011-9-28:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamic networks of cooperators and defectors - implications to cancer?,

    2011-9-27:

  • presentation talks A. Csikasz-Nagy,

    Cell cycle network dynamics,

    2011-9-27:

  • Invited Presentation C. Priami,

    Programming-based systems biology ,

    2011-9-25:
    pdf pdf


  • presentation talks F. Jordan,

    Keystone dynamics in networks: perspectives for systems-based conservation,

    2011-9-25:

  • Invited Presentation A. Csikasz-Nagy,

    Feedback and feed-forward controls of cell cycle transitions ,

    2011-9-17:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of cell cycle transitions,

    2011-9-15:

  • presentation talks P. Lecca,

    Calibration of process algebra models of discretely observed stochastic biochemical systems,

    2011-9-12:

  • Invited Presentation F. Jordan,

    Part to whole relationships in biological networks,

    2011-7-2:

  • presentation talks A. Csikasz-Nagy,

    Cell signaling network unit dynamics,

    2011-7-2:

  • presentation talks A. Csikasz-Nagy,

    Finding key regulators of fission yeast polarized growth by network analysis,

    2011-6-28:

  • Invited Presentation O. Kahramanogullari,

    An algorithmic model of gemcitabine mechanisms of action ,

    2011-6-17:

  • presentation talks M. Scotti,

    Role of weak and strong trophic interactions in food webs,

    2011-6-8:

  • presentation talks A. Csikasz-Nagy,

    The Rise and Fall of Cooperative Networks: Cooperation is most productive when unstable,

    2011-6-6:

  • Invited Presentation N. Gjata ,

    Sensitivity analysis of a stochastic food web simulation model: the Kelian river, Borneo,

    2011-6-1:

  • presentation talks O. Kahramanogullari,

    Tutorial: COSBILAB LIME: a language interface for stochastic dynamical modelling in ecology ,

    2011-6-1:

  • presentation talks M. Scotti,

    Predicting secondary extinctions in weighted food webs,

    2011-6-1:

  • Invited Presentation D. Nikolic,

    Abstract-interpretation in Model Checking,

    2011-5-27:

  • Invited Presentation A. Csikasz-Nagy,

    Cell cycle, modelling and beyond,

    2011-5-26:

  • presentation talks D. Nikolic,

    Introduction to Model Checking,

    2011-5-26:

  • Invited Presentation A. Csikasz-Nagy,

    Transcriptional and post-translational feedback and feed-forward regulations of cell cycle transitions,

    2011-4-29:

  • presentation talks D. Nikolic,

    From program verification to program synthesis,

    2011-4-13:

  • Invited Presentation C. Priami,

    Algorithmic Modeling,

    2011-4-12:
    pdf pdf


  • Invited Presentation M. Lauria,

    Network Inference ,

    2011-4-12:
    pdf pdf


  • Invited Presentation M. Scotti,

    Network Analysis,

    2011-4-12:
    pdf pdf


  • Invited Presentation P. Nguyen,

    Data Integration and Analysis ,

    2011-4-12:
    pdf pdf


  • presentation talks I. Mura,

    Elementary, or not?,

    2011-4-12:

  • Invited Presentation O. Kahramanogullari,

    Modelling and estimating dynamics of tumor shrinkage with BlenX and KInfer ,

    2011-3-31:

  • Invited Presentation C. Priami,

    Using Algorithmic Systems Biology to Further the Development of Companion Diagnostics,

    2011-3-16:
    pdf pdf


  • presentation talks P. Nguyen,

    Detecting Crosstalk Modules of Combined Networks: the Case for the NF-kB and p53,

    2011-2-27:

  • Invited Presentation F. Jordan,

    Key nodes in networks: positions and roles, structure and function,

    2011-2-23:

  • presentation talks D. Nikolic,

    Controlled Model Deformation,

    2011-2-3:

  • Invited Presentation F. Jordan,

    Biological networks: linking the parts to the whole,

    2011-2-2:

  • 2010

  • presentation talks S. Sedwards,

    Noise and Variation in Biological Models,

    2010-12-4:
    pdf pdf


  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of cell signaling network units,

    2010-12-2:

  • Invited Presentation P. Lecca,

    Diffusion in biological systems,

    2010-11-19:

  • presentation talks D. Nikolic,

    Controlled Model Deformation,

    2010-11-10:

  • Invited Presentation F. Jordan,

    Networks,

    2010-10-17:

  • Invited Presentation C. Priami,

    COSBILab: Enabling simulation based science,

    2010-10-13:
    pdf pdf


  • presentation talks T. Mazza,

    Predicting the effects of parameters changes in stochastic models through parallel synthetic experiments and multivariate analysis,

    2010-10-1:

  • presentation talks O. Kahramanogullari,

    Compositional stochastic modelling of dynamical ecosystems,

    2010-9-30:

  • presentation talks M. Scotti,

    Patterns of weak and strong interactions in food webs,

    2010-9-28:

  • Invited Presentation F. Jordan,

    Quantifying key elements of landscape graphs: matching available tools to diverse problems,

    2010-9-22:

  • Invited Presentation M. Scotti,

    Algorithmic systems biology propels nutrigenomics,

    2010-9-16:

  • Invited Presentation C. Priami,

    COSBI: a case study,

    2010-9-14:
    pdf pdf


  • Invited Presentation D. Prandi,

    Particle Swarm Optimization for Stochastic Process Calculi,

    2010-9-6:

  • Invited Presentation A. Csikasz-Nagy,

    Interaction dependent network dynamics,

    2010-8-27:

  • presentation talks P. Lecca,

    Redi: a simulator of stochastic biochemical reaction-diffusion systems ,

    2010-8-25:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2010-8-1:

  • presentation talks F. Jordan,

    SNA methods in conservation biology: an overview,

    2010-7-1:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2010-6-24:
    pdf pdf


  • Invited Presentation F. Jordan,

    Diversity and adaptability in ecological networks,

    2010-6-23:

  • Invited Presentation C. Priami,

    Algorithmic modelling of complex systems,

    2010-6-17:
    pdf pdf


  • Invited Presentation M. Scotti,

    Link density and secondary extinctions in weighted food webs,

    2010-5-28:

  • Invited Presentation M. Scotti,

    Exposure and domination in the European natural gas pipeline network,

    2010-5-28:

  • Invited Presentation M. Scotti,

    From food webs to nutrition (via natural gas pipes),

    2010-4-23:

  • presentation talks J. Zamborszky,

    BlenX-based compositional modeling of complex reaction mechanisms,

    2010-3-27:

  • Invited Presentation A. Ihekwaba,

    Viewing the NF-kappaB landscape with new eyes: a computational and experimental perspective,

    2010-3-23:

  • Invited Presentation R. Larcher,

    Statical analysis of biological systems,

    2010-2-19:
    pdf pdf


  • Invited Presentation F. Jordan,

    Key nodes in networks: topology and function,

    2010-2-16:

  • presentation talks I. Mura,

    Role ofmRNA Gestation and Senescence in Noise Reduction during the Cell Cycle,

    2010-2-11:
    pdf pdf


  • Invited Presentation F. Jordan,

    Key nodes in networks: structure predicting function?,

    2010-2-10:

  • Invited Presentation M. Scotti,

    Secondary extinctions in food webs,

    2010-2-10:

  • Invited Presentation A. Csikasz-Nagy,

    Challenges for computational systems biology,

    2010-2-10:

  • Invited Presentation F. Jordan,

    Keystone species in stochastic dynamical ecosystem simulations,

    2010-2-4:

  • Invited Presentation F. Jordan,

    Setting priorities: quantifying the importance of species,

    2010-1-28:

  • presentation talks A. Palmisano,

    Coding biological systems in a stochastic framework: the case study of budding yeast cell cycle,

    2010-1-23:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of Cell Cycle Transitions: Computational Models,

    2010-1-21:

  • Invited Presentation D. Nikolic,

    Different Techniques of Program Slicing,

    2010-1-21:

  • 2009

  • Invited Presentation F. Jordan,

    Identifying keystone species in ecosystems by stochastic sensitivity analysis of interactions networks,

    2009-12-17:

  • Invited Presentation O. Kahramanogullari,

    Processes of Biology,

    2009-12-14:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2009-12-9:

  • presentation talks M. Scotti,

    The unexpected link: using network science to tackle complex problems,

    2009-12-8:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of Cell Cycle Transitions,

    2009-12-4:

  • Invited Presentation A. Palmisano,

    Methodologies and tools supporting the modelling workflow of biological systems,

    2009-11-26:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of Cell Cycle Transitions,

    2009-11-25:

  • Invited Presentation F. Jordan,

    Networks in ecology,

    2009-11-24:

  • Invited Presentation A. Csikasz-Nagy,

    Role of protein removal in signaling,

    2009-11-4:

  • Invited Presentation D. Prandi,

    Taming the complexity of biological pathways through parallel computing,

    2009-10-28:

  • presentation talks S. Sedwards,

    Games with Biology,

    2009-10-28:
    pdf pdf


  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2009-10-24:

  • Invited Presentation F. Jordan,

    Indirect relationships in complex biological networks,

    2009-10-16:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of Cell Cycle Transitions Dynamics of Cell Cycle Transitions,

    2009-10-9:

  • Invited Presentation A. Romanel,

    Informatica per una nuova biologia ,

    2009-10-8:

  • presentation talks F. Jordan,

    BlenX4Eco: a stochastic approach to identifying keystone species,

    2009-10-7:

  • Invited Presentation D. Prandi,

    Collaborazioni attivate con le Piattaforme Nobel e nuove opportunità in ambito locale,

    2009-9-25:

  • presentation talks M. Scotti,

    Effects of diet shift on secondary extinctions in food webs,

    2009-9-18:

  • Invited Presentation C. Priami,

    BlenX and BlenX4Bio: propelling algorithmic systems biology,

    2009-9-1:

  • presentation talks A. Romanel,

    Towards a process calculi approach to study the evolution of biological networks,

    2009-8-27:

  • Invited Presentation R. Mardare,

    Identity-Bisimulation-Robustness and Natural Systems,

    2009-8-26:

  • Invited Presentation A. Ihekwaba,

    Understanding the NF-kappaB,

    2009-8-4:

  • Invited Presentation P. Quaglia,

    Computational Systems Biology,

    2009-7-30:

  • Invited Presentation F. Jordan,

    Centrality in ecological and social networks,

    2009-7-21:

  • presentation talks F. Jordan,

    Games generating networks,

    2009-7-3:

  • presentation talks D. Nikolic,

    Abstract Interpretation-based Framework for Program Slicing,

    2009-7-3:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of Cell Cycle Transitions: Role of Feedback and Feed-Forward Loops in Ensuring Proper Timing and Irreversibility in the Initiation of Cell Cycle Events,

    2009-6-24:

  • Invited Presentation P. Ballarini,

    Taming the complexity of biological pathways through parallel computing,

    2009-6-22:

  • Invited Presentation G. Iaccarino,

    Fastest Parallel Molecular Algorithms for the Elliptic Curve Discrete Logarithm Problem over GF(2n),

    2009-6-19:

  • Invited Presentation A. Romanel,

    Analyzing various models of Circadian Clock and Cell Cycle coupling,

    2009-6-16:

  • Invited Presentation F. Jordan,

    Central nodes and key roles in social and ecological systems,

    2009-6-13:

  • Invited Presentation I. Mura,

    CoSBiLab: a software framework to support incremental modeling ,

    2009-6-11:
    pdf pdf


  • Invited Presentation A. Csikasz-Nagy,

    Simulating non average behavior of budding yeast cells and checking irreversibility of cell cycle transitions,

    2009-6-7:

  • Invited Presentation F. Jordan,

    Key nodes in various networks: likely targets or the key to safety?,

    2009-6-4:

  • presentation talks O. Kahramanogullari,

    Processes of Biology,

    2009-6-4:

  • Invited Presentation M. Forlin,

    A Model-based Evolutionary Approach to High Dimensional Experimentation,

    2009-6-1:

  • Invited Presentation P. Quaglia,

    Modelling and Simulating Biochemical Systems,

    2009-5-6:

  • presentation talks I. Mura,

    Quantitative Analysis of Biological Systems,

    2009-5-4:
    pdf pdf


  • Invited Presentation A. Ihekwaba,

    Systems Biology of Signalling systems,

    2009-4-30:

  • presentation talks I. Mura,

    Statistical analysis of simulation output,

    2009-4-29:
    pdf pdf


  • Invited Presentation A. Csikasz-Nagy,

    Cell cycle modeling,

    2009-4-27:

  • presentation talks P. Lecca,

    On the mathematical structure and algorithmic implementation of biochemical network models,

    2009-4-26:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of cell cycle transitions,

    2009-4-22:

  • Invited Presentation D. Prandi,

    Exploiting non-Markovian Bio-Processes within BlenX,

    2009-4-21:

  • presentation talks I. Mura,

    Petri Nets - with applications to the modeling of biological systems ,

    2009-4-2:
    pdf pdf


  • Invited Presentation T. Mazza,

    A parallel perspective of the dynamics of biological reactive systems,

    2009-4-1:
    pdf pdf


  • presentation talks O. Kahramanogullari,

    An Intuitive Automated Modelling Interface for Systems Biology,

    2009-4-1:

  • presentation talks A. Palmisano,

    KInfer and BetaWB: tools for supporting the modeling workflow of Biological Systems,

    2009-3-31:
    pdf pdf


  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2009-3-30:

  • Invited Presentation A. Csikasz-Nagy,

    Models of SIN and other pathways in fission yeast,

    2009-3-30:

  • presentation talks D. Prandi,

    Exploiting non-Markovian bio-Processes ,

    2009-3-29:

  • Invited Presentation P. Quaglia,

    Quantitative analysis: applications to biological systems,

    2009-3-28:

  • Invited Presentation T. Mazza,

    Standards (languages for systems biology),

    2009-3-27:
    pdf pdf


  • presentation talks A. Csikasz-Nagy,

    Dynamic Spatial Games of normal and tumor cells,

    2009-3-26:

  • presentation talks I. Mura,

    A software framework to support incremental modeling ,

    2009-3-26:
    pdf pdf


  • Invited Presentation A. Ihekwaba,

    A Framework study of the NF-kB signalling pathway,

    2009-3-25:

  • presentation talks P. Lecca,

    Deducing chemical reaction rate constants and their regions of con dence from noisy measurements of time series of concentration,

    2009-3-25:

  • Invited Presentation O. Kahramanogullari,

    An Intuitive Automated Modelling Interface for Systems Biology,

    2009-3-25:

  • Invited Presentation P. Lecca,

    On the deduction of chemical reaction rate constants from measurements of time series of concentration,

    2009-3-24:
    pdf pdf


  • presentation talks J. Zamborszky,

    Computational analysis of effects of DNA damage response on circadian rhythms,

    2009-3-11:

  • presentation talks M. Scotti,

    WAND: an ecological network analysis user- friendly tool,

    2009-3-11:

  • Invited Presentation L. Dematté,

    Visual systems biology: design, understand, organize,

    2009-3-10:
    pdf pdf


  • presentation talks A. Palmisano,

    A new probabilistic generative model of parameter inference in biochemical etworks,

    2009-3-10:
    pdf pdf


  • Invited Presentation F. Jordan,

    Centrality and vulnerability in interaction networks,

    2009-3-6:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of cell cycle transitions,

    2009-3-4:

  • Invited Presentation A. Csikasz-Nagy,

    Introduction to cell cycle modeling,

    2009-3-3:

  • Invited Presentation A. Romanel,

    Analyzing various models of Circadian Clock and Cell Cycle coupling,

    2009-2-26:

  • Invited Presentation F. Ciocchetta,

    Modelling NF-kB pathway in Bio-PEPA,

    2009-2-26:

  • Invited Presentation F. Ciocchetta,

    Bio-PEPA: a framework for the modelling and analysis of biological systems,

    2009-2-22:

  • presentation talks M. Scotti,

    Trophic structure and whole system indices in weighted networks,

    2009-2-18:

  • Invited Presentation P. Ballarini,

    On Query-based Verification of Biological Systems,

    2009-2-10:
    pdf pdf


  • Invited Presentation F. Jordan,

    Central nodes and key roles in networks,

    2009-1-30:

  • Invited Presentation I. Mura,

    From computer science to systems biology and vice-versa: New modeling challenges, approaches and tools.,

    2009-1-28:
    pdf pdf


  • presentation talks M. Scotti,

    Ecosystem Network Analysis to detect structure and functioning of food webs,

    2009-1-26:

  • Invited Presentation R. Larcher,

    BlenX, a language based approach for modelling biological systems,

    2009-1-21:

  • 2008

  • presentation talks M. Scotti,

    Playing with networks: FoodWeb3D and the web visualization,

    2008-12-17:

  • presentation talks H. Kuwahara,

    An Abstraction for Quantitatively Capturing Stochastic Bistable Oscillations in Enzymatic Futile Cycle,

    2008-12-5:

  • presentation talks A. Romanel,

    The Spider Calculus: Computing in Active Graphs
    (with Benjamin C. Pierce),

    2008-11-21:

  • Invited Presentation R. Mardare,

    Robustness in Natural and Computational Systems,

    2008-11-20:

  • Invited Presentation I. Mura,

    Exactness and approximation of the stochastic simulation algorithm ,

    2008-11-19:
    pdf pdf


  • Invited Presentation R. Mardare,

    Colonies of Synchronizing Agents. Computability and Robustness,

    2008-11-18:

  • presentation talks O. Kahramanogullari,

    Deep Inference and its Applications,

    2008-10-30:

  • presentation talks P. Lecca,

    Dynamics of reaction-diffusion systems in non-homogeneous media,

    2008-10-29:
    pdf pdf


  • Invited Presentation A. Ihekwaba,

    Life or Death: the dilemma facing NF-kappaB,

    2008-10-29:

  • Invited Presentation A. Ihekwaba,

    Disentangling the NF-kappaB Complexities,

    2008-10-21:

  • Invited Presentation I. Mura,

    Computational Approaches for Systems Biology,

    2008-10-20:
    pdf pdf


  • Invited Presentation C. Priami,

    Computer Science and Systems Biology: A Cross Road,

    2008-10-17:

  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2008-10-12:
    pdf pdf


  • presentation talks A. Romanel,

    BlenX: A Programming Language for Systems Biology ,

    2008-10-3:
    pdf pdf


  • Invited Presentation S. Sedwards,

    Flows and Switches: Biology as Computation ,

    2008-9-23:
    pdf pdf


  • Invited Presentation C. Priami,

    The BlenX programming language: A Biology Encoder,

    2008-9-23:
    pdf pdf


  • presentation talks A. Palmisano,

    Studying irreversible transitions in a model of cell cycle regulation,

    2008-9-23:
    pdf pdf


  • presentation talks P. Lecca,

    KInfer: a software tool for parameter inference in models of biochemical networks,

    2008-9-19:
    pdf pdf


  • Invited Presentation C. Priami,

    Interaction in computer and biological networks,

    2008-9-18:

  • presentation talks P. Ballarini,

    Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains,

    2008-9-16:
    pdf pdf


  • presentation talks T. Mazza,

    Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins,

    2008-9-3:
    pdf pdf


  • presentation talks A. Csikasz-Nagy,

    Feed-forward loops in cell cycle regulation,

    2008-9-3:

  • presentation talks R. Mardare,

    A Complete Axiomatic System for Process-based Spatial Logic,

    2008-8-27:
    pdf pdf


  • presentation talks J. Zamborszky,

    Computational analysis of effects of DNA damage response on circadian rhythms,

    2008-8-25:

  • Invited Presentation A. Csikasz-Nagy,

    Challenges for Computational Systems Biology,

    2008-8-23:
    pdf pdf


  • Invited Presentation I. Mura,

    Challenges for Computational Systems Biology,

    2008-8-23:
    pdf pdf


  • Invited Presentation R. Mardare,

    BioLogics. Biomolecular information in logical form,

    2008-8-5:
    pdf pdf


  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2008-7-22:
    pdf pdf


  • Invited Presentation C. Priami,

    Algorithmic Systems Biology: a programming language approach,

    2008-7-16:

  • presentation talks O. Kahramanogullari,

    Ingredients of a Deep Inference Theorem Prover,

    2008-7-13:

  • presentation talks P. Lecca,

    Modeling and estimation of cellular mechanisms of cerebral glucose metabolism from dynamic Positron Emission Tomography scans,

    2008-7-12:
    pdf pdf


  • presentation talks R. Mardare,

    Analysing Biochemical Oscillation through Probabilistic Model Checking,

    2008-7-12:
    pdf pdf


  • presentation talks P. Ballarini,

    Analysing Biochemical Oscillation through Probabilistic Model Checking.,

    2008-7-12:
    pdf pdf


  • presentation talks A. Palmisano,

    Identification of rate coefficients in dynamic models of biochemical systems,

    2008-6-30:
    pdf pdf


  • presentation talks A. Csikasz-Nagy,

    Feed-forward loops in cell cycle regulation,

    2008-6-30:
    pdf pdf


  • presentation talks P. Lecca,

    Estimating the kinetics of Na+ and Ca2+ waves in astrocytes,

    2008-6-30:
    pdf pdf


  • Invited Presentation M. Cavaliere,

    Computing by Observing,

    2008-6-20:
    pdf pdf


  • Invited Presentation C. Priami,

    Algorithmic Systems Biology,

    2008-6-20:

  • Invited Presentation F. Ciocchetta,

    Bio-PEPA: a framework for the modelling and analysis of biological systems,

    2008-6-13:

  • Invited Presentation C. Priami,

    BetaWorkbench: an innovative framework for systems modeling, simulation and analysis,

    2008-6-10:

  • Invited Presentation A. Csikasz-Nagy,

    Dynamics of cell cycle regulatory networks,

    2008-6-10:
    pdf pdf


  • Invited Presentation A. Csikasz-Nagy,

    Introduction to molecular network dynamics,

    2008-6-9:
    pdf pdf


  • Invited Presentation C. Priami,

    Programming language-based tools for Systems Biology,

    2008-6-8:

  • Invited Presentation C. Priami,

    Using BlenX for Systems Biology ,

    2008-6-6:

  • presentation talks T. Mazza,

    A formal lightweight view of the p53-dependent G1/S checkpoint control,

    2008-6-2:
    pdf pdf


  • Invited Presentation A. Ihekwaba,

    Disentagling the NF-kappaB complexities,

    2008-5-26:

  • presentation talks T. Mazza,

    Guidelines for parallel simulation of biological reactive systems,

    2008-5-19:
    pdf pdf


  • Invited Presentation A. Ihekwaba,

    Disentagling the NF-kappaB complexities,

    2008-5-8:

  • Invited Presentation A. Csikasz-Nagy,

    Computational approaches to cell cycle ,

    2008-4-29:
    pdf pdf


  • Invited Presentation F. Jordan,

    Central nodes in networks: a way to better understand complexity ,

    2008-4-28:
    pdf pdf


  • Invited Presentation A. Romanel,

    A computational framework to study the dynamics of biological systems,

    2008-4-23:

  • presentation talks L. Dematté,

    A computational framework to study the dynamics of biological systems,

    2008-4-23:
    pdf pdf


  • Invited Presentation O. Kahramanogullari,

    Interaction and Depth against Nondeterminism in Deep Inference Proof Search,

    2008-4-11:

  • Invited Presentation F. Jordan,

    Maintaining connectivity: topological considerations,

    2008-4-7:
    pdf pdf


  • Invited Presentation O. Soyer,

    Studying signaling networks,

    2008-4-2:
    pdf pdf


  • presentation talks A. Csikasz-Nagy,

    Transcriptional-posttranslational feed-forward loops in cell cycle regulation,

    2008-3-26:
    pdf pdf


  • Invited Presentation O. Soyer,

    Parasites and network robustness,

    2008-3-18:
    pdf pdf


  • Invited Presentation O. Soyer,

    Parasites lead to robustness in host networks,

    2008-3-17:
    pdf pdf


  • Invited Presentation F. Jordan,

    Central nodes in networks: a way to understand complexity ,

    2008-3-14:
    pdf pdf


  • Invited Presentation C. Priami,

    A computational modelling framework for the dynamics of biosystems,

    2008-3-13:

  • Invited Presentation F. Jordan,

    Central nodes in food webs: a quantitative approach to keystone species? ,

    2008-3-12:
    pdf pdf


  • Invited Presentation F. Jordan,

    Forest carabids and freeway design: reconciling nature with society in the Bereg Plain, Hungary,

    2008-3-11:
    pdf pdf


  • Invited Presentation M. Cavaliere,

    A Natural Computing Perspective on Biological Processes,

    2008-3-4:

  • Invited Presentation A. Romanel,

    The BlenX Language,

    2008-3-3:

  • Invited Presentation A. Palmisano,

    Cell-Cycle Modeling in BlenX,

    2008-3-3:
    pdf pdf


  • Invited Presentation A. Csikasz-Nagy,

    Models of cell cycle regulation,

    2008-3-3:
    pdf pdf


  • Invited Presentation C. Priami,

    Conceptual and software tools for dynamics of biological systems ,

    2008-3-3:

  • presentation talks I. Mura,

    Measuring (very) complex systems,

    2008-2-18:
    pdf pdf


  • Invited Presentation O. Soyer,

    Host-parasite interactions and robustness,

    2008-2-12:

  • Invited Presentation R. Mardare,

    A logic for bimolecular interactions in compartmentalized systems,

    2008-1-16:

  • 2007

  • Invited Presentation R. Mardare,

    Model checking bio-processes. Species, mutants and their robustness,

    2007-12-12:

  • presentation talks G. Iaccarino,

    A Conventional Strands Evaluator for DNA Computations ,

    2007-12-10:

  • Invited Presentation M. Cavaliere,

    Computing by Observing Biological Processes,

    2007-12-6:
    pdf pdf


  • Invited Presentation C. Priami,

    The Beta Workbench,

    2007-12-3:

  • Invited Presentation F. Jordan,

    Indirect relationships between components of the Kuosheng Bay trophic network (Taiwan) ,

    2007-11-30:
    pdf pdf


  • presentation talks M. Scotti,

    Linking trophic positions and flow structure constraints in ecological networks: efficiency or topology effect?,

    2007-11-30:

  • Invited Presentation O. Kahramanogullari,

    A Deductive Language for Everything,

    2007-11-29:

  • Invited Presentation F. Jordan,

    Keystone species in key habitats,

    2007-11-14:
    pdf pdf


  • Invited Presentation O. Kahramanogullari,

    A Process Model of Rho GTP-binding Proteins,

    2007-11-11:

  • Invited Presentation A. Csikasz-Nagy,

    Mathematical Models of Cell Cycle Regulatory Networks. Workshop on Systems Biology, Johann Radon Institute for Computational and Applied Mathematics,

    2007-11-5:

  • presentation talks M. Cavaliere,

    A Multiset-Based Model of Agents: Computability and Robustness,

    2007-10-21:
    pdf pdf


  • Invited Presentation C. Priami,

    The Beta Workbench,

    2007-10-19:

  • presentation talks O. Kahramanogullari,

    On Linear Logic Planning and Concurrency,

    2007-10-19:

  • Invited Presentation A. Csikasz-Nagy,

    Mathematical Models of Cell Cycle Regulatory Networks. Mathematical Models of Cell Regulatory Systems,

    2007-10-17:

  • presentation talks P. Lecca,

    Glutamate-triggered brain glucose metabolism: a parametric model from FDG-PET-scans,

    2007-10-11:

  • presentation talks P. Lecca,

    Molecular mechanisms of glutamate-triggered brain glucose metabolism,

    2007-10-10:

  • Invited Presentation R. Mardare,

    A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems,

    2007-9-29:

  • presentation talks L. Dematté,

    A Formal and Integrated Framework to Simulate Evolution of Biological Pathways,

    2007-9-20:
    pdf pdf


  • presentation talks M. Scotti,

    On the relation between centralities and trophic positions in ecological networks,

    2007-9-20:

  • Invited Presentation C. Priami,

    Convergence of Computer Science and Biology,

    2007-9-19:

  • presentation talks L. Dematté,

    Using Compute Cluster Server for Systems Biology,

    2007-9-13:

  • Invited Presentation O. Soyer,

    Evolution of signaling networks,

    2007-9-10:

  • Invited Presentation F. Ciocchetta,

    Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks,

    2007-9-8:

  • presentation talks P. Lecca,

    A simple model for inferring kinetic parameters in biochemical reactions,

    2007-9-7:

  • presentation talks R. Mardare,

    Colonies of synchronizing agents: An abstract model of intracellular and intercellular processes,

    2007-8-31:

  • presentation talks M. Cavaliere,

    Colonies of Synchronizing Agents: Computability and Robustness,

    2007-8-30:
    pdf pdf


  • Invited Presentation P. Lecca,

    Stochastic formalisms and algorithms to model and simulate biological interactions,

    2007-8-28:

  • presentation talks R. Mardare,

    Observing Distributed Computation. A Dynamic-Epistemic Approach,

    2007-8-23:

  • Invited Presentation F. Jordan,

    Quantifying important species: key positions in interaction networks ,

    2007-8-8:

  • Invited Presentation F. Jordan,

    Key nodes in weighted ecological networks ,

    2007-8-3:

  • Invited Presentation A. Csikasz-Nagy,

    Computational Analysis of Mammalian Cell Division Gated by a Circadian Clock: Quantized Cell Cycles and Cell Size Control,

    2007-8-1:
    pdf pdf


  • Invited Presentation O. Soyer,

    Using Evolutionary Approaches To Study Biological Pathways,

    2007-7-27:

  • Invited Presentation O. Soyer,

    Using Evolutionary Approaches To Study Biological Pathways,

    2007-7-25:

  • presentation talks A. Romanel,

    BetaWB: modelling and simulating biological processes,

    2007-7-17:

  • Invited Presentation S. Sedwards,

    Colonies of Synchronizing Agents: Molecules, Cells & Tissues ,

    2007-7-17:
    pdf pdf


  • presentation talks J. Zamborszky,

    Connection Between the Cell Cycle and the Circadian Rhythm in Mammalian Cells,

    2007-7-7:

  • presentation talks G. Iaccarino,

    Exploiting Constraints in the Codeword Design ,

    2007-7-2:

  • Invited Presentation F. Jordan,

    Quantifying the importance of species: key players in interspecific interaction networks ,

    2007-7-2:

  • Invited Presentation A. Csikasz-Nagy,

    Models of fission yeast cell cycle (Switches in time and space),

    2007-6-26:

  • presentation talks T. Mazza,

    Towards a complete covering of SBML functionalities,

    2007-6-26:
    pdf pdf


  • Invited Presentation L. Dematté,

    Systems Biology at COSBI,

    2007-6-24:
    pdf pdf


  • presentation talks O. Kahramanogullari,

    On Concurrent Computations in Petri Nets for Modelling Signalling Pathways,

    2007-6-17:

  • presentation talks M. Forlin,

    Model-based Genetic Algorithms for Designing Mixture Experiments,

    2007-6-15:

  • Invited Presentation P. Lecca,

    Which algorithm for emulating the chemical interactions in biomolecular systems?,

    2007-6-1:

  • Invited Presentation M. Scotti,

    The higher the better? Linking trophic position and flow structure constraints in ecological networks,

    2007-6-1:

  • Invited Presentation C. Priami,

    Computational Modeling in Biology,

    2007-5-25:

  • Invited Presentation C. Kuttler,

    Gene regulation in the SpiCO language: simulating cooperativity at the lambda switch.,

    2007-5-22:

  • presentation talks A. Ihekwaba,

    ,

    2007-5-14:

  • Invited Presentation O. Kahramanogullari,

    Deep Inference in Theorem Proving,

    2007-5-8:

  • Invited Presentation A. Ihekwaba,

    Dissecting the NF-kappaB,

    2007-5-5:

  • Invited Presentation C. Kuttler,

    Gene regulation in the SpiCO language: simulating cooperativity at the lambda switch.,

    2007-5-2:

  • Invited Presentation F. Jordan,

    Keystone species in food webs: the role of network analysis in conservation,

    2007-4-26:

  • Invited Presentation C. Priami,

    Computational Modeling in Biology,

    2007-4-23:

  • presentation talks H. Kuwahara,

    Production-passage-time approximation: A new approximation method to accelerate the simulation process of enzymatic reactions,

    2007-4-21:

  • presentation talks O. Kahramanogullari,

    Interaction and Depth against Nondeterminism in Proof Search ,

    2007-4-20:

  • presentation talks L. Dematté,

    Systems Biology,

    2007-4-17:
    pdf pdf


  • Invited Presentation A. Ihekwaba,

    Beyond NF-kB signalling,

    2007-4-11:

  • presentation talks J. Zamborszky,

    Connection Between the Cell Cycle and the Circadian Rhythm in Mammalian Cells,

    2007-4-6:

  • presentation talks P. Lecca,

    Quantitative data for simulating biochemical systems,

    2007-3-26:

  • Invited Presentation I. Mura,

    Stochastic Petri Net languages and tools for modeling and analyzing complex systems,

    2007-3-20:
    pdf pdf


  • Invited Presentation O. Soyer,

    Studying Biological Pathways: An Evolutionary Perspective,

    2007-3-20:

  • Invited Presentation R. Mardare,

    Multimodal logics for specifying parallel-distributed systems,

    2007-3-16:

  • Invited Presentation R. Mardare,

    Protein Calculus,

    2007-3-15:

  • Invited Presentation A. Csikasz-Nagy,

    Theoretical Systems Biology of Cell Cycle Regulation,

    2007-3-1:

  • presentation talks H. Kuwahara,

    Model Abstraction and Temporal Behavior Analysis of Genetic Regulatory Networks,

    2007-2-16:

  • Invited Presentation A. Csikasz-Nagy,

    Models of cell cycle regulation,

    2007-2-5:

  • Invited Presentation A. Csikasz-Nagy,

    Computational systems biology to understand cell cycle regulation and more,

    2007-2-2:

  • Invited Presentation A. Csikasz-Nagy,

    Computational systems biology to understand cell cycle regulation and more,

    2007-1-23:

  • 2006

  • Invited Presentation O. Kahramanogullari,

    Interaction and Depth against Nondeterminism in Proof Search,

    2006-12-15:

  • Invited Presentation M. Scotti,

    Taking a walk on the wild (and hidden) side of a mountain lake ecosystem and an urban network,

    2006-11-30:

  • Invited Presentation M. Scotti,

    Detecting ecosystem stress and tracing the sustainability of human settlements. A whole-system approach using network analysis,

    2006-11-23:

  • Invited Presentation A. Csikasz-Nagy,

    Models of eukaryotic cell cycle regulation,

    2006-11-22:

  • Invited Presentation A. Ihekwaba,

    Modeling of NF-kappaB Signaling Pathway,

    2006-11-9:

  • presentation talks P. Lecca,

    Simulating kinetic in living systems. Collecting useful data for in silico experiments.,

    2006-11-7:

  • Invited Presentation O. Kahramanogullari,

    Deep Inference and Nondeterminism,

    2006-10-25:

  • Invited Presentation O. Soyer,

    Studying Biological Pathways: An Evolutionary Perspective,

    2006-10-18:

  • presentation talks F. Jordan,

    Predicting target selection by terrorists: A network analysis of the 2005 London underground attacks ,

    2006-10-5:

  • presentation talks R. Mardare,

    Decidable extensions of Hennessy-Milner Logic,

    2006-9-27:

  • presentation talks A. Csikasz-Nagy,

    Model for the Circadian Clock Forced Mammalian Cell Cycle,

    2006-9-16:

  • presentation talks J. Zamborszky,

    Model for the circadian clock forced mammalian cell cycle,

    2006-9-16:

  • Invited Presentation C. Priami,

    Process calculi for biology,

    2006-9-7:

  • Invited Presentation A. Ihekwaba,

    NF-kB signalling pathway,

    2006-9-6:

  • Invited Presentation C. Priami,

    The CosBi case,

    2006-9-4:

  • presentation talks A. Csikasz-Nagy,

    A cirkadian ora es a sejtciklus kapcsolatának modellje,

    2006-9-1:

  • Invited Presentation O. Soyer,

    Evolution of Complexity in Biological Pathways,

    2006-8-21:

  • presentation talks R. Mardare,

    Playing with partial knowledge in membrane systems: A logical approach,

    2006-7-20:

  • Invited Presentation C. Priami,

    Calculi for biology,

    2006-7-18:

  • Invited Presentation S. Sedwards,

    Modelling and Observing Biology,

    2006-7-18:
    pdf pdf


  • presentation talks A. Romanel,

    The Decidability of the Structural Congruence for Beta-binders,

    2006-7-9:

  • Invited Presentation F. Ciocchetta,

    Biological transactions for quantitative models,

    2006-7-9:

  • presentation talks M. Cavaliere,

    Computing by Only Observing,

    2006-6-26:

  • presentation talks H. Kuwahara,

    Abstracted stochastic analysis of type 1 pili expression in E.coli,

    2006-6-26:

  • presentation talks G. Iaccarino,

    B-Splines for Genomic Signature ,

    2006-6-26:

  • Invited Presentation C. Priami,

    Process calculi for biology,

    2006-6-15:

  • Invited Presentation C. Priami,

    Convergenza delle scienze e nuovi scenari di ricerca,

    2006-6-7:

  • Invited Presentation C. Priami,

    Process Calculi for Biology,

    2006-5-29:

  • Invited Presentation T. Mazza,

    High throughput Proteomics,

    2006-5-25:

  • Invited Presentation C. Kuttler,

    Modeling bacterial gene expression in a stochastic pi-calculus with concurrent objects. ,

    2006-5-4:

  • Invited Presentation A. Ihekwaba,

    Modelling of NF-kB signalling pathway,

    2006-5-3:

  • Invited Presentation C. Priami,

    Computational Systems Biology,

    2006-4-26:

  • presentation talks P. Lecca,

    A time-dependent extension of Gillespie algorithm for biochemical stochastic pi-calculus,

    2006-4-24:

  • Invited Presentation C. Priami,

    La convergenza delle scienze abilitata dalla societa' dell'informazione e applicata in ambito biologico,

    2006-4-21:

  • Invited Presentation C. Kuttler,

    Modeling bacterial transcription and translation in a stochastic pi-calculus with concurrent objects. ,

    2006-4-4:

  • Invited Presentation F. Jordan,

    Molecular networks: local and global properties and their consequences for functionality. ,

    2006-3-21:

  • Invited Presentation C. Priami,

    Process calculi for biology,

    2006-2-9:

  • 2005

  • Invited Presentation R. Mardare,

    Dynamic-Epistemic Spatial Logics for Concurrency,

    2005-12-18:

  • Invited Presentation F. Ciocchetta,

    From SBML to Beta-binders,

    2005-12-14:

  • Invited Presentation F. Jordan,

    Key nodes in networks: quantifying part to whole relationships in ecological communities,

    2005-12-13:

  • Invited Presentation A. Ihekwaba,

    Modelling, Enzyme kinetics and Image Analysis of NF-kB signalling pathway,

    2005-12-2:

  • Invited Presentation A. Ihekwaba,

    The NF-kB system; Modelling and Image Analysis,

    2005-11-28:

  • Invited Presentation O. Kahramanogullari,

    Deep Inference and Nondeterminism ,

    2005-11-3:

  • Invited Presentation F. Ciocchetta,

    From SBML to Beta-binders,

    2005-10-5:

  • presentation talks H. Kuwahara,

    Automatic abstraction methodology for genetic regulatory networks,

    2005-9-13:

  • presentation talks C. Kuttler,

    Otto Warburg International Summer School on Networks and Regulation Modeling bacterial transcription and translation in a stochastic pi-calculus ,

    2005-8-31:

  • Invited Presentation A. Csikasz-Nagy,

    Analysis of a generic model of eukaryotic cell cycle regulation,

    2005-7-20:

  • presentation talks O. Kahramanogullari,

    Implementing Deep Inference in TOM,

    2005-7-17:

  • Invited Presentation F. Jordan,

    Introductionary remarks,

    2005-6-17:

  • Invited Presentation F. Jordan,

    Topological constraints on the dynamics of wasp-waist ecosystems ,

    2005-6-14:

  • presentation talks A. Ihekwaba,

    The NF-kB signalling pathway,

    2005-6-13:

  • Invited Presentation A. Ihekwaba,

    Modelling of NF-kB signalling pathway; challenges and discoveries,

    2005-6-13:

  • presentation talks M. Cavaliere,

    Recognizing DNA Splicing,

    2005-6-6:

  • presentation talks G. Iaccarino,

    A scalable intermediary software infrastructure (SISI) for Web accessibility ,

    2005-6-6:

  • Invited Presentation C. Priami,

    Complexity and systemics,

    2005-6-2:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. ,

    2005-5-26:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch.,

    2005-5-24:

  • presentation talks F. Jordan,

    Topological key players in communities: the network perspective,

    2005-5-3:

  • presentation talks T. Mazza,

    Using Ontologies in PROTEUS for Modeling Proteomics Data Mining Applications,

    2005-4-8:
    pdf pdf


  • presentation talks C. Kuttler,

    Bacterial transcription the stochastic pi-calculus.,

    2005-4-4:

  • presentation talks O. Kahramanogullari,

    Labeled Event Structure Semantics of Linear Logic Planning ,

    2005-3-31:

  • presentation talks A. Csikasz-Nagy,

    Modelling fission yeast morphogenesis,

    2005-3-15:

  • presentation talks A. Ihekwaba,

    Modelling of NF-kB signalling pathway,

    2005-3-9:

  • presentation talks G. Iaccarino,

    Personalizable edge services for Web accessibility: PAN ,

    2005-3-9:

  • Invited Presentation F. Jordan,

    Conserving ecosystem functions: a quest for topological keystone species ,

    2005-3-9:

  • Invited Presentation T. Mazza,

    Mass Spectrometry: some algorithmic approaches,

    2005-3-7:

  • Invited Presentation F. Jordan,

    The architecture of social and ecological networks,

    2005-3-7:

  • Invited Presentation C. Priami,

    Process Calculi for Biology,

    2005-2-23:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch.,

    2005-2-15:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. ,

    2005-1-21:

  • 2004

  • Invited Presentation A. Ihekwaba,

    Modelling, Enzyme kinetics and fluorescence imaging of NF-kappaB signalling pathway,

    2004-12-6:

  • Invited Presentation C. Priami,

    Process algebras compositionality to hammer complexity,

    2004-12-5:

  • Invited Presentation O. Kahramanogullari,

    Implementing Deep Inference ,

    2004-11-24:

  • presentation talks F. Jordan,

    A graph theory examination of the global spreading hypothesis,

    2004-11-19:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch.,

    2004-11-17:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. ,

    2004-11-16:

  • presentation talks G. Iaccarino,

    A DNA Arithmetic Logic Unit ,

    2004-11-15:

  • Invited Presentation M. Scotti,

    A new approach to calculate local Ecological Footprint,

    2004-10-29:

  • Invited Presentation C. Priami,

    Modeling and simulation of biosystems: the process algebra approach,

    2004-10-19:

  • Invited Presentation C. Priami,

    Converging sciences and technologies: an opportunity for Europe,

    2004-9-14:

  • Invited Presentation C. Priami,

    A logical approach to security for ambient calculus,

    2004-9-9:

  • Invited Presentation C. Priami,

    Mobile process algebras in systems biology,

    2004-8-30:

  • presentation talks C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch.,

    2004-8-30:

  • presentation talks O. Kahramanogullari,

    Implementing System BV of the Calculus of Structures in Maude,

    2004-8-13:

  • Invited Presentation C. Kuttler,

    Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. ,

    2004-7-9:

  • presentation talks M. Cavaliere,

    Timed P Systems, Inhibiting / De-Inhibiting Rules in P Systems.,

    2004-6-10:

  • presentation talks M. Cavaliere,

    Biomolecular Implementation of Computing Devices with Unbounded Memory,

    2004-6-7:

  • Invited Presentation A. Csikasz-Nagy,

    Modelling fission yeast morphogenesis,

    2004-6-4:

  • presentation talks R. Mardare,

    Model checking biological systems described using ambient calculus,

    2004-5-27:

  • Invited Presentation C. Priami,

    Process calculi and biology,

    2004-4-21:

  • Invited Presentation A. Ihekwaba,

    Sensitivity analysis of NF-kB signalling pathway,

    2004-3-19:

  • presentation talks P. Lecca,

    Predicting cell adhesion probability via the biochemical stochastic pi-calculus,

    2004-3-14:

  • presentation talks R. Mardare,

    A logical approach to security in the context of Ambient Calculus,

    2004-2-18:

  • 2003

  • Invited Presentation C. Priami,

    Design Environments for complex systems,

    2003-12-9:

  • presentation talks P. Lecca,

    Cell cycle control in Eukaryotes: a BioSpi model,

    2003-9-6:

  • Invited Presentation F. Jordan,

    Key positions in food webs: quantifying the effective range of indirect effects ,

    2003-8-15:

  • Invited Presentation F. Ciocchetta,

    Knowledge Discovery to Support Hepatocellular Carcinoma Early Diagnosis. ,

    2003-7-22:

  • presentation talks A. Csikasz-Nagy,

    A deterministic molecular model of the fission yeast cell cycle,

    2003-7-10:

  • presentation talks A. Csikasz-Nagy,

    Modelling Fission Yeast Morphogenesis,

    2003-6-28:

  • Invited Presentation C. Priami,

    Modeling complex systems,

    2003-6-19:

  • presentation talks F. Jordan,

    Quantifying landscape connectivity: key patches and key corridors,

    2003-6-4:

  • Invited Presentation A. Csikasz-Nagy,

    Mathematical modeling of growth regulation of fission yeast cells in space and time,

    2003-4-8:

  • presentation talks O. Kahramanogullari,

    A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak ,

    2003-3-25:

  • presentation talks A. Csikasz-Nagy,

    Mathematical modeling of pattern formation in fission yeast cells,

    2003-3-2:

  • 2002

  • Invited Presentation A. Csikasz-Nagy,

    The Dynamical Network of Cell Cycle Regulators,

    2002-12-9:

  • presentation talks A. Csikasz-Nagy,

    Modelling of the fission yeast cell cycle,

    2002-10-19:

  • presentation talks A. Csikasz-Nagy,

    Dynamics of cell cycle regulation,

    2002-6-4:

  • Invited Presentation F. Jordan,

    The quantified importance of species and their interactions in a host-parasitoid community,

    2002-4-26:

  • presentation talks A. Csikasz-Nagy,

    Modelling of the fission yeast cell cycle,

    2002-3-27:

  • 2001

  • presentation talks F. Jordan,

    Ecosystem flow networks and community control,

    2001-6-6:

  • 2000

  • presentation talks A. Csikasz-Nagy,

    Mathematical modelling - a tool to understand cell cycle control,

    2000-7-21:

  • Invited Presentation A. Csikasz-Nagy,

    Modelling mammalian cell cycle controls,

    2000-7-20:

  • 1999

  • Invited Presentation A. Csikasz-Nagy,

    Mathematical models of cell cycle regulation,

    1999-11-9:

  • presentation talks A. Csikasz-Nagy,

    A sarjadzo eleszto szaporodasanak modellezese,

    1999-4-30:

  • presentation talks F. Jordan,

    The role of keystone species in the evolution of trophic networks,

    1999-4-25:

  • 1998

  • presentation talks F. Jordan,

    The Evolution of Reliable Food Web Patterns,

    1998-4-3:

  • 1997

  • presentation talks A. Csikasz-Nagy,

    A DNS replikacio szabalyozasanak modellezese hasado elesztoben,

    1997-8-26:

.