Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/wadt/2022,
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43345-0},
  doi          = {10.1007/978-3-031-43345-0},
  isbn         = {978-3-031-43344-3},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/CrookMPR22,
  author       = {Tonicha Crook and
                  Jay Paul Morgan and
                  Arno Pauly and
                  Markus Roggenbach},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {A Computability Perspective on (Verified) Machine Learning},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {63--80},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_3},
  doi          = {10.1007/978-3-031-43345-0\_3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adt/CrookMPR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/GadducciT22,
  author       = {Fabio Gadducci and
                  Davide Trotta},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {A Presheaf Semantics for Quantified Temporal Logics},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {81--99},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_4},
  doi          = {10.1007/978-3-031-43345-0\_4},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/GadducciT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Goncharov22,
  author       = {Sergey Goncharov},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Shades of Iteration: From Elgot to Kleene},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {100--120},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_5},
  doi          = {10.1007/978-3-031-43345-0\_5},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Goncharov22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/KeisPSK22,
  author       = {Elias Keis and
                  Carlos Gustavo L{\'{o}}pez Pombo and
                  Agust{\'{\i}}n Eloy Martinez Su{\~{n}}{\'{e}} and
                  Alexander Knapp},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Automated QoS-Aware Service Selection Based on Soft Constraints},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {121--140},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_6},
  doi          = {10.1007/978-3-031-43345-0\_6},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/adt/KeisPSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/LionAT22,
  author       = {Benjamin Lion and
                  Farhad Arbab and
                  Carolyn L. Talcott},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Runtime Composition of Systems of Interacting Cyber-Physical Components},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {141--162},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_7},
  doi          = {10.1007/978-3-031-43345-0\_7},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/LionAT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Meseguer22,
  author       = {Jos{\'{e}} Meseguer},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Building Correct-by-Construction Systems with Formal Patterns},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {3--24},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_1},
  doi          = {10.1007/978-3-031-43345-0\_1},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Meseguer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Oliveira22,
  author       = {Jos{\'{e}} Nuno Oliveira},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {Why Adjunctions Matter - {A} Functional Programmer Perspective},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {25--59},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_2},
  doi          = {10.1007/978-3-031-43345-0\_2},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Oliveira22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adt/Tutu22,
  author       = {Ionut Tutu},
  editor       = {Alexandre Madeira and
                  Manuel A. Martins},
  title        = {SpeX: {A} Rewriting-Based Formal Specification Environment},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
                  2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13710},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-43345-0\_8},
  doi          = {10.1007/978-3-031-43345-0\_8},
  timestamp    = {Tue, 24 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Tutu22.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.