|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daisuke Kinoshita, Keisuke Nakano 0001 |
Bidirectional Certified Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 31-38, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Stephan Seifermann, Jörg Henß |
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 6-14, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Milica Stojkovic, Sven Laux, Anthony Anjorin |
Existing and New Ideas on Least Change Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 1-5, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Danel Ahman, Tarmo Uustalu |
Taking Updates Seriously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 59-73, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel |
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 15-30, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Robert D. Rosebrugh |
Universal Updates for Symmetric Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 39-53, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Zinovy Diskin |
Compositionality of Update Propagation: Lax PutPut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 74-89, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Perdita Stevens, Jeremy Gibbons |
On Ontologology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![In: Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017., pp. 54-58, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Romina Eramo, Michael Johnson (eds.) |
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BX@ETAPS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Oszkár Semeráth, Csaba Debreceni, Ákos Horváth 0001, Dániel Varró |
Change Propagation of View Models by Logic Synthesis using SAT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 40-44, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | James McKinna, Perdita Stevens |
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 32-34, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki 0001 |
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 15-31, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | James McKinna |
Complements Witness Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 90-94, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann 0001, Thomas Engel 0001 |
Towards the Propagation of Model Updates along different Views in Multi-View Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 45-60, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Erhan Leblebici |
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 35-39, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | James McKinna |
Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 14, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Max E. Kramer, Kirill Rakhman |
Automated Inversion of Attribute Mappings in Bidirectional Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 61-76, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Anthony Anjorin, Jeremy Gibbons (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu |
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 77-89, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Robert D. Rosebrugh |
Unifying Set-Based, Delta-Based and Edit-Based Lenses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bx@ETAPS ![In: 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., pp. 1-13, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|