Author: Pierpaolo Degano
Publisher: Springer
Keywords: programming, european, practice, science, lecture, notes, theory, computer, joint, systems, languages, symposium, esop, part, conferences
Number of Pages: 415
Published: 2003-05-07
List price: $72.95
ISBN-10: 3540008861
ISBN-13: 9783540008866

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.

Authors:Pierpaolo Degano, Luca Viganò,
Publisher: Springer
Keywords: security, analysis, theory, issues, computer, science, protocol, cryptology, automated, applications, joint, workshop, foundations, reasoning
Number of Pages: 223
Published: 2009-10-07
List price: $64.95
ISBN-10: 3642034586
ISBN-13: 9783642034589

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, held in York, UK, in March 2009, in association with ETAPS 2009. The 12 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. The papers feature topics including formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mech

Authors:Pierpaolo Degano, Rocco De Nicola, Jose Meseguer,
Publisher: Springer
Keywords: science, computer, lecture, notes, theoretical, issues, general, birthday, 65th, essays, models, graphs, dedicated, ugo, occasion, montanari, concurrency
Number of Pages: 810
Published: 2008-07-07
List price: $119.00
ISBN-10: 3540686762
ISBN-13: 9783540686767

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 introducto

Authors:Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattar
Publisher: Springer
Keywords: formal, methods, software, communication, programming, engineering, computer, school, computational, systems, biology, international, design
Number of Pages: 525
Published: 2008-06-27
List price: $89.95
ISBN-10: 3540688927
ISBN-13: 9783540688921

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

Authors:Pierpaolo Degano, Joshua D. Guttman, Fabio Martinell
Publisher: Springer
Keywords: security, lecture, papers, notes, selected, computer, cryptology, science, revised, october, international, aspects, workshop, fast, spain, malaga, formal
Number of Pages: 331
Published: 2009-05-28
List price: $74.95
ISBN-10: 364201464X
ISBN-13: 9783642014642

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 syst

Authors:Pierpaolo Degano, Roberto Gorrieri, Alberto Marchett
Publisher: Springer
Keywords: proceedings, july, lecture, notes, science, computer, italy, bologna, programming, languages, 24th, international, icalp, colloquium, automata
Number of Pages: 862
Published: 1997-07-24
List price: $121.00
ISBN-10: 3540631658
ISBN-13: 9783540631651

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 sci

Authors:Rene Girard, Pierpaolo Antonello, Joao Cezar de Ca
Publisher: T&T Clark
Keywords: culture, origins, dialogues, conversion, evolution
Number of Pages: 282
Published: 2008-04-14
List price: $29.95
ISBN-10: 0567032523
ISBN-13: 9780567032522

Rene Girard is one of the most divisive and striking intellectuals of the 20th century. Over the past forty years, his work has continued to exert an influence across literary theory, philosophy and the social sciences. Echoing the format of his early works, Evolution and Conversion brings Girard into dialogue with two sympathetic interviewers and allows him to speak candidly about the major tenets of his life and thought. Hailed by Michel Serres as "the Charles Darwin" of human sciences, Girard is in fact one of the few thinkers who has given full consideration to an evolutionary perspective