default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/bx:"
download as .bib file
@inproceedings{DBLP:conf/bx/AnjorinYK19,
author = {Anthony Anjorin and
Enes Yigitbas and
Hermann Kaindl},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Consistent Runtime Adaptation of User Interfaces},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {61--65},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/bx/AnjorinYK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/FongJ19,
author = {Brendan Fong and
Michael Johnson},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Lenses and Learners},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {16--29},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/FongJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/JohnsonR19,
author = {Michael Johnson and
Robert D. Rosebrugh},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Multicategories of Multiary Lenses},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {30--44},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/JohnsonR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/JohnsonR19a,
author = {Michael Johnson and
Fran{\c{c}}ois Renaud},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {66--70},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/JohnsonR19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/MayerC19,
author = {Mika{\"{e}}l Mayer and
Ravi Chugh},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {A Bidirectional Krivine Evaluator},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {56--60},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/MayerC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/Tullsen19,
author = {Mark Tullsen},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {{ASN.1} Encoding Schemes Done Right Using {CMPCT}},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {1--15},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/Tullsen19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bx/WeidmannAFVSL19,
author = {Nils Weidmann and
Anthony Anjorin and
Lars Fritsche and
Gergely Varr{\'{o}} and
Andy Sch{\"{u}}rr and
Erhan Leblebici},
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Incremental Bidirectional Model Transformation with eMoflon: : IBeX},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
pages = {45--55},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355/paper4.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/WeidmannAFVSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bx/2019,
editor = {James Cheney and
Hsiang{-}Shang Ko},
title = {Proceedings of the 8th International Workshop on Bidirectional Transformations
co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia,
PA, USA, June 4, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2355},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2355},
urn = {urn:nbn:de:0074-2355-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bx/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/DiskinEPC16,
author = {Zinovy Diskin and
Romina Eramo and
Alfonso Pierantonio and
Krzysztof Czarnecki},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Incorporating Uncertainty into Bidirectional Model Transformations
and their Delta-Lens Formalization},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {15--31},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:57 +0100},
biburl = {https://dblp.org/rec/conf/etaps/DiskinEPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/GottmannNE0E16,
author = {Susann Gottmann and
Nico Nachtigall and
Claudia Ermel and
Frank Hermann and
Thomas Engel},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Towards the Propagation of Model Updates along different Views in
Multi-View Models},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {45--60},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/GottmannNE0E16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/JohnsonR16,
author = {Michael Johnson and
Robert D. Rosebrugh},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Unifying Set-Based, Delta-Based and Edit-Based Lenses},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {1--13},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/JohnsonR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/KramerR16,
author = {Max E. Kramer and
Kirill Rakhman},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Automated Inversion of Attribute Mappings in Bidirectional Model Transformations},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {61--76},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/KramerR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/Leblebici16,
author = {Erhan Leblebici},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Towards a Graph Grammar-Based Approach to Inter-Model Consistency
Checks with Traceability Support},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {35--39},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/Leblebici16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/McKinna16,
author = {James McKinna},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Bidirectional Transformations with Deltas: {A} Dependently Typed Approach
(Talk Proposal)},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {14},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/McKinna16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/McKinna16a,
author = {James McKinna},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Complements Witness Consistency},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {90--94},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/McKinna16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/McKinnaS16,
author = {James McKinna and
Perdita Stevens},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {How to Regain Equilibrium without Losing your Balance? Scenarios for
Bx Deployment (Discussion Paper)},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {32--34},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/McKinnaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/SemerathDHV16,
author = {Oszk{\'{a}}r Semer{\'{a}}th and
Csaba Debreceni and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Change Propagation of View Models by Logic Synthesis using {SAT} solvers},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {40--44},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/SemerathDHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/ZanLKH16,
author = {Tao Zan and
Li Liu and
Hsiang{-}Shang Ko and
Zhenjiang Hu},
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Brul: {A} Putback-Based Bidirectional Transformation Library for Updatable
Views},
booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
pages = {77--89},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/ZanLKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2016bx,
editor = {Anthony Anjorin and
Jeremy Gibbons},
title = {Proceedings of the 5th International Workshop on Bidirectional Transformations,
Bx 2016, co-located with The European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 8, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1571},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1571},
urn = {urn:nbn:de:0074-1571-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2016bx.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.
retrieved on 2024-12-13 05:57 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
