@article{GhicaH10,
  title = {Foreword},
  author = {Dan R. Ghica and Russ Harmer},
  year = {2010},
  doi = {10.1016/j.apal.2009.07.021},
  url = {http://dx.doi.org/10.1016/j.apal.2009.07.021},
  researchr = {https://researchr.org/publication/GhicaH10},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {161},
  number = {5},
  pages = {617},
}

@inproceedings{DimovskiGL05,
  title = {Abstraction-refinement for game-based model checking},
  author = {Aleksandar Dimovski and Dan R. Ghica and Ranko Lazic},
  year = {2005},
  tags = {rule-based, model checking, meta-model, refinement, abstraction, Meta-Environment},
  researchr = {https://researchr.org/publication/DimovskiGL05},
  cites = {0},
  citedby = {0},
  pages = {139},
  booktitle = {galop},
}

@article{GhicaM08,
  title = {Angelic semantics of fine-grained concurrency},
  author = {Dan R. Ghica and Andrzej S. Murawski},
  year = {2008},
  doi = {10.1016/j.apal.2007.10.005},
  url = {http://dx.doi.org/10.1016/j.apal.2007.10.005},
  tags = {semantics},
  researchr = {https://researchr.org/publication/GhicaM08},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {151},
  number = {2-3},
  pages = {89-114},
}

@inproceedings{FredrikssonGW14,
  title = {Towards native higher-order remote procedure calls},
  author = {Olle Fredriksson and Dan R. Ghica and Bertram Wheen},
  year = {2014},
  doi = {10.1145/2746325.2746332},
  url = {http://doi.acm.org/10.1145/2746325.2746332},
  researchr = {https://researchr.org/publication/FredrikssonGW14},
  cites = {0},
  citedby = {0},
  pages = {10},
  booktitle = {IFL},
}

@inproceedings{GhicaB09,
  title = {Clipping: A Semantics-Directed Syntactic Approximation},
  author = {Dan R. Ghica and Adam Bakewell},
  year = {2009},
  doi = {10.1109/LICS.2009.25},
  url = {http://dx.doi.org/10.1109/LICS.2009.25},
  tags = {semantics},
  researchr = {https://researchr.org/publication/GhicaB09},
  cites = {0},
  citedby = {0},
  pages = {189-198},
  booktitle = {lics},
}

@inproceedings{Ghica07,
  title = {Geometry of synthesis: a structured approach to VLSI design},
  author = {Dan R. Ghica},
  year = {2007},
  doi = {10.1145/1190216.1190269},
  url = {http://doi.acm.org/10.1145/1190216.1190269},
  tags = {design, systematic-approach},
  researchr = {https://researchr.org/publication/Ghica07},
  cites = {0},
  citedby = {0},
  pages = {363-375},
  booktitle = {POPL},
}

@inproceedings{GhicaSS11,
  title = {Geometry of synthesis iv: compiling affine recursion into static hardware},
  author = {Dan R. Ghica and Alex Smith and Satnam Singh},
  year = {2011},
  doi = {10.1145/2034773.2034805},
  url = {http://doi.acm.org/10.1145/2034773.2034805},
  researchr = {https://researchr.org/publication/GhicaSS11},
  cites = {0},
  citedby = {0},
  pages = {221-233},
  booktitle = {ICFP},
}

@inproceedings{DimovskiGL06,
  title = {A Counterexample-Guided Refinement Tool for Open Procedural Programs},
  author = {Aleksandar Dimovski and Dan R. Ghica and Ranko Lazic},
  year = {2006},
  doi = {10.1007/11691617_17},
  url = {http://dx.doi.org/10.1007/11691617_17},
  tags = {refinement, source-to-source, open-source},
  researchr = {https://researchr.org/publication/DimovskiGL06},
  cites = {0},
  citedby = {0},
  pages = {288-292},
  booktitle = {spin},
}

@inproceedings{GhicaS14,
  title = {Bounded Linear Types in a Resource Semiring},
  author = {Dan R. Ghica and Alex I. Smith},
  year = {2014},
  doi = {10.1007/978-3-642-54833-8_18},
  url = {http://dx.doi.org/10.1007/978-3-642-54833-8_18},
  researchr = {https://researchr.org/publication/GhicaS14},
  cites = {0},
  citedby = {0},
  pages = {331-350},
  booktitle = {ESOP},
}

@inproceedings{DimovskiGL05:0,
  title = {Data-Abstraction Refinement: A Game Semantic Approach},
  author = {Aleksandar Dimovski and Dan R. Ghica and Ranko Lazic},
  year = {2005},
  doi = {10.1007/11547662_9},
  url = {http://dx.doi.org/10.1007/11547662_9},
  tags = {refinement, data-flow, abstraction, systematic-approach},
  researchr = {https://researchr.org/publication/DimovskiGL05%3A0},
  cites = {0},
  citedby = {0},
  pages = {102-117},
  booktitle = {SAS},
}

@inproceedings{Ghica05,
  title = {Slot games: a quantitative model of computation},
  author = {Dan R. Ghica},
  year = {2005},
  doi = {10.1145/1040305.1040313},
  url = {http://doi.acm.org/10.1145/1040305.1040313},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Ghica05},
  cites = {0},
  citedby = {0},
  pages = {85-97},
  booktitle = {POPL},
}

@inproceedings{Ghica09,
  title = {Applications of Game Semantics: From Program Analysis to Hardware Synthesis},
  author = {Dan R. Ghica},
  year = {2009},
  doi = {10.1109/LICS.2009.26},
  url = {http://dx.doi.org/10.1109/LICS.2009.26},
  tags = {semantics, program analysis, analysis},
  researchr = {https://researchr.org/publication/Ghica09},
  cites = {0},
  citedby = {0},
  pages = {17-26},
  booktitle = {lics},
}

@inproceedings{Ghica12,
  title = {The Geometry of Synthesis - How to Make Hardware Out of Software},
  author = {Dan R. Ghica},
  year = {2012},
  doi = {10.1007/978-3-642-31113-0_3},
  url = {http://dx.doi.org/10.1007/978-3-642-31113-0_3},
  researchr = {https://researchr.org/publication/Ghica12},
  cites = {0},
  citedby = {0},
  pages = {23-24},
  booktitle = {mpc},
}

@article{GhicaT12,
  title = {A System-Level Game Semantics},
  author = {Dan R. Ghica and Nikos Tzevelekos},
  year = {2012},
  doi = {10.1016/j.entcs.2012.08.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2012.08.013},
  researchr = {https://researchr.org/publication/GhicaT12},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {286},
  pages = {191-211},
}

@inproceedings{AbramskyGMOS04,
  title = {Nominal Games and Full Abstraction for the Nu-Calculus},
  author = {Samson Abramsky and Dan R. Ghica and Andrzej S. Murawski and C.-H. Luke Ong and Ian D. B. Stark},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920150abs.htm},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/AbramskyGMOS04},
  cites = {0},
  citedby = {0},
  pages = {150-159},
  booktitle = {lics},
}

@inproceedings{GhicaM06,
  title = {Compositional Model Extraction for Higher-Order Concurrent Programs},
  author = {Dan R. Ghica and Andrzej S. Murawski},
  year = {2006},
  doi = {10.1007/11691372_20},
  url = {http://dx.doi.org/10.1007/11691372_20},
  tags = {composition},
  researchr = {https://researchr.org/publication/GhicaM06},
  cites = {0},
  citedby = {0},
  pages = {303-317},
  booktitle = {TACAS},
}

@article{BakewellDGL10,
  title = {Data-abstraction refinement: a game semantic approach},
  author = {Adam Bakewell and Aleksandar Dimovski and Dan R. Ghica and Ranko Lazic},
  year = {2010},
  doi = {10.1007/s10009-010-0143-0},
  url = {http://dx.doi.org/10.1007/s10009-010-0143-0},
  tags = {refinement, data-flow, abstraction, systematic-approach},
  researchr = {https://researchr.org/publication/BakewellDGL10},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {12},
  number = {5},
  pages = {373-389},
}

@article{McCuskerG08,
  title = {Foreword for special issue of APAL for GaLoP 2005},
  author = {Guy McCusker and Dan R. Ghica},
  year = {2008},
  doi = {10.1016/j.apal.2007.10.003},
  url = {http://dx.doi.org/10.1016/j.apal.2007.10.003},
  researchr = {https://researchr.org/publication/McCuskerG08},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {151},
  number = {2-3},
  pages = {69},
}

@inproceedings{BakewellG09,
  title = {Compositional Predicate Abstraction from Game Semantics},
  author = {Adam Bakewell and Dan R. Ghica},
  year = {2009},
  doi = {10.1007/978-3-642-00768-2_8},
  url = {http://dx.doi.org/10.1007/978-3-642-00768-2_8},
  tags = {semantics, composition, abstraction},
  researchr = {https://researchr.org/publication/BakewellG09},
  cites = {0},
  citedby = {0},
  pages = {62-76},
  booktitle = {TACAS},
}

@inproceedings{GhicaS11,
  title = {Geometry of synthesis III: resource management through type inference},
  author = {Dan R. Ghica and Alex Smith},
  year = {2011},
  doi = {10.1145/1926385.1926425},
  url = {http://doi.acm.org/10.1145/1926385.1926425},
  tags = {type inference},
  researchr = {https://researchr.org/publication/GhicaS11},
  cites = {0},
  citedby = {0},
  pages = {345-356},
  booktitle = {POPL},
}

@article{GhicaM03,
  title = {The regular-language semantics of second-order idealized A::LGOL::},
  author = {Dan R. Ghica and Guy McCusker},
  year = {2003},
  doi = {10.1016/S0304-3975(03)00315-3},
  url = {http://dx.doi.org/10.1016/S0304-3975(03)00315-3},
  tags = {semantics},
  researchr = {https://researchr.org/publication/GhicaM03},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {309},
  number = {1-3},
  pages = {469-502},
}

@inproceedings{BakewellG08,
  title = {On-the-Fly Techniques for Game-Based Software Model Checking},
  author = {Adam Bakewell and Dan R. Ghica},
  year = {2008},
  doi = {10.1007/978-3-540-78800-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-78800-3_7},
  tags = {rule-based, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BakewellG08},
  cites = {0},
  citedby = {0},
  pages = {78-92},
  booktitle = {TACAS},
}

@inproceedings{FredrikssonG12,
  title = {Seamless Distributed Computing from the Geometry of Interaction},
  author = {Olle Fredriksson and Dan R. Ghica},
  year = {2012},
  doi = {10.1007/978-3-642-41157-1_3},
  url = {http://dx.doi.org/10.1007/978-3-642-41157-1_3},
  researchr = {https://researchr.org/publication/FredrikssonG12},
  cites = {0},
  citedby = {0},
  pages = {34-48},
  booktitle = {tgc},
}

@inproceedings{FredrikssonG14-0,
  title = {Krivine nets: a semantic foundation for distributed execution},
  author = {Olle Fredriksson and Dan R. Ghica},
  year = {2014},
  doi = {10.1145/2628136.2628152},
  url = {http://doi.acm.org/10.1145/2628136.2628152},
  researchr = {https://researchr.org/publication/FredrikssonG14-0},
  cites = {0},
  citedby = {0},
  pages = {349-361},
  booktitle = {ICFP},
}

@inproceedings{FlemingTCG15,
  title = {System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System},
  author = {Shane T. Fleming and David Thomas and George A. Constantinides and Dan R. Ghica},
  year = {2015},
  doi = {10.1145/2684746.2689089},
  url = {http://doi.acm.org/10.1145/2684746.2689089},
  researchr = {https://researchr.org/publication/FlemingTCG15},
  cites = {0},
  citedby = {0},
  pages = {214-217},
  booktitle = {fpga},
}

@inproceedings{GhicaM11,
  title = {Synchronous Game Semantics via Round Abstraction},
  author = {Dan R. Ghica and Mohamed N. Menaa},
  year = {2011},
  doi = {10.1007/978-3-642-19805-2_24},
  url = {http://dx.doi.org/10.1007/978-3-642-19805-2_24},
  tags = {semantics, abstraction},
  researchr = {https://researchr.org/publication/GhicaM11},
  cites = {0},
  citedby = {0},
  pages = {350-364},
  booktitle = {fossacs},
}

@inproceedings{ThomasFCG15,
  title = {Transparent linking of compiled software and synthesized hardware},
  author = {David B. Thomas and Shane T. Fleming and George A. Constantinides and Dan R. Ghica},
  year = {2015},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7092550},
  researchr = {https://researchr.org/publication/ThomasFCG15},
  cites = {0},
  citedby = {0},
  pages = {1084-1089},
  booktitle = {date},
}

@inproceedings{BakewellG07,
  title = {Game-based safety checking with Mage},
  author = {Adam Bakewell and Dan R. Ghica},
  year = {2007},
  doi = {10.1145/1292316.1292326},
  url = {http://doi.acm.org/10.1145/1292316.1292326},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BakewellG07},
  cites = {0},
  citedby = {0},
  pages = {85-87},
  booktitle = {ESEC/FSE},
}

@inproceedings{AbramskyGMO04,
  title = {Applying Game Semantics to Compositional Software Modeling and Verification},
  author = {Samson Abramsky and Dan R. Ghica and Andrzej S. Murawski and C.-H. Luke Ong},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=421},
  tags = {semantics, modeling, composition, C++},
  researchr = {https://researchr.org/publication/AbramskyGMO04},
  cites = {0},
  citedby = {0},
  pages = {421-435},
  booktitle = {TACAS},
}

@inproceedings{Aguilar-PelaezB14,
  title = {Compiling Higher Order Functional Programs to Composable Digital Hardware},
  author = {Eduardo Aguilar-Pelaez and Samuel Bayliss and Alex I. Smith and Felix Winterstein and Dan R. Ghica and David B. Thomas and George A. Constantinides},
  year = {2014},
  doi = {10.1109/FCCM.2014.69},
  url = {http://dx.doi.org/10.1109/FCCM.2014.69},
  researchr = {https://researchr.org/publication/Aguilar-PelaezB14},
  cites = {0},
  citedby = {0},
  pages = {234},
  booktitle = {fccm},
}

@article{AbramskyG13,
  title = {Foreword},
  author = {Samson Abramsky and Dan R. Ghica},
  year = {2013},
  doi = {10.1016/j.apal.2013.05.004},
  url = {http://dx.doi.org/10.1016/j.apal.2013.05.004},
  researchr = {https://researchr.org/publication/AbramskyG13},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {164},
  number = {11},
  pages = {1037},
}

@inproceedings{Ghica11,
  title = {Function interface models for hardware compilation},
  author = {Dan R. Ghica},
  year = {2011},
  doi = {10.1109/MEMCOD.2011.5970519},
  url = {http://dx.doi.org/10.1109/MEMCOD.2011.5970519},
  researchr = {https://researchr.org/publication/Ghica11},
  cites = {0},
  citedby = {0},
  pages = {131-142},
  booktitle = {memocode},
}

@article{GhicaMO06,
  title = {Syntactic control of concurrency},
  author = {Dan R. Ghica and Andrzej S. Murawski and C.-H. Luke Ong},
  year = {2006},
  doi = {10.1016/j.tcs.2005.10.032},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.10.032},
  tags = {C++},
  researchr = {https://researchr.org/publication/GhicaMO06},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {350},
  number = {2-3},
  pages = {234-251},
}

@article{Ghica01,
  title = {Regular-Language Semantics for a Call-by-Value Programming Language},
  author = {Dan R. Ghica},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/88/27/show/Products/notes/index.htt#008},
  tags = {programming languages, semantics, programming},
  researchr = {https://researchr.org/publication/Ghica01},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {45},
  pages = {106-118},
}

@article{TennentG00,
  title = {Abstract Models of Storage},
  author = {Robert D. Tennent and Dan R. Ghica},
  year = {2000},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/TennentG00},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {13},
  number = {1/2},
  pages = {119-129},
}

@inproceedings{GhicaM04,
  title = {Angelic Semantics of Fine-Grained Concurrency},
  author = {Dan R. Ghica and Andrzej S. Murawski},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2987&spage=211},
  tags = {semantics},
  researchr = {https://researchr.org/publication/GhicaM04},
  cites = {0},
  citedby = {0},
  pages = {211-225},
  booktitle = {fossacs},
}

@article{GabbayG12,
  title = {Game Semantics in the Nominal Model},
  author = {Murdoch Gabbay and Dan R. Ghica},
  year = {2012},
  doi = {10.1016/j.entcs.2012.08.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2012.08.012},
  researchr = {https://researchr.org/publication/GabbayG12},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {286},
  pages = {173-189},
}

@inproceedings{FredrikssonG13-0,
  title = {Abstract Machines for Game Semantics, Revisited},
  author = {Olle Fredriksson and Dan R. Ghica},
  year = {2013},
  doi = {10.1109/LICS.2013.63},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2013.63},
  researchr = {https://researchr.org/publication/FredrikssonG13-0},
  cites = {0},
  citedby = {0},
  pages = {560-569},
  booktitle = {lics},
}

@inproceedings{GhicaM00,
  title = {Reasoning about Idealized ALGOL Using Regular Languages},
  author = {Dan R. Ghica and Guy McCusker},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1853/18530103.htm},
  researchr = {https://researchr.org/publication/GhicaM00},
  cites = {0},
  citedby = {0},
  pages = {103-115},
  booktitle = {icalp},
}

@inproceedings{Ghica13,
  title = {Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits},
  author = {Dan R. Ghica},
  year = {2013},
  doi = {10.1007/978-3-642-38164-5_5},
  url = {http://dx.doi.org/10.1007/978-3-642-38164-5_5},
  researchr = {https://researchr.org/publication/Ghica13},
  cites = {0},
  citedby = {0},
  pages = {52-68},
  booktitle = {BIRTHDAY},
}

@inproceedings{Ghica04,
  title = {Semantical Analysis of Specification Logic, 3: An Operational Approach},
  author = {Dan R. Ghica},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=264},
  tags = {analysis, logic, systematic-approach},
  researchr = {https://researchr.org/publication/Ghica04},
  cites = {0},
  citedby = {0},
  pages = {264-278},
  booktitle = {ESOP},
}

@inproceedings{GhicaM10,
  title = {On the Compositionality of Round Abstraction},
  author = {Dan R. Ghica and Mohamed N. Menaa},
  year = {2010},
  doi = {10.1007/978-3-642-15375-4_29},
  url = {http://dx.doi.org/10.1007/978-3-642-15375-4_29},
  tags = {composition, abstraction},
  researchr = {https://researchr.org/publication/GhicaM10},
  cites = {0},
  citedby = {0},
  pages = {417-431},
  booktitle = {concur},
}

@inproceedings{GhicaMO04,
  title = {Syntactic Control of Concurrency},
  author = {Dan R. Ghica and Andrzej S. Murawski and C.-H. Luke Ong},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3142&spage=683},
  tags = {C++},
  researchr = {https://researchr.org/publication/GhicaMO04},
  cites = {0},
  citedby = {0},
  pages = {683-694},
  booktitle = {icalp},
}

@inproceedings{GabbayGP15,
  title = {Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes},
  author = {Murdoch James Gabbay and Dan R. Ghica and Daniela Petrisan},
  year = {2015},
  doi = {10.4230/LIPIcs.CSL.2015.374},
  url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2015.374},
  researchr = {https://researchr.org/publication/GabbayGP15},
  cites = {0},
  citedby = {0},
  pages = {374-389},
  booktitle = {csl},
}

@article{GhicaS10,
  title = {Geometry of Synthesis II: From Games to Delay-Insensitive Circuits},
  author = {Dan R. Ghica and Alex Smith},
  year = {2010},
  doi = {10.1016/j.entcs.2010.08.018},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.08.018},
  researchr = {https://researchr.org/publication/GhicaS10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {265},
  pages = {301-324},
}
@proceedings{galop:2005,
  title = {Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference},
  year = {2005},
  tags = {programming languages, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/galop%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference},
  conference = {galop},
  editor = {Dan R. Ghica and Guy McCusker},
}