Search dblp for Publications

export results for "toc:db/conf/birthday/talcott2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/Arbab11,
  author       = {Farhad Arbab},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Puff, The Magic Protocol},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {169--206},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_9},
  doi          = {10.1007/978-3-642-24933-4\_9},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Arbab11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BianchiniPS11,
  author       = {Devis Bianchini and
                  Francesco Pagliarecci and
                  Luca Spalazzi},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {From Service Identification to Service Selection: An Interleaved Perspective},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {223--240},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_11},
  doi          = {10.1007/978-3-642-24933-4\_11},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BianchiniPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ClavelMP11,
  author       = {Manuel Clavel and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Parameterized Metareasoning in Membership Equational Logic},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {277--298},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_14},
  doi          = {10.1007/978-3-642-24933-4\_14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ClavelMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DohKS11,
  author       = {Kyung{-}Goo Doh and
                  Hyunha Kim and
                  David A. Schmidt},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Abstract LR-Parsing},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {90--109},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_6},
  doi          = {10.1007/978-3-642-24933-4\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DohKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Duarte11,
  author       = {Carlos Henrique C. Duarte},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Mathematical Models of Object-Based Distributed Systems},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {57--73},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_4},
  doi          = {10.1007/978-3-642-24933-4\_4},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Duarte11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DuranRA11,
  author       = {Francisco Dur{\'{a}}n and
                  Camilo Rocha and
                  Jos{\'{e}} Mar{\'{\i}}a {\'{A}}lvarez},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Towards a Maude Formal Environment},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {329--351},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_17},
  doi          = {10.1007/978-3-642-24933-4\_17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/DuranRA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Eker11,
  author       = {Steven Eker},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Fast Sort Computations for Order-Sorted Matching and Unification},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {299--314},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_15},
  doi          = {10.1007/978-3-642-24933-4\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Eker11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Feferman11,
  author       = {Solomon Feferman},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Two PhD Students for the Price of One},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_1},
  doi          = {10.1007/978-3-642-24933-4\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Feferman11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GehaniZS11,
  author       = {Ashish Gehani and
                  Lee Zaniewski and
                  K. Subramani},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Algorithmic Aspects of Risk Management},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {262--276},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_13},
  doi          = {10.1007/978-3-642-24933-4\_13},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/GehaniZS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HartmannJSV11,
  author       = {Lars Hartmann and
                  Neil D. Jones and
                  Jakob Grue Simonsen and
                  S{\o}ren Bjerregaard Vrist},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Computational Biology: {A} Programming Perspective},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {403--433},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_20},
  doi          = {10.1007/978-3-642-24933-4\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HartmannJSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HolzlW11,
  author       = {Matthias M. H{\"{o}}lzl and
                  Martin Wirsing},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Towards a System Model for Ensembles},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {241--261},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_12},
  doi          = {10.1007/978-3-642-24933-4\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HolzlW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/JalaliMV11,
  author       = {Leila Jalali and
                  Sharad Mehrotra and
                  Nalini Venkatasubramanian},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Multisimulations: Towards Next Generation Integrated Simulation Environments},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {352--367},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_18},
  doi          = {10.1007/978-3-642-24933-4\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JalaliMV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KimSTDV11,
  author       = {Minyoung Kim and
                  Mark{-}Oliver Stehr and
                  Carolyn L. Talcott and
                  Nikil D. Dutt and
                  Nalini Venkatasubramanian},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {A Formal Methodology for Compositional Cross-Layer Optimization},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {207--222},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_10},
  doi          = {10.1007/978-3-642-24933-4\_10},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/KimSTDV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/NielsonNKP11,
  author       = {Hanne Riis Nielson and
                  Flemming Nielson and
                  J{\"{o}}rg Kreiker and
                  Henrik Pilegaard},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {From Explicit to Symbolic Types for Communication Protocols in {CCS}},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_5},
  doi          = {10.1007/978-3-642-24933-4\_5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NielsonNKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Olveczky11,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Semantics, Simulation, and Formal Analysis of Modeling Languages for
                  Embedded Systems in Real-Time Maude},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {368--402},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_19},
  doi          = {10.1007/978-3-642-24933-4\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Olveczky11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/OwreS11,
  author       = {Sam Owre and
                  Natarajan Shankar},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Solving the First Verified Software Competition Problems Using {PVS}},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {315--328},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_16},
  doi          = {10.1007/978-3-642-24933-4\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/OwreS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/PanikkarKMAKGT11,
  author       = {Anupama Panikkar and
                  Merrill Knapp and
                  Huaiyu Mi and
                  Dave Anderson and
                  Krishna Kodukula and
                  Amit K. Galande and
                  Carolyn L. Talcott},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Applications of Pathway Logic Modeling to Target Identification},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {434--445},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_21},
  doi          = {10.1007/978-3-642-24933-4\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/PanikkarKMAKGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Pinsky11,
  author       = {Sylvan Pinsky},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Honoring Carolyn Talcott's Contributions to Science},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {4--19},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_2},
  doi          = {10.1007/978-3-642-24933-4\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Pinsky11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/RenYS11,
  author       = {Shangping Ren and
                  Yue Yu and
                  Miao Song},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Model Feasible Interactions in Distributed Real-Time Systems},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {144--168},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_8},
  doi          = {10.1007/978-3-642-24933-4\_8},
  timestamp    = {Sat, 07 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/RenYS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/SirjaniJ11,
  author       = {Marjan Sirjani and
                  Mohammad Mahdi Jaghoori},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Ten Years of Analyzing Actors: Rebeca Experience},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {20--56},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_3},
  doi          = {10.1007/978-3-642-24933-4\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/SirjaniJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/StehrTRLKCP11,
  author       = {Mark{-}Oliver Stehr and
                  Carolyn L. Talcott and
                  John M. Rushby and
                  Patrick Lincoln and
                  Minyoung Kim and
                  Steven Cheung and
                  Andy Poggio},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Fractionated Software for Networked Cyber-Physical Systems: Research
                  Directions and Long-Term Vision},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {110--143},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_7},
  doi          = {10.1007/978-3-642-24933-4\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/StehrTRLKCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2011talcott,
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4},
  doi          = {10.1007/978-3-642-24933-4},
  isbn         = {978-3-642-24932-7},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2011talcott.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.