Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/wadt/BardohlGS01,
  author       = {Roswitha Bardohl and
                  Martin Gro{\ss}e{-}Rhode and
                  Marta Simeoni},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Interactive Rule-Based Specification with an Application to Visual
                  Language Definition},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_1},
  doi          = {10.1007/3-540-45645-7\_1},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BardohlGS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BidoitB01,
  author       = {Michel Bidoit and
                  Alexandre Boisseau},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Algebraic Abstractions},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {21--47},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_2},
  doi          = {10.1007/3-540-45645-7\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BidoitB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CaleiroMRS01,
  author       = {Carlos Caleiro and
                  Paulo Mateus and
                  Jaime Ramos and
                  Am{\'{\i}}lcar Sernadas},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Combining Logics: Parchments Revisited},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {48--70},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_3},
  doi          = {10.1007/3-540-45645-7\_3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CaleiroMRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CostaL01,
  author       = {Jos{\'{e}} F{\'{e}}lix Costa and
                  Hugo Louren{\c{c}}o},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Canonical Institutions of Behaviour},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {71--84},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_4},
  doi          = {10.1007/3-540-45645-7\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CostaL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/DoschM01,
  author       = {Walter Dosch and
                  S{\"{o}}nke Magnussen},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {The L{\"{u}}beck Transformation System: {A} Transformation System
                  for Equational Higher Order Algebraic Specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {85--108},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_5},
  doi          = {10.1007/3-540-45645-7\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/DoschM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/GajewskyP01,
  author       = {Magdalena Gajewsky and
                  Francesco Parisi{-}Presicce},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {On the Compatibility of Model and Model-Class Transformations},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {109--127},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_6},
  doi          = {10.1007/3-540-45645-7\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/GajewskyP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Harman01,
  author       = {Neal A. Harman},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Verifying a Simple Pipelined Microprocessor Using Maude},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {128--151},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_7},
  doi          = {10.1007/3-540-45645-7\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Harman01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Hoffman01,
  author       = {Piotr Hoffman},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Verifying Architectural Specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {152--175},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_8},
  doi          = {10.1007/3-540-45645-7\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Hoffman01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LedouxAGB01,
  author       = {Franck Ledoux and
                  Agn{\`{e}}s Arnould and
                  Pascale Le Gall and
                  Yves Bertrand},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Geometric Modelling with {CASL}},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {176--200},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_9},
  doi          = {10.1007/3-540-45645-7\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LedouxAGB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LopesWF01,
  author       = {Ant{\'{o}}nia Lopes and
                  Michel Wermelinger and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {A Compositional Approach to Connector Construction},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {201--220},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_10},
  doi          = {10.1007/3-540-45645-7\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LopesWF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MossakowskiK01,
  author       = {Till Mossakowski and
                  Bartek Klin},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Institution Independent Static Analysis for {CASL}},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_11},
  doi          = {10.1007/3-540-45645-7\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/OrejasEP01,
  author       = {Fernando Orejas and
                  Hartmut Ehrig and
                  Elvira Pino},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Tight and Loose Semantics for Transformation Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {238--255},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_12},
  doi          = {10.1007/3-540-45645-7\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/OrejasEP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Pawlowski01,
  author       = {Wieslaw Pawlowski},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Presentations for Abstract Context Institutions},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {256--279},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_13},
  doi          = {10.1007/3-540-45645-7\_13},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadt/Pawlowski01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/PoernomoCW01,
  author       = {Iman Poernomo and
                  John N. Crossley and
                  Martin Wirsing},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Programs, Proofs and Parametrized Specifications},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {280--304},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_14},
  doi          = {10.1007/3-540-45645-7\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/PoernomoCW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/RoggenbachS01,
  author       = {Markus Roggenbach and
                  Lutz Schr{\"{o}}der},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Towards Trustworthy Specifications {I:} Consistency Checks},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {305--327},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_15},
  doi          = {10.1007/3-540-45645-7\_15},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/RoggenbachS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Sannella01,
  author       = {Donald Sannella},
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {The Common Framework Initiative for Algebraic Specification and Development
                  of Software: Recent Progress},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  pages        = {328--344},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7\_16},
  doi          = {10.1007/3-540-45645-7\_16},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Sannella01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wadt/2001,
  editor       = {Maura Cerioli and
                  Gianna Reggio},
  title        = {Recent Trends in Algebraic Development Techniques, 15th International
                  Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
                  April 1-3, 2001, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2267},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45645-7},
  doi          = {10.1007/3-540-45645-7},
  isbn         = {3-540-43159-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.