107 papers:
ICALP-v1-2015-DisserKL #bidirectional #scheduling- Scheduling Bidirectional Traffic on a Path (YD, MK, EL), pp. 406–418.
ICFP-2015-MatsudaW #bidirectional #lens #programming- Applicative bidirectional programming with lenses (KM, MW), pp. 62–74.
BX-2015-Abou-SalehMG #algebra #aspect-oriented #bidirectional- Coalgebraic Aspects of Bidirectional Computation (FAS, JM, JG), pp. 16–30.
BX-2015-CheneyGMS #bidirectional #towards- Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
BX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation- Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
SLE-2015-EramoPR #bidirectional #model transformation #nondeterminism- Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
FASE-2014-Stevens #bidirectional #consistency #nondeterminism- Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.
PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware- Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
PEPM-2014-PachecoHF #bidirectional #combinator #monad #programming- Monadic combinators for “Putback” style bidirectional programming (HP, ZH, SF), pp. 39–50.
FM-2014-HuPF #bidirectional #programming- Validity Checking of Putback Transformations in Bidirectional Programming (ZH, HP, SF), pp. 1–15.
IFL-2014-DomoszlaiLP14a #bidirectional #lens #parametricity- Parametric lenses: change notification for bidirectional lenses (LD, BL, RP), p. 9.
AMT-2014-EramoMPR #bidirectional #nondeterminism #towards- Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.
AMT-2014-PoskittDPR #bidirectional #model transformation #towards- Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
BX-2014-BeineHWC #bidirectional #case study #database #evolution #scalability- Bidirectional Transformations in Database Evolution: A Case Study “At Scale” (MB, NH, JHW, AC), pp. 100–107.
BX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala- Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
PPDP-2014-FerreiraP #bidirectional #source code- Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.
PPDP-2014-PachecoZH #bidirectional #functional #named #xml- BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.
ICDAR-2013-Ul-HasanARSB #bidirectional #network #recognition- Offline Printed Urdu Nastaleeq Script Recognition with Bidirectional LSTM Networks (AUH, SBA, SFR, FS, TMB), pp. 1061–1065.
FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
PEPM-2013-Hu #aspect-oriented #bidirectional #graph transformation- Practical aspects of bidirectional graph transformations (ZH), pp. 1–2.
ICFP-2013-DunfieldK #bidirectional #morphism #polymorphism #rank- Complete and easy bidirectional typechecking for higher-rank polymorphism (JD, NRK), pp. 429–442.
CHI-2013-FarzanK #bidirectional #community #empirical #online #student #wiki- Wikipedia classroom experiment: bidirectional benefits of students’ engagement in online production communities (RF, REK), pp. 783–792.
BX-2013-EramoB #bidirectional #comprehension #graph grammar- Understanding bidirectional transformations with TGGs and JTL (RE, AB), pp. 37–56.
BX-2013-Wilson-KanamoriH #bidirectional #collaboration #development #framework- A Bidirectional Collaboration Framework for Bio-Model Development (JRWK, SH), pp. 111–128.
PPDP-2013-LamoMRL #approach #bidirectional #declarative #graph #model transformation- A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.
QoSA-2012-EramoCPT #architecture #bidirectional #model transformation #refactoring- Performance-driven architectural refactoring through bidirectional model transformations (RE, VC, AP, MT), pp. 55–60.
PODS-2012-Pierce #bidirectional #tutorial- Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.
DLT-2012-GiambrunoMNS #bidirectional #finite- A Generalization of Girod’s Bidirectional Decoding Method to Codes with a Finite Deciphering Delay (LG, SM, JN, CS), pp. 471–476.
BX-2012-LambersHGO #bidirectional #graph grammar #model transformation- Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.
BX-2012-Stevens #bidirectional #set- Observations relating to the equivalences induced on model sets by bidirectional transformations (PS), pp. 100–115.
ECMFA-2012-LauderAVS #bidirectional #graph grammar #model transformation #precedence- Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.
ICMT-2012-CunhaFMPS #bidirectional #modelling #spreadsheet- Bidirectional Transformation of Model-Driven Spreadsheets (JC, JPF, JM, HP, JS), pp. 105–120.
ICMT-2012-PachecoC #bidirectional #model transformation #multi #named #xml- Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
ICMT-2012-TerwilligerCC #bidirectional #framework #how #incremental #towards- How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.
ICSE-2012-CunhaFMS12a #bidirectional #modelling #spreadsheet- A bidirectional model-driven spreadsheet environment (JC, JPF, JM, JS), pp. 1443–1444.
ICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability- Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
LDTA-2012-Voigtlander #bidirectional #programming language- Programming language approaches to bidirectional transformation (JV), p. 1.
SLE-2012-AnjorinSRS #bidirectional #framework- A Framework for Bidirectional Model-to-Platform Transformations (AA, KS, SR, AS), pp. 124–143.
ASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named- GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
DAC-2011-TsaiZCH #bidirectional #fault tolerance #using- A fault-tolerant NoC scheme using bidirectional channel (WCT, DYZ, SJC, YHH), pp. 918–923.
PEPM-2011-PachecoC #bidirectional #lens #optimisation- Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
ICFP-2011-WangGW #bidirectional #incremental #performance- Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.
CSCW-2011-BednarikSP #bidirectional #collaboration- Bidirectional gaze in remote computer mediated collaboration: setup and initial results from pair-programming (RB, AS, SP), pp. 597–600.
CIKM-2011-YuKL #approach #bidirectional #bottom-up #information management #top-down #towards- Towards a top-down and bottom-up bidirectional approach to joint information extraction (XY, IK, MRL), pp. 847–856.
ICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry- From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
BX-2011-Diskin1 #bidirectional #model transformation #weaving- From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.
BX-2011-Foster #bidirectional- Languages for Bidirectional Transformations (NF), p. 49.
BX-2011-Gibbons #bidirectional #programming #topic- HOT Topics in Bidirectional Programming (JG), p. 56.
BX-2011-Greenyer #bidirectional #model transformation- Unified (Bidirectional) Transformation Language (JG), p. 58.
BX-2011-Hidaka #bidirectional #graph transformation #recursion- Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
BX-2011-Hildebrandt #bidirectional #incremental- Incremental Bidirectional Model Synchronization (SH), p. 59.
BX-2011-Kindler1 #bidirectional #challenge- Some challenges of integrating bidirectional transformation technologies (EK), p. 61.
BX-2011-Kuester #bidirectional #development #towards- Towards Systematic Development of Bidirectional Transformations (JMK), p. 61.
BX-2011-Paige #bidirectional- Bidirectional transformations and inter-modelling (RFP), p. 62.
BX-2011-Pierantonio #bidirectional- Bidirectional and change propagating transformations in MDE (AP), p. 63.
BX-2011-Terwilliger #bidirectional #database #research- Bidirectional Transformations in Database Research and Practice (JT), p. 50.
BX-2011-Voigtlaender1 #bidirectional #performance- Efficiency of Bidirectional Transformations (JV), p. 64.
MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
GTTSE-2011-Terwilliger #adaptation #bidirectional #development #evolution #persistent- Bidirectional by Necessity: Data Persistence and Adaptability for Evolving Application Development (JFT), pp. 219–270.
SLE-2011-Wider #bidirectional #combinator #model transformation #scala #towards- Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.
ICMT-2010-DiskinXC #bidirectional #model transformation- From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
SLE-2010-CicchettiREP #bidirectional #model transformation #named- JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
PEPM-2009-FradeSU #analysis #bidirectional #data flow- Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
CIKM-2009-ZhangJZZ #bidirectional #detection- Exploiting bidirectional links: making spamming detection easier (YZ, QJ, LZ, YZ), pp. 1839–1842.
ICMT-2009-CzarneckiFHLST #bidirectional #perspective- Bidirectional Transformations: A Cross-Discipline Perspective (KC, JNF, ZH, RL, AS, JFT), pp. 260–283.
ICMT-2009-Pierce #bidirectional #programming- Foundations for Bidirectional Programming (BCP), pp. 1–3.
ICMT-2009-XiongSHT #bidirectional #model transformation #parallel- Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
ICGT-2008-Stevens #algebra #bidirectional #towards- Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.
BX-2008-Czarnecki1 #bidirectional #modelling- Bidirectional Transformations for Framework-Specific Modeling Languages (KC), p. 45.
BX-2008-Hidaka1 #bidirectional #graph transformation #using- Bidirectional Graph Transformation using UnCAL (SH), p. 43.
BX-2008-Voigtlaender1 #bidirectional #theorem- Free Theorems and Bidirectional Transformations (JV), p. 30.
BX-2008-Wang1 #abstraction #bidirectional- Translucent Abstraction: Safe Views Through Bidirectional Transformations (MW), p. 41.
MoDELS-2008-Diskin #algebra #bidirectional #modelling- Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
MoDELS-2008-Diskin #algebra #bidirectional #modelling- Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
FASE-2007-EhrigEEHT #bidirectional #model transformation- Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.
PEPM-2007-LiuHT #bidirectional #xquery- Bidirectional interpretation of XQuery (DL, ZH, MT), pp. 21–30.
MoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
GTTSE-2007-Stevens #bidirectional #model transformation- A Landscape of Bidirectional Model Transformations (PS), pp. 408–424.
COCV-2007-FangS #bidirectional #compilation #generative #java #using- Generating Java Compiler Optimizers Using Bidirectional CTL (LF, MS), pp. 49–63.
CADE-2007-HeilalaP #bidirectional #logic- Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4 (SH, BP), pp. 116–131.
ICFP-2006-KawanakaH #bidirectional #model transformation #named #xml- biXid: a bidirectional transformation language for XML (SK, HH), pp. 201–214.
ICPR-v1-2006-Ueshiba #bidirectional #implementation #performance #realtime- An Efficient Implementation Technique of Bidirectional Matching for Real-time Trinocular Stereo Vision (TU), pp. 1076–1079.
ICPR-v2-2006-QiaoY06a #bidirectional #image #multi #using- Recover Writing Trajectory from Multiple Stroked Image Using Bidirectional Dynamic Search (YQ, MY), pp. 970–973.
SIGIR-2006-WangO #bidirectional #information retrieval- Combining bidirectional translation and synonymy for cross-language information retrieval (JW, DWO), pp. 202–209.
VLDB-2005-KacholiaPCSDK #bidirectional #database #graph #keyword- Bidirectional Expansion For Keyword Search on Graph Databases (VK, SP, SC, SS, RD, HK), pp. 505–516.
ECMDA-FA-2005-ChiversP #bidirectional #named- XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language (HC, RFP), pp. 205–219.
PEPM-2004-HuMT #bidirectional #documentation #editing #programmable- A programmable editor for developing structured documents based on bidirectional transformations (ZH, SCM, MT), pp. 178–189.
ICPR-v1-2004-FilipH #bidirectional #synthesis- Non-linear Reflectance Model for Bidirectional Texture Function Synthesis (JF, MH), pp. 80–83.
ICPR-v4-2004-ChenC04a #bidirectional #dependence #learning #network- Improvement of Bidirectional Recurrent Neural Network for Learning Long-Term Dependencies (JC, NSC), pp. 593–596.
DAC-2003-GhoneimaI #bidirectional- Optimum positioning of interleaved repeaters In bidirectional buses (MG, YII), pp. 586–591.
CIAA-2002-AlonsoDF #automaton #bidirectional- Tabulation of Bidirectional Push Down Automata (MAA, VJD, MVF), pp. 35–46.
CAV-2002-ChakrabartiAHM #bidirectional #component #interface- Synchronous and Bidirectional Component Interfaces (AC, LdA, TAH, FYCM), pp. 414–427.
PLDI-2000-Boothe #algorithm #bidirectional #debugging #performance- Efficient algorithms for bidirectional debugging (BB), pp. 299–310.
ICPR-v3-2000-WerthS #bidirectional #correlation #framework #novel #refinement- A Novel Bidirectional Framework for Control and Refinement of Area Based Correlation Techniques (PW, SS), pp. 3738–3741.
DLT-1999-AndreiK #bidirectional #linear #parsing- Bidirectional parsing for linear languages (SA, MK), pp. 257–269.
SAS-1998-Ruthing #analysis #bidirectional #data flow- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality (OR), pp. 1–16.
ICPR-1998-MaruyamaAN #bidirectional #recognition #synthesis- Face recognition by bidirectional view synthesis (MM, SA, YN), pp. 157–159.
DLT-1995-Nederhof #automaton #bidirectional #parsing- Reversible Pushdown Automata and Bidirectional Parsing (MJN), pp. 472–481.
OOPSLA-1995-Myers #bidirectional #compilation #layout- Bidirectional Object Layout for Separate Compilation (ACM), pp. 124–139.
HCI-SHI-1993-KurokawaMW #bidirectional #communication #people- Bidirectional Translation between Sign Language and Japanese for Communication with Deaf-Mute People (TK, TM, SW), pp. 1109–1114.
POPL-1993-DhamdhereK #analysis #bidirectional #complexity #data flow- Complexity of Bidirectional Data Flow Analysis (DMD, UPK), pp. 397–408.
SAC-1993-KulkarniY #bidirectional #image- Generalized Bidirectional Associative Memories for Image Processing (ADK, IY), pp. 373–379.
ICALP-1985-LubyR #algorithm #behaviour #bidirectional- A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior (Preliminary Version) (ML, PR), pp. 394–403.
DAC-1983-OgiharaMTKF #bidirectional #design #generative #testing- Test generation for scan design circuits with tri-state modules and bidirectional terminals (TO, SM, YT, KK, HF), pp. 71–78.
STOC-1983-Gabow #network #performance #problem #reduction- An Efficient Reduction Technique for Degree-Constrained Subgraph and Bidirected Network Flow Problems (HNG), pp. 448–456.