Pierpaolo Degano's Books

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

By: Pierpaolo Degano

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

By: Pierpaolo Degano

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972. The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

884

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540631658

ISBN 13

9783540631651

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

By: Pierpaolo Degano,Joshua D. Guttman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

By: Pierpaolo Degano,Joshua D. Guttman

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

340

Publisher

Springer Science & Business Media

Published Date

ISBN 10

364201464X

ISBN 13

9783642014642

Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

By: Pierpaolo Degano,Rocco de Nicola,José Meseguer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

By: Pierpaolo Degano,Rocco de Nicola,José Meseguer

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

823

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540686762

ISBN 13

9783540686767

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

By: Pierpaolo Degano,Roberto Gorrieri,Alberto Marchetti-Spaccamela

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

By: Pierpaolo Degano,Roberto Gorrieri,Alberto Marchetti-Spaccamela

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

864

Publisher

Springer

Published Date

ISBN 10

3540631658

ISBN 13

9783540631651

Formal Aspects of Security and Trust

7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

By: Pierpaolo Degano,Sandro Etalle,Joshua Guttman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Aspects of Security and Trust

7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

By: Pierpaolo Degano,Sandro Etalle,Joshua Guttman

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Pisa, Italy in September 2010. The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 42 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and id issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, grid security, security risk assessment, and case studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

248

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642197507

ISBN 13

9783642197505

Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

By: Marco Bernardo,Pierpaolo Degano,Gianluigi Zavattaro

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

By: Marco Bernardo,Pierpaolo Degano,Gianluigi Zavattaro

This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

533

Publisher

Springer

Published Date

ISBN 10

3540688943

ISBN 13

9783540688945

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

By: Pierpaolo Degano,Joshua D. Guttman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

By: Pierpaolo Degano,Joshua D. Guttman

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

340

Publisher

Springer Science & Business Media

Published Date

ISBN 10

364201464X

ISBN 13

9783642014642

Formal Aspects in Security and Trust

6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

By: Pierpaolo Degano,Joshua D. Guttman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Aspects in Security and Trust

6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

By: Pierpaolo Degano,Joshua D. Guttman

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the Formal Methods Week, FMweek 2009. The 18 revised papers presented together with an abstract of the invited lecture were carefully reviewed and selected from 50 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and id issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web service security/trust/privacy, grid security, security risk assessment, and case studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

288

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642124585

ISBN 13

9783642124587

Computational Methods in Systems Biology

7th International Conference, CMSB 2009

By: Pierpaolo Degano,Roberto Gorrieri

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computational Methods in Systems Biology

7th International Conference, CMSB 2009

By: Pierpaolo Degano,Roberto Gorrieri

This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009. The ?rst CMSB was held in Trento in 2003, bringing together life scientists, computer scientists, engineers and physicists. The goal was to promote the c- vergence of di?erent disciplines aiming at a new understanding and description of biological systems, ?rmly ground in formal models, supported by compu- tionallanguagesandtools,ando?eringnew methodsofanalysis.The conference then moved to Paris in 2004, Edinburgh in 2005, Trento in 2006, Edinburgh in 2007 and Rostock/Warnemunde ̈ in 2008. This year the conference attracted about 45 submissions form 18 countries, mainly from Europe and North America, but also from Asia and Australia. We wish to thank all authors for their interest in CMSB 2009. After careful disc- sions, the Programme Committee eventually selected 18 papers for presentation at the conference. Each of them was accurately refereed by at least three - viewers, who delivered detailed and insightful comments and suggestions. The Conference Chairmen warmly thank all the members of the Programme C- mittee and all their sub-referees for the excellent support they gave, as well as for the friendly and constructive discussions. We also would like to thank the authorsfor havingrevisedtheir papers to addressthe comments andsuggestions by the referees.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

337

Publisher

Springer

Published Date

ISBN 10

364203845X

ISBN 13

9783642038457

Computational Methods in Systems Biology

7th International Conference, CMSB 2008

By: Pierpaolo Degano,Roberto Gorrieri

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computational Methods in Systems Biology

7th International Conference, CMSB 2008

By: Pierpaolo Degano,Roberto Gorrieri

This book constitutes the refereed proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18 revised full papers presented together with the summaries of 3 invited papers were carefully reviewed and selected from more than 45 submissions. The papers cover theoretical or applied contributions that are motivated by a biological question focusing on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

337

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642038441

ISBN 13

9783642038440

Programming Languages and Systems

12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

By: Pierpaolo Degano

Write a review Read reviews Take a Quiz Solve Book Puzzle

Programming Languages and Systems

12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

By: Pierpaolo Degano

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

420

Publisher

Springer

Published Date

ISBN 10

3662213141

ISBN 13

9783662213148

Book's by Pierpaolo Degano

Automata, Languages and Programming

Automata, Languages and Programming

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Concurrency, Graphs and Models

Concurrency, Graphs and Models

Automata, Languages and Programming

Automata, Languages and Programming

Formal Aspects of Security and Trust

Formal Aspects of Security and Trust

Formal Methods for Computational Systems Biology

Formal Methods for Computational Systems Biology

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Programming Languages and Systems

Programming Languages and Systems

Username

Password

Username

Password

Password again

Birthday

Email