Search dblp for Publications

export results for "toc:db/conf/wadt/wadt2010.bht:"

 download as .bib file

@proceedings{DBLP:conf/wadt/2010,
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28412-0},
  doi          = {10.1007/978-3-642-28412-0},
  isbn         = {978-3-642-28411-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BaldanB10,
  author       = {Paolo Baldan and
                  Clara Bertolissi},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Sharing in the Graph Rewriting Calculus},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {27--41},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_4},
  doi          = {10.1007/978-3-642-28412-0\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BaldanB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BauerHW10,
  author       = {Sebastian S. Bauer and
                  Rolf Hennicker and
                  Martin Wirsing},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Building a Modal Interface Theory for Concurrency and Data},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_1},
  doi          = {10.1007/978-3-642-28412-0\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BauerHW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BourkeDLLLNW10,
  author       = {Timothy Bourke and
                  Alexandre David and
                  Kim G. Larsen and
                  Axel Legay and
                  Didier Lime and
                  Ulrik Nyman and
                  Andrzej Wasowski},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {New Results on Timed Specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_12},
  doi          = {10.1007/978-3-642-28412-0\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BourkeDLLLNW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BruniKLS10,
  author       = {Roberto Bruni and
                  Anne Kersten and
                  Ivan Lanese and
                  Giorgio Spagnolo},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {A New Strategy for Distributed Compensations with Interruption in
                  Long-Running Transactions},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {42--60},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_5},
  doi          = {10.1007/978-3-642-28412-0\_5},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BruniKLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CastroM10,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Towards a First-Order Deontic Action Logic},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_6},
  doi          = {10.1007/978-3-642-28412-0\_6},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CastroM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/ChoppyR10,
  author       = {Christine Choppy and
                  Gianna Reggio},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a
                  UML-Like Notation},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {76--97},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_7},
  doi          = {10.1007/978-3-642-28412-0\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/ChoppyR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Codescu10,
  author       = {Mihai Codescu},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Lambda Expressions in Casl Architectural Specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {98--117},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_8},
  doi          = {10.1007/978-3-642-28412-0\_8},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Codescu10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CodescuHKMR10,
  author       = {Mihai Codescu and
                  Feryal Fulya Horozal and
                  Michael Kohlhase and
                  Till Mossakowski and
                  Florian Rabe},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {A Proof Theoretic Interpretation of Model Theoretic Hiding},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {118--138},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_9},
  doi          = {10.1007/978-3-642-28412-0\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CodescuHKMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CodescuHKMRS10,
  author       = {Mihai Codescu and
                  Feryal Fulya Horozal and
                  Michael Kohlhase and
                  Till Mossakowski and
                  Florian Rabe and
                  Kristina Sojakova},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Towards Logical Frameworks in the Heterogeneous Tool Set Hets},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {139--159},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_10},
  doi          = {10.1007/978-3-642-28412-0\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CodescuHKMRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CorradiniGR10,
  author       = {Andrea Corradini and
                  Fabio Gadducci and
                  Leila Ribeiro},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {An Institution for Graph Transformation},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {160--174},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_11},
  doi          = {10.1007/978-3-642-28412-0\_11},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CorradiniGR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Ehrich10,
  author       = {Hans{-}Dieter Ehrich},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {My {ADT} Shrine},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {13--24},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_2},
  doi          = {10.1007/978-3-642-28412-0\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Ehrich10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/KofronP10,
  author       = {Jan Kofron and
                  Frantisek Pl{\'{a}}sil},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Evolving {SOA} in the Q-ImPrESS Project},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {25--26},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_3},
  doi          = {10.1007/978-3-642-28412-0\_3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/KofronP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/KreowskiKT10,
  author       = {Hans{-}J{\"{o}}rg Kreowski and
                  Sabine Kuske and
                  Caroline von Totth},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Combining Graph Transformation and Algebraic Specification into Model
                  Transformation},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {193--208},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_13},
  doi          = {10.1007/978-3-642-28412-0\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/KreowskiKT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MaldonadoMR10,
  author       = {Ana Paula Maldonado and
                  Lu{\'{\i}}s Monteiro and
                  Markus Roggenbach},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Towards Bialgebraic Semantics for the Linear Time - Branching Time
                  Spectrum},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {209--225},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_14},
  doi          = {10.1007/978-3-642-28412-0\_14},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MaldonadoMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Marczynski10,
  author       = {Grzegorz Marczynski},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Algebraic Signatures Enriched by Dependency Structure},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {226--250},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_15},
  doi          = {10.1007/978-3-642-28412-0\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Marczynski10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/OReillyMR10,
  author       = {Liam O'Reilly and
                  Till Mossakowski and
                  Markus Roggenbach},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Compositional Modelling and Reasoning in an Institution for Processes
                  and Data},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {251--269},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_16},
  doi          = {10.1007/978-3-642-28412-0\_16},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/OReillyMR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Riesco10,
  author       = {Adri{\'{a}}n Riesco},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Test-Case Generation for Maude Functional Modules},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {287--301},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_18},
  doi          = {10.1007/978-3-642-28412-0\_18},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Riesco10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/SeidelV10,
  author       = {Daniel Seidel and
                  Janis Voigtl{\"{a}}nder},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Proving Properties about Functions on Lists Involving Element Tests},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {270--286},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_17},
  doi          = {10.1007/978-3-642-28412-0\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/SeidelV10.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.