• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 19 matches

• 2019
• 
  Anthony Anjorin, Enes Yigitbas, Hermann Kaindl:
  Consistent Runtime Adaptation of User Interfaces. Bx@PLW 2019: 61-65
• 
  Brendan Fong, Michael Johnson:
  Lenses and Learners. Bx@PLW 2019: 16-29
• 
  Michael Johnson, Robert D. Rosebrugh:
  Multicategories of Multiary Lenses. Bx@PLW 2019: 30-44
• 
  Michael Johnson, François Renaud:
  Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive. Bx@PLW 2019: 66-70
• 
  Mikaël Mayer, Ravi Chugh:
  A Bidirectional Krivine Evaluator. Bx@PLW 2019: 56-60
• 
  Mark Tullsen:
  ASN.1 Encoding Schemes Done Right Using CMPCT. Bx@PLW 2019: 1-15
• 
  Nils Weidmann, Anthony Anjorin, Lars Fritsche, Gergely Varró, Andy Schürr, Erhan Leblebici:
  Incremental Bidirectional Model Transformation with eMoflon: : IBeX. Bx@PLW 2019: 45-55
• 
  James Cheney, Hsiang-Shang Ko:
  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. CEUR Workshop Proceedings 2355, CEUR-WS.org 2019 [contents]
• 2016
• 
  Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki:
  Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. Bx@ETAPS 2016: 15-31
• 
  Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel:
  Towards the Propagation of Model Updates along different Views in Multi-View Models. Bx@ETAPS 2016: 45-60
• 
  Michael Johnson, Robert D. Rosebrugh:
  Unifying Set-Based, Delta-Based and Edit-Based Lenses. Bx@ETAPS 2016: 1-13
• 
  Max E. Kramer, Kirill Rakhman:
  Automated Inversion of Attribute Mappings in Bidirectional Model Transformations. Bx@ETAPS 2016: 61-76
• 
  Erhan Leblebici:
  Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support. Bx@ETAPS 2016: 35-39
• 
  James McKinna:
  Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal). Bx@ETAPS 2016: 14
• 
  James McKinna:
  Complements Witness Consistency. Bx@ETAPS 2016: 90-94
• 
  James McKinna, Perdita Stevens:
  How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). Bx@ETAPS 2016: 32-34
• 
  Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró:
  Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS 2016: 40-44
• 
  Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu:
  Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS 2016: 77-89
• 
  Anthony Anjorin, Jeremy Gibbons:
  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. CEUR Workshop Proceedings 1571, CEUR-WS.org 2016 [contents]