Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/wadt/wadt2022.bht:"
@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} }
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.