Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/wadt/2014,
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28114-8},
  doi          = {10.1007/978-3-319-28114-8},
  isbn         = {978-3-319-28113-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BenzmullerP14,
  author       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {On Logic Embeddings and G{\"{o}}del's God},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {3--6},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_1},
  doi          = {10.1007/978-3-319-28114-8\_1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BenzmullerP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/ChiritaS14,
  author       = {Claudia Elena Chirita and
                  Traian{-}Florin Serbanuta},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {An Institutional Foundation for the {K} Semantic Framework},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {9--29},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_2},
  doi          = {10.1007/978-3-319-28114-8\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/ChiritaS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CiobacaLRR14,
  author       = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and
                  Dorel Lucanu and
                  Vlad Rusu and
                  Grigore Rosu},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {A Theoretical Foundation for Programming Languages Aggregation},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {30--47},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_3},
  doi          = {10.1007/978-3-319-28114-8\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CiobacaLRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/FortinBR14,
  author       = {Marie Fortin and
                  Marcello M. Bonsangue and
                  Jan Rutten},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {Coalgebraic Semantics of Heavy-Weighted Automata},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {48--68},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_4},
  doi          = {10.1007/978-3-319-28114-8\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/FortinBR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Gaina14,
  author       = {Daniel G{\^{a}}in{\^{a}}},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {Foundations of Logic Programming in Hybridised Logics},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {69--89},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_5},
  doi          = {10.1007/978-3-319-28114-8\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadt/Gaina14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MossakowskiKM14,
  author       = {Till Mossakowski and
                  Ulf Krumnack and
                  Tom Maibaum},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {What Is a Derived Signature Morphism?},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {90--109},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_6},
  doi          = {10.1007/978-3-319-28114-8\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/OliveiraRCDNR14,
  author       = {Marcos Oliveira Jr. and
                  Leila Ribeiro and
                  {\'{E}}rika F. Cota and
                  Lucio Mauro Duarte and
                  Ingrid Nunes and
                  Filipe Reis},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {Use Case Analysis Based on Formal Methods: An Empirical Study},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {110--130},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_7},
  doi          = {10.1007/978-3-319-28114-8\_7},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wadt/OliveiraRCDNR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/VissaniPTF14,
  author       = {Ignacio Vissani and
                  Carlos Gustavo L{\'{o}}pez Pombo and
                  Ionut Tutu and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {A Full Operational Semantics for Asynchronous Relational Networks},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {131--150},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_8},
  doi          = {10.1007/978-3-319-28114-8\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/VissaniPTF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/YuW14,
  author       = {Ning Yu and
                  Martin Wirsing},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {A SOC-Based Formal Specification and Verification of Hybrid Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {151--169},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_9},
  doi          = {10.1007/978-3-319-28114-8\_9},
  timestamp    = {Sun, 07 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/YuW14.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.