close
1.

電子ブック

EB
Pierpaolo Degano, Rocco De Nicola, Takeo Kanade, Jos? Meseguer, Ugo Montanari, Rocco Nicola
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
Unfolding Graph Transformation Systems: Theory and Applications to Verification / Paolo Baldan ; Barbara Konig
Graph-Based Design and Analysis of Dynamic Software Architectures / Roberto Bruni ; Antonio Bucchiarone ; Stefania Gnesi ; Dan Hirsch ; Alberto Lluch Lafuente
Graph Transformation Units - An Overview / Hans-Jorg Kreowski ; Sabine Kuske ; Grzegorz Rozenberg
Synchronous Multiparty Synchronizations and Transactions / Ivan Lanese ; Hernan Melgratti
Transformations in Reconfigurable Place/Transition Systems / Ulrike Prange ; Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg
Explicit State Model Checking for Graph Grammars / Arend Rensink
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design / Leila Ribeiro ; Fernando Luis Dotti
Constraint and Logic Programming
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section / Francesca Rossi
Semiring-Based Soft Constraints / Stefano Bistarelli
Declarative Debugging of Membership Equational Logic Specifications / Rafael Caballero ; Narciso Marti-Oliet ; Adrian Riesco ; Alberto Verdejo
Spreadspaces: Mathematically-Intelligent Graphical Spreadsheets / Nachum Dershowitz ; Claude Kirchner
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy / Manuel V. Hermenegildo ; Francisco Bueno ; Manuel Carro ; Pedro Lopez ; Jose F. Morales ; German Puebla
AND/OR Multi-valued Decision Diagrams for Constraint Networks / Robert Mateescu ; Rina Dechter
Software Engineering
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section
Modeling Business within a UML-Based Rigorous Software Development Approach / Egidio Astesiano ; Gianna Reggio ; Filippo Ricca
From Domain to Requirements / Dines Bjorner
Business Process Modeling for Organizational Knowledge Management / Luca Abeti ; Paolo Ciancarini ; Rocco Moretti
Event-Based Service Coordination / Gian-Luigi Ferrari ; Roberto Guanciale ; Daniele Strollo ; Emilio Tuosto
Dynamically Evolvable Dependable Software: From Oxymoron to Reality / Carlo Ghezzi ; Paola Inverardi ; Carlo Montangero
The Temporal Logic of Rewriting: A Gentle Introduction
A Heterogeneous Approach to UML Semantics / Maria Victoria Cengarle ; Alexander Knapp ; Andrzej Tarlecki ; Martin Wirsing
Concurrency Theory
Ugo Montanari and Concurrency Theory / Roberto Gorrieri
On the Synthesis of Zero-Safe Nets / Philippe Darondeau
A Note on Persistent Petri Nets / Eike Best
Secure Data Flow in a Calculus for Context Awareness / Doina Bucur ; Mogens Nielsen
On Beta-Binders Communications / Paola Quaglia
On the Asynchronous Nature of the Asynchronous [pi]-Calculus / Romain Beauxis ; Catuscia Palamidessi ; Frank D. Valencia
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes / Ezio Bartocci ; Flavio Corradini ; Radu Grosu ; Emanuela Merelli ; Oliviero Riganelli ; Scott A. Smolka
Models of Computation
Models of Computation: A Tribute to Ugo Montanari's Vision / Vladimiro Sassone
Automatic Mutual Exclusion and Atomicity Checks / Martin Abadi
Petri Nets, Discrete Physics, and Distributed Quantum Computation / Samson Abramsky
A Category of Explicit Fusions / Filippo Bonchi ; Maria Grazia Buscemi ; Vincenzo Ciancia ; Fabio Gadducci
What Do Semantics Matter When the Meat Is Overcooked? / Jose Luiz Fiadeiro
Calculating Colimits Compositionally / Robert Rosebrugh ; Nicoletta Sabadini ; Robert F.C. Walters
Observability Concepts in Abstract Data Type Specification, 30 Years Later / Donald Sannella
Software Verification
Ugo Montanari and Software Verification
History Dependent Automata for Service Compatibility / Marco Pistore
A Type System for Client Progress in a Service-Oriented Calculus / Lucia Acciai ; Michele Boreale
Session and Union Types for Object Oriented Programming / Lorenzo Bettini ; Sara Capecchi ; Mariangiola Dezani-Ciancaglini ; Elena Giachino ; Betti Venneri
The Pairing of Contracts and Session Types / Cosimo Laneve ; Luca Padovani
Specifying and Analysing SOC Applications with COWS / Alessandro Lapadula ; Rosario Pugliese ; Francesco Tiezzi
Approximating Behaviors in Embedded System Design / Roberto Passerone ; Alberto L. Sangiovanni-Vincentelli
Friends
Ugo Montanari and Friends
Calculating with Automata / Jos C.M. Baeten
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra / Gerard Boudol ; Ilaria Castellani ; Matthew Hennessy ; Glynn Winskel
Some Theorems Concerning the Core Function / Angelo Raffaele Meo
The Seventies / Alberto Martelli
Categories, Software and Meaning / Robin Milner
A Roman Senator / Jan Rutten
The Semantics of Ugo Montanari / Franco Turini
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years / Daniel Yankelevich
Author Index
Ugo Montanari in a Nutshell / Rocco De Nicola ; Pierpaolo Degano ; Jose Meseguer
Graph Transformation
Ugo Montanari and Graph Transformation / Andrea Corradini
2.

電子ブック

EB
Marco Bernardo, Pierpaolo Degano, Takeo Kanade, Gianluigi Zavattaro
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
Formal Cell Biology in Biocham / Francois Fages ; Sylvain Soliman
Hierarchical Modeling for Computational Biology / Carsten Maus ; Mathias John ; Mathias Rohl ; Adelinde M. Uhrmacher
Simulation Methods in Systems Biology / Daniel T. Gillespie
Membrane Computing as a Modeling Framework. Cellular Systems Case Studies / Gheorghe Paun ; Francisco Jose Romero-Campero
Petri Nets for Systems and Synthetic Biology / Monika Heiner ; David Gilbert ; Robin Donaldson
Process Algebras in Systems Biology / Federica Ciocchetta ; Jane Hillston
The BlenX Language: A Tutorial / Lorenzo Dematte ; Corrado Priami ; Alessandro Romanel
BISCA Talks / Part II:
Cells in Silico: A Holistic Approach / Davide Chiarugi ; Pierpaolo Degano ; Jan Bert Van Klinken ; Roberto Marangoni
The Calculus of Looping Sequences / Roberto Barbuti ; Giulio Caravagna ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Giovanni Pardini
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biology / Luca Bortolussi ; Alberto Policriti
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi / Cristian Versari ; Roberto Gorrieri
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form / Gianluigi Zavattaro
Author Index
Regular Lectures / Part I:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions / Andrea Degasperi ; Stephen Gilmore
Pathway Logic / Carolyn Talcott
3.

電子ブック

EB
Pierpaolo Degano, Joshua Guttman, Takeo Kanade, Fabio Martinelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
4.

電子ブック

EB
Pierpaolo Degano, Roberto Gorrieri, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks (Invited Talk) / Lisa Bartoli ; Pier Luigi Martelli ; Ivan Rossi ; Piero Fariselli ; Rita Casadio
The Equivalence between Biology and Computation (Invited Talk) / John K. Heath
BlenX4Bio-BlenX for Biologists (Invited Talk) / Corrado Priami ; Paolo Ballarini ; Paola Quaglia
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora Crassa Circadian Network / Ozgur E. Akman ; Federica Ciocchetta ; Andrea Degasperi ; Maria Luisa Guerriero
Quantitative Pathway Logic for Computational Biology / Michele Baggi ; Demis Ballis ; Moreno Falaschi
A Prize-Collecting Steiner Tree Approach for Transduction Network Inference / Marc Bailly-Bechet ; Alfredo Braunstein ; Riccardo Zecchina
Formal Analysis of the Genetic Toggle / Giampaolo Bella ; Pietro Liò
Control Strategies for the Regulation, of the Eukaryotic Heat Shock Response / Elena Czeizler ; Eugen Czeizler ; Ralph-Johan Back ; Ion Petre
Computing Reachable States for Nonlinear Biological Models / Thao Dang ; Colas Le Guernic ; Oded Maler
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle / Elisabetta De Maria ; François Fages ; Sylvain Soliman
The K-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages / Giorgio Delzanno ; Cinzia Di Giusto ; Maurizio Gabbrielli ; Cosimo Laneve ; Gianluigi Zavattaro
Approximation of Event Probabilities in Noisy Cellular Processes / Frédéric Didier ; Thomas A. Henzinger ; Maria Mateescu ; Verena Wolf
Equivalence and Discretisation in Bio-PEPA / Vashti Galpin ; Jane Hillston
Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems / Peter Gennemark ; Dag Wedelin
A Bayesian Approach to Model Checking Biological Systems / Sumit K. Jha ; Edmund M. Clarke ; Christopher J. Langmead ; Axel Legay ; André Platzer ; Paolo Zuliani
Dynamic Compartments in the Imperative ?-Calculus / Mathias John ; Cédric Lhoussaine ; Joachim Niehren
Probabilistic Approximations of Signaling Pathway Dynamics / Bing Liu ; P.S. Thiagarajan ; David Hsu
A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties / Aurélien Naldi ; Elisabeth Remy ; Denis Thieffry ; Claudine Chaouiya
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process / Lucia Napione ; Daniele Manini ; Francesca Cordero ; András Horváth ; Andrea Picco ; Massimiliano De Pierro ; Simona Pavan ; Matteo Sereno ; Andrea Veglio ; Federico Bussolino ; Gianfranco Balbo
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams / Martin Schwarick ; Monika Heiner
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models / Hayssam Soueidan ; Grégoire Sutre ; Macha Nikolski
Author Index
Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks (Invited Talk) / Lisa Bartoli ; Pier Luigi Martelli ; Ivan Rossi ; Piero Fariselli ; Rita Casadio
The Equivalence between Biology and Computation (Invited Talk) / John K. Heath
BlenX4Bio-BlenX for Biologists (Invited Talk) / Corrado Priami ; Paolo Ballarini ; Paola Quaglia
5.

電子ブック

EB
Pierpaolo Degano, Takeo Kanade, Luca Vigan?
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
6.

電子ブック

EB
Pierpaolo Degano, Sandro Etalle, Joshua Guttman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks (Invited Talk) / Dusko Pavlovic
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems / Max Kanovich ; Tajana Ban Kirigin ; Vivek Nigam ; Andre Scedrov
Efficient Decision Procedures for Message Deducibility and Static Equivalence / Bruno Conchinha ; David Basin ; Carlos Caleiro
Understanding Abstractions of Secure Channels / Allaa Kamil ; Gavin Lowe
Information Flow Analysis via Path Condition Refinement / Mana Taghdiri ; Gregor Snelting ; Carsten Sinz
Foundations of Attack-Defense Trees / Barbara Kordy ; Sjouke Mauw ; Sa ša Radomirovic ; Patrick Schweitzer
Reasoning with Past to Prove PKCS#11 Keys Secure / Sibylle Fröschle ; Nils Sommer
A Formal Analysis of Authentication in the TPM / Stéphanic Delaune ; Steve Kremer ; Mark D. Ryan ; Graham Steel
Modeling Identity-Related Properties and Their Privacy Strength / Meilof Veeningen ; Benne de Weger ; Nicola Zannone
Semantics of Trust / Tim Mutter
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction / Clément Hurlin ; Hèléne Kirchner
Corrective Enforcement of Security Policies / Raphael Khoury ; Nadia Tawbi
Cryptographic Enforcement of Role-Based Access Control / Jason Crampton
A Calculus for the Analysis of Wireless Network Security Protocols / Francesco Ballardin ; Massimo Merro
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus / Naipeng Dong ; Hugo Jonker ; Jun Pang
Author Index
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks (Invited Talk) / Dusko Pavlovic
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems / Max Kanovich ; Tajana Ban Kirigin ; Vivek Nigam ; Andre Scedrov
Efficient Decision Procedures for Message Deducibility and Static Equivalence / Bruno Conchinha ; David Basin ; Carlos Caleiro
7.

電子ブック

EB
Pierpaolo Degano, Joshua D. Guttman, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
8.

電子ブック

EB
Pierpaolo Degano, Joshua Guttman, Takeo Kanade, Fabio Martinelli, Joshua D. Guttman
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
9.

電子ブック

EB
Pierpaolo Degano, Joshua D. Guttman, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
10.

電子ブック

EB
Pierpaolo Degano, Sandro Etalle, Joshua Guttman, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks (Invited Talk) / Dusko Pavlovic
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems / Max Kanovich ; Tajana Ban Kirigin ; Vivek Nigam ; Andre Scedrov
Efficient Decision Procedures for Message Deducibility and Static Equivalence / Bruno Conchinha ; David Basin ; Carlos Caleiro
Understanding Abstractions of Secure Channels / Allaa Kamil ; Gavin Lowe
Information Flow Analysis via Path Condition Refinement / Mana Taghdiri ; Gregor Snelting ; Carsten Sinz
Foundations of Attack-Defense Trees / Barbara Kordy ; Sjouke Mauw ; Sa ša Radomirovic ; Patrick Schweitzer
Reasoning with Past to Prove PKCS#11 Keys Secure / Sibylle Fröschle ; Nils Sommer
A Formal Analysis of Authentication in the TPM / Stéphanic Delaune ; Steve Kremer ; Mark D. Ryan ; Graham Steel
Modeling Identity-Related Properties and Their Privacy Strength / Meilof Veeningen ; Benne de Weger ; Nicola Zannone
Semantics of Trust / Tim Mutter
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction / Clément Hurlin ; Hèléne Kirchner
Corrective Enforcement of Security Policies / Raphael Khoury ; Nadia Tawbi
Cryptographic Enforcement of Role-Based Access Control / Jason Crampton
A Calculus for the Analysis of Wireless Network Security Protocols / Francesco Ballardin ; Massimo Merro
Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus / Naipeng Dong ; Hugo Jonker ; Jun Pang
Author Index
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks (Invited Talk) / Dusko Pavlovic
Bounded Memory Dolev-Yao Adversaries in Collaborative Systems / Max Kanovich ; Tajana Ban Kirigin ; Vivek Nigam ; Andre Scedrov
Efficient Decision Procedures for Message Deducibility and Static Equivalence / Bruno Conchinha ; David Basin ; Carlos Caleiro
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼