Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dan R. Ghica
@inproceedings{DBLP:conf/csl/Alvarez-Picallo23,
author = {Mario Alvarez{-}Picallo and
Dan R. Ghica and
David Sprunger and
Fabio Zanasi},
editor = {Bartek Klin and
Elaine Pimentel},
title = {Functorial String Diagrams for Reverse-Mode Automatic Differentiation},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {6:1--6:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.6},
doi = {10.4230/LIPICS.CSL.2023.6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/Alvarez-Picallo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/0002GZ23,
author = {Paul W. Wilson and
Dan R. Ghica and
Fabio Zanasi},
editor = {Bartek Klin and
Elaine Pimentel},
title = {String Diagrams for Non-Strict Monoidal Categories},
booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
February 13-16, 2023, Warsaw, Poland},
series = {LIPIcs},
volume = {252},
pages = {37:1--37:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CSL.2023.37},
doi = {10.4230/LIPICS.CSL.2023.37},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/0002GZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/GhicaK23,
author = {Dan R. Ghica and
George Kaye},
editor = {Marco Gaboardi and
Femke van Raamsdonk},
title = {Rewriting Modulo Traced Comonoid Structure},
booktitle = {8th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2023, July 3-6, 2023, Rome, Italy},
series = {LIPIcs},
volume = {260},
pages = {14:1--14:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2023.14},
doi = {10.4230/LIPICS.FSCD.2023.14},
timestamp = {Fri, 30 Jun 2023 14:36:11 +0200},
biburl = {https://dblp.org/rec/conf/fscd/GhicaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-09631,
author = {Dan R. Ghica and
George Kaye},
title = {Rewriting modulo traced comonoid structure},
journal = {CoRR},
volume = {abs/2302.09631},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.09631},
doi = {10.48550/ARXIV.2302.09631},
eprinttype = {arXiv},
eprint = {2302.09631},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-09631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18945,
author = {Dan R. Ghica and
Fabio Zanasi},
title = {Hierarchical string diagrams and applications},
journal = {CoRR},
volume = {abs/2305.18945},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18945},
doi = {10.48550/ARXIV.2305.18945},
eprinttype = {arXiv},
eprint = {2305.18945},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GhicaLBP22,
author = {Dan R. Ghica and
Sam Lindley and
Marcos Maro{\~{n}}as Bravo and
Maciej Pir{\'{o}}g},
title = {High-level effect handlers in {C++}},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1639--1667},
year = {2022},
url = {https://doi.org/10.1145/3563445},
doi = {10.1145/3563445},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GhicaLBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/Alvarez-Picallo22,
author = {Mario Alvarez{-}Picallo and
Dan R. Ghica and
David Sprunger and
Fabio Zanasi},
editor = {Amy P. Felty},
title = {Rewriting for Monoidal Closed Categories},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {29:1--29:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.29},
doi = {10.4230/LIPICS.FSCD.2022.29},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fscd/Alvarez-Picallo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10456,
author = {Dan R. Ghica and
George Kaye and
David Sprunger},
title = {Full abstraction for digital circuits},
journal = {CoRR},
volume = {abs/2201.10456},
year = {2022},
url = {https://arxiv.org/abs/2201.10456},
eprinttype = {arXiv},
eprint = {2201.10456},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/CheungGM21,
author = {Steven W. T. Cheung and
Dan R. Ghica and
Koko Muroya},
title = {Transparent Synchronous Dataflow},
journal = {Art Sci. Eng. Program.},
volume = {5},
number = {3},
pages = {12},
year = {2021},
url = {https://doi.org/10.22152/programming-journal.org/2021/5/12},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/12},
timestamp = {Fri, 26 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/CheungGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhicaA21,
author = {Dan R. Ghica and
Todd Waugh Ambridge},
title = {Global Optimisation with Constructive Reals},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470549},
doi = {10.1109/LICS52264.2021.9470549},
timestamp = {Fri, 09 Jul 2021 14:04:16 +0200},
biburl = {https://dblp.org/rec/conf/lics/GhicaA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-13433,
author = {Mario Alvarez{-}Picallo and
Dan R. Ghica and
David Sprunger and
Fabio Zanasi},
title = {Functorial String Diagrams for Reverse-Mode Automatic Differentiation},
journal = {CoRR},
volume = {abs/2107.13433},
year = {2021},
url = {https://arxiv.org/abs/2107.13433},
eprinttype = {arXiv},
eprint = {2107.13433},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-13433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2102-02363,
author = {Dan R. Ghica},
editor = {Patrick Bahr},
title = {Operational Semantics with Hierarchical Abstract Syntax Graphs},
booktitle = {Proceedings 11th International Workshop on Computing with Terms and
Graphs, TERMGRAPH@FSCD 2020, Online, 5th July 2020},
series = {{EPTCS}},
volume = {334},
pages = {1--10},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.334.1},
doi = {10.4204/EPTCS.334.1},
timestamp = {Fri, 05 Mar 2021 14:49:30 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-02363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-12868,
author = {Dan R. Ghica and
Todd Waugh Ambridge},
title = {A Constructive, Type-Theoretic Approach to Regression via Global Optimisation},
journal = {CoRR},
volume = {abs/2006.12868},
year = {2020},
url = {https://arxiv.org/abs/2006.12868},
eprinttype = {arXiv},
eprint = {2006.12868},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-12868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GhicaA19,
author = {Dan R. Ghica and
Khulood AlYahya},
title = {Latent semantic analysis of game models using {LSTM}},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {39--54},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.04.003},
doi = {10.1016/J.JLAMP.2019.04.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GhicaA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MuroyaG19,
author = {Koko Muroya and
Dan R. Ghica},
title = {The Dynamic Geometry of Interaction Machine: {A} Token-Guided Graph
Rewriter},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(4:7)2019},
doi = {10.23638/LMCS-15(4:7)2019},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MuroyaG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-01257,
author = {Dan R. Ghica and
Koko Muroya and
Todd Waugh Ambridge},
title = {Local Reasoning for Robust Observational Equivalence},
journal = {CoRR},
volume = {abs/1907.01257},
year = {2019},
url = {http://arxiv.org/abs/1907.01257},
eprinttype = {arXiv},
eprint = {1907.01257},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-01257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-04291,
author = {Dan R. Ghica},
title = {The far side of the cube},
journal = {CoRR},
volume = {abs/1908.04291},
year = {2019},
url = {http://arxiv.org/abs/1908.04291},
eprinttype = {arXiv},
eprint = {1908.04291},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09579,
author = {Steven W. T. Cheung and
Dan R. Ghica and
Koko Muroya},
title = {Transparent Synchronous Dataflow},
journal = {CoRR},
volume = {abs/1910.09579},
year = {2019},
url = {http://arxiv.org/abs/1910.09579},
eprinttype = {arXiv},
eprint = {1910.09579},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CheungDGMR18,
author = {Steven Cheung and
Victor Darvariu and
Dan R. Ghica and
Koko Muroya and
Reuben N. S. Rowe},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {A Functional Perspective on Machine Learning via Programmable Induction
and Abduction},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {84--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_6},
doi = {10.1007/978-3-319-90686-7\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/CheungDGMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MuroyaCG18,
author = {Koko Muroya and
Steven W. T. Cheung and
Dan R. Ghica},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {The Geometry of Computation-Graph Abstraction},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {749--758},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209127},
doi = {10.1145/3209108.3209127},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/lics/MuroyaCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2018,
editor = {Dan R. Ghica and
Achim Jung},
title = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-088-0},
isbn = {978-3-95977-088-0},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-00427,
author = {Koko Muroya and
Dan R. Ghica},
title = {The Dynamic Geometry of Interaction Machine: {A} Token-Guided Graph
Rewriter},
journal = {CoRR},
volume = {abs/1803.00427},
year = {2018},
url = {http://arxiv.org/abs/1803.00427},
eprinttype = {arXiv},
eprint = {1803.00427},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00427.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GhicaHS18,
author = {Dan R. Ghica and
Masahito Hasegawa and
Pawe{\l} Soboci{\'{n}}ski},
title = {Diagrammatic methods for linear and nonlinear systems {(NII} Shonan
Meeting 2018-18)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/109/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GhicaHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GhicaJL17,
author = {Dan R. Ghica and
Achim Jung and
Aliaume Lopez},
editor = {Valentin Goranko and
Mads Dam},
title = {Diagrammatic Semantics for Digital Circuits},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {24:1--24:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.24},
doi = {10.4230/LIPICS.CSL.2017.24},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/GhicaJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MuroyaG17,
author = {Koko Muroya and
Dan R. Ghica},
editor = {Valentin Goranko and
Mads Dam},
title = {The Dynamic Geometry of Interaction Machine: {A} Call-by-Need Graph
Rewriter},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {32:1--32:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.32},
doi = {10.4230/LIPICS.CSL.2017.32},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MuroyaG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1802-06495,
author = {Koko Muroya and
Dan R. Ghica},
editor = {Horatiu Cirstea and
David Sabel},
title = {Efficient Implementation of Evaluation Strategies via Token-Guided
Graph Rewriting},
booktitle = {Proceedings Fourth International Workshop on Rewriting Techniques
for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford,
UK, 8th September 2017},
series = {{EPTCS}},
volume = {265},
pages = {52--66},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.265.5},
doi = {10.4204/EPTCS.265.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-02319,
author = {Dan R. Ghica and
Khulood AlYahya},
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {On the Learnability of Programming Language Semantics},
booktitle = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
pages = {57--75},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.261.7},
doi = {10.4204/EPTCS.261.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GhicaL17,
author = {Dan R. Ghica and
Aliaume Lopez},
editor = {Bob Coecke and
Aleks Kissinger},
title = {A structural and nominal syntax for diagrams},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {71--83},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.4},
doi = {10.4204/EPTCS.266.4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GhicaL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MuroyaG17,
author = {Koko Muroya and
Dan R. Ghica},
title = {The Dynamic Geometry of Interaction Machine: {A} Call-by-need Graph
Rewriter},
journal = {CoRR},
volume = {abs/1703.10027},
year = {2017},
url = {http://arxiv.org/abs/1703.10027},
eprinttype = {arXiv},
eprint = {1703.10027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MuroyaG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhicaJL17,
author = {Dan R. Ghica and
Achim Jung and
Aliaume Lopez},
title = {Diagrammatic Semantics for Digital Circuits},
journal = {CoRR},
volume = {abs/1703.10247},
year = {2017},
url = {http://arxiv.org/abs/1703.10247},
eprinttype = {arXiv},
eprint = {1703.10247},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GhicaJL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03984,
author = {Koko Muroya and
Steven Cheung and
Dan R. Ghica},
title = {Abductive functional programming, a semantic approach},
journal = {CoRR},
volume = {abs/1710.03984},
year = {2017},
url = {http://arxiv.org/abs/1710.03984},
eprinttype = {arXiv},
eprint = {1710.03984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GhicaJ16,
author = {Dan R. Ghica and
Achim Jung},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Categorical semantics of digital circuits},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {41--48},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886659},
doi = {10.1109/FMCAD.2016.7886659},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GhicaJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GabbayGP15,
author = {Murdoch James Gabbay and
Dan R. Ghica and
Daniela Petrisan},
editor = {Stephan Kreutzer},
title = {Leaving the Nest: Nominal Techniques for Variables with Interleaving
Scopes},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {374--389},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.374},
doi = {10.4230/LIPICS.CSL.2015.374},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GabbayGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ThomasFCG15,
author = {David B. Thomas and
Shane T. Fleming and
George A. Constantinides and
Dan R. Ghica},
editor = {Wolfgang Nebel and
David Atienza},
title = {Transparent linking of compiled software and synthesized hardware},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1084--1089},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757064},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ThomasFCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/FlemingTCG15,
author = {Shane T. Fleming and
David B. Thomas and
George A. Constantinides and
Dan R. Ghica},
editor = {George A. Constantinides and
Deming Chen},
title = {System-level Linking of Synthesised Hardware and Compiled Software
Using a Higher-order Type System},
booktitle = {Proceedings of the 2015 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Monterey, CA, USA, February 22-24, 2015},
pages = {214--217},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2684746.2689089},
doi = {10.1145/2684746.2689089},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/fpga/FlemingTCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/FlemingBTCG15,
author = {Shane T. Fleming and
Ivan Beretta and
David B. Thomas and
George A. Constantinides and
Dan R. Ghica},
title = {PushPush: Seamless integration of hardware and software objects via
function calls over {AXI}},
booktitle = {25th International Conference on Field Programmable Logic and Applications,
{FPL} 2015, London, United Kingdom, September 2-4, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FPL.2015.7294024},
doi = {10.1109/FPL.2015.7294024},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/FlemingBTCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ghica15,
author = {Dan R. Ghica},
editor = {Dan R. Ghica},
title = {Preface},
booktitle = {The 31st Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {319},
pages = {1--2},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.12.001},
doi = {10.1016/J.ENTCS.2015.12.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Ghica15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2015,
editor = {Dan R. Ghica},
title = {The 31st Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {319},
publisher = {Elsevier},
year = {2015},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/319/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GhicaS14,
author = {Dan R. Ghica and
Alex I. Smith},
editor = {Zhong Shao},
title = {Bounded Linear Types in a Resource Semiring},
booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
{ESOP} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8410},
pages = {331--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_18},
doi = {10.1007/978-3-642-54833-8\_18},
timestamp = {Thu, 14 Oct 2021 10:31:33 +0200},
biburl = {https://dblp.org/rec/conf/esop/GhicaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/Aguilar-PelaezB14,
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},
title = {Compiling Higher Order Functional Programs to Composable Digital Hardware},
booktitle = {22nd {IEEE} Annual International Symposium on Field-Programmable Custom
Computing Machines, {FCCM} 2014, Boston, MA, USA, May 11-13, 2014},
pages = {234},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/FCCM.2014.69},
doi = {10.1109/FCCM.2014.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/Aguilar-PelaezB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FredrikssonG14,
author = {Olle Fredriksson and
Dan R. Ghica},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Krivine nets: a semantic foundation for distributed execution},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {349--361},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628152},
doi = {10.1145/2628136.2628152},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FredrikssonG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/FredrikssonGW14,
author = {Olle Fredriksson and
Dan R. Ghica and
Bertram Wheen},
editor = {Sam Tobin{-}Hochstadt},
title = {Towards native higher-order remote procedure calls},
booktitle = {Proceedings of the 26th 2014 International Symposium on Implementation
and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
October 1-3, 2014},
pages = {10:1--10:12},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2746325.2746332},
doi = {10.1145/2746325.2746332},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifl/FredrikssonGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AbramskyG13,
author = {Samson Abramsky and
Dan R. Ghica},
title = {Foreword},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {11},
pages = {1037},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.05.004},
doi = {10.1016/J.APAL.2013.05.004},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AbramskyG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ghica13,
author = {Dan R. Ghica},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {52--68},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_5},
doi = {10.1007/978-3-642-38164-5\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ghica13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FredrikssonG13,
author = {Olle Fredriksson and
Dan R. Ghica},
title = {Abstract Machines for Game Semantics, Revisited},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {560--569},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.63},
doi = {10.1109/LICS.2013.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FredrikssonG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4159,
author = {Olle Fredriksson and
Dan R. Ghica},
title = {Abstract machines for game semantics, revisited},
journal = {CoRR},
volume = {abs/1304.4159},
year = {2013},
url = {http://arxiv.org/abs/1304.4159},
eprinttype = {arXiv},
eprint = {1304.4159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4159.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhicaS13,
author = {Dan R. Ghica and
Alex I. Smith},
title = {From bounded affine types to automatic timing analysis},
journal = {CoRR},
volume = {abs/1307.2473},
year = {2013},
url = {http://arxiv.org/abs/1307.2473},
eprinttype = {arXiv},
eprint = {1307.2473},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GhicaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Ghica12,
author = {Dan R. Ghica},
editor = {Jeremy Gibbons and
Pablo Nogueira},
title = {The Geometry of Synthesis - How to Make Hardware Out of Software},
booktitle = {Mathematics of Program Construction - 11th International Conference,
{MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
pages = {23--24},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31113-0\_3},
doi = {10.1007/978-3-642-31113-0\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Ghica12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/FredrikssonG12,
author = {Olle Fredriksson and
Dan R. Ghica},
editor = {Catuscia Palamidessi and
Mark Dermot Ryan},
title = {Seamless Distributed Computing from the Geometry of Interaction},
booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8191},
pages = {34--48},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41157-1\_3},
doi = {10.1007/978-3-642-41157-1\_3},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/tgc/FredrikssonG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1212-3878,
author = {Dan R. Ghica and
Zaid Al{-}Zobaidi},
editor = {Marco Carbone and
Ivan Lanese and
Alexandra Silva and
Ana Sokolova},
title = {Coherent Minimisation: Towards efficient tamper-proof compilation},
booktitle = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012,
Stockholm, Sweden, 16th June 2012},
series = {{EPTCS}},
volume = {104},
pages = {83--98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.104.8},
doi = {10.4204/EPTCS.104.8},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG12,
author = {Murdoch Gabbay and
Dan R. Ghica},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {Game Semantics in the Nominal Model},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {173--189},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.012},
doi = {10.1016/J.ENTCS.2012.08.012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhicaT12,
author = {Dan R. Ghica and
Nikos Tzevelekos},
editor = {Ulrich Berger and
Michael W. Mislove},
title = {A System-Level Game Semantics},
booktitle = {Proceedings of the 28th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {191--211},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.08.013},
doi = {10.1016/J.ENTCS.2012.08.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GhicaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-4462,
author = {Dan R. Ghica and
Nikos Tzevelekos},
title = {A System-Level Semantics},
journal = {CoRR},
volume = {abs/1201.4462},
year = {2012},
url = {http://arxiv.org/abs/1201.4462},
eprinttype = {arXiv},
eprint = {1201.4462},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-4462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhicaM11,
author = {Dan R. Ghica and
Mohamed Nabih Menaa},
editor = {Martin Hofmann},
title = {Synchronous Game Semantics via Round Abstraction},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {350--364},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_24},
doi = {10.1007/978-3-642-19805-2\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GhicaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GhicaSS11,
author = {Dan R. Ghica and
Alex I. Smith and
Satnam Singh},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Geometry of synthesis iv: compiling affine recursion into static hardware},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {221--233},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034805},
doi = {10.1145/2034773.2034805},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GhicaSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Ghica11,
author = {Dan R. Ghica},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Function interface models for hardware compilation},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {131--142},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970519},
doi = {10.1109/MEMCOD.2011.5970519},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Ghica11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GhicaS11,
author = {Dan R. Ghica and
Alex I. Smith},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Geometry of synthesis {III:} resource management through type inference},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {345--356},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926425},
doi = {10.1145/1926385.1926425},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/GhicaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhicaH10,
author = {Dan R. Ghica and
Russ Harmer},
title = {Foreword},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {5},
pages = {617},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.07.021},
doi = {10.1016/J.APAL.2009.07.021},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GhicaH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BakewellDGL10,
author = {Adam Bakewell and
Aleksandar S. Dimovski and
Dan R. Ghica and
Ranko Lazic},
title = {Data-abstraction refinement: a game semantic approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {373--389},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0143-0},
doi = {10.1007/S10009-010-0143-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BakewellDGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GhicaM10,
author = {Dan R. Ghica and
Mohamed Nabih Menaa},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {On the Compositionality of Round Abstraction},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {417--431},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_29},
doi = {10.1007/978-3-642-15375-4\_29},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GhicaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhicaS10,
author = {Dan R. Ghica and
Alex I. Smith},
editor = {Michael W. Mislove and
Peter Selinger},
title = {Geometry of Synthesis {II:} From Games to Delay-Insensitive Circuits},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {301--324},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.018},
doi = {10.1016/J.ENTCS.2010.08.018},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GhicaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Ghica09,
author = {Dan R. Ghica},
title = {Applications of Game Semantics: From Program Analysis to Hardware
Synthesis},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.26},
doi = {10.1109/LICS.2009.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Ghica09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhicaB09,
author = {Dan R. Ghica and
Adam Bakewell},
title = {Clipping: {A} Semantics-Directed Syntactic Approximation},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.25},
doi = {10.1109/LICS.2009.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GhicaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BakewellG09,
author = {Adam Bakewell and
Dan R. Ghica},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Compositional Predicate Abstraction from Game Semantics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {62--76},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_8},
doi = {10.1007/978-3-642-00768-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BakewellG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-0749,
author = {Dan R. Ghica},
title = {Function Interface Models for Hardware Compilation: Types, Signatures,
Protocols},
journal = {CoRR},
volume = {abs/0907.0749},
year = {2009},
url = {http://arxiv.org/abs/0907.0749},
eprinttype = {arXiv},
eprint = {0907.0749},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-0749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/McCuskerG08,
author = {Guy McCusker and
Dan R. Ghica},
title = {Foreword for special issue of {APAL} for GaLoP 2005},
journal = {Ann. Pure Appl. Log.},
volume = {151},
number = {2-3},
pages = {69},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.10.003},
doi = {10.1016/J.APAL.2007.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/McCuskerG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GhicaM08,
author = {Dan R. Ghica and
Andrzej S. Murawski},
title = {Angelic semantics of fine-grained concurrency},
journal = {Ann. Pure Appl. Log.},
volume = {151},
number = {2-3},
pages = {89--114},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.10.005},
doi = {10.1016/J.APAL.2007.10.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GhicaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BakewellG08,
author = {Adam Bakewell and
Dan R. Ghica},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {On-the-Fly Techniques for Game-Based Software Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {78--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_7},
doi = {10.1007/978-3-540-78800-3\_7},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BakewellG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ghica07,
author = {Dan R. Ghica},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Geometry of synthesis: a structured approach to {VLSI} design},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {363--375},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190269},
doi = {10.1145/1190216.1190269},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/Ghica07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BakewellG07,
author = {Adam Bakewell and
Dan R. Ghica},
editor = {Arnd Poetzsch{-}Heffter},
title = {Game-based safety checking with Mage},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {85--87},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292326},
doi = {10.1145/1292316.1292326},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BakewellG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GhicaMO06,
author = {Dan R. Ghica and
Andrzej S. Murawski and
C.{-}H. Luke Ong},
title = {Syntactic control of concurrency},
journal = {Theor. Comput. Sci.},
volume = {350},
number = {2-3},
pages = {234--251},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.032},
doi = {10.1016/J.TCS.2005.10.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GhicaMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DimovskiGL06,
author = {Aleksandar S. Dimovski and
Dan R. Ghica and
Ranko Lazic},
editor = {Antti Valmari},
title = {A Counterexample-Guided Refinement Tool for Open Procedural Programs},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {288--292},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_17},
doi = {10.1007/11691617\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/DimovskiGL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GhicaM06,
author = {Dan R. Ghica and
Andrzej S. Murawski},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Compositional Model Extraction for Higher-Order Concurrent Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {303--317},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_20},
doi = {10.1007/11691372\_20},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GhicaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/galop/DimovskiGL05,
author = {Aleksandar S. Dimovski and
Dan R. Ghica and
Ranko Lazic},
editor = {Dan R. Ghica and
Guy McCusker},
title = {Abstraction-refinement for game-based model checking},
booktitle = {1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS
2005, Edinburgh, UK, 2-3 April 2005},
pages = {139},
year = {2005},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/galop/DimovskiGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ghica05,
author = {Dan R. Ghica},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Slot games: a quantitative model of computation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {85--97},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040313},
doi = {10.1145/1040305.1040313},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/Ghica05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DimovskiGL05,
author = {Aleksandar S. Dimovski and
Dan R. Ghica and
Ranko Lazic},
editor = {Chris Hankin and
Igor Siveroni},
title = {Data-Abstraction Refinement: {A} Game Semantic Approach},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {102--117},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_9},
doi = {10.1007/11547662\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DimovskiGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/galop/2005,
editor = {Dan R. Ghica and
Guy McCusker},
title = {1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS
2005, Edinburgh, UK, 2-3 April 2005},
year = {2005},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/galop/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Ghica04,
author = {Dan R. Ghica},
editor = {David A. Schmidt},
title = {Semantical Analysis of Specification Logic, 3: An Operational Approach},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {264--278},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_19},
doi = {10.1007/978-3-540-24725-8\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Ghica04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GhicaM04,
author = {Dan R. Ghica and
Andrzej S. Murawski},
editor = {Igor Walukiewicz},
title = {Angelic Semantics of Fine-Grained Concurrency},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {211--225},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_16},
doi = {10.1007/978-3-540-24727-2\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GhicaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GhicaMO04,
author = {Dan R. Ghica and
Andrzej S. Murawski and
C.{-}H. Luke Ong},
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Syntactic Control of Concurrency},
booktitle = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
pages = {683--694},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27836-8\_58},
doi = {10.1007/978-3-540-27836-8\_58},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GhicaMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbramskyGMOS04,
author = {Samson Abramsky and
Dan R. Ghica and
Andrzej S. Murawski and
C.{-}H. Luke Ong and
Ian David Bede Stark},
title = {Nominal Games and Full Abstraction for the Nu-Calculus},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319609},
doi = {10.1109/LICS.2004.1319609},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbramskyGMOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbramskyGMO04,
author = {Samson Abramsky and
Dan R. Ghica and
Andrzej S. Murawski and
C.{-}H. Luke Ong},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Applying Game Semantics to Compositional Software Modeling and Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {421--435},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_32},
doi = {10.1007/978-3-540-24730-2\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbramskyGMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GhicaM03,
author = {Dan R. Ghica and
Guy McCusker},
title = {The regular-language semantics of second-order idealized A\({}_{\mbox{LGOL}}\)},
journal = {Theor. Comput. Sci.},
volume = {309},
number = {1-3},
pages = {469--502},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00315-3},
doi = {10.1016/S0304-3975(03)00315-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GhicaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ghica01,
author = {Dan R. Ghica},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Regular-Language Semantics for a Call-by-Value Programming Language},
booktitle = {Seventeenth Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {45},
pages = {106--118},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80958-7},
doi = {10.1016/S1571-0661(04)80958-7},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ghica01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/TennentG00,
author = {Robert D. Tennent and
Dan R. Ghica},
title = {Abstract Models of Storage},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {119--129},
year = {2000},
url = {https://doi.org/10.1023/A:1010022312623},
doi = {10.1023/A:1010022312623},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/TennentG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GhicaM00,
author = {Dan R. Ghica and
Guy McCusker},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Reasoning about Idealized {ALGOL} Using Regular Languages},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {103--115},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_10},
doi = {10.1007/3-540-45022-X\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GhicaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/Ghica96,
author = {Dan R. Ghica},
title = {Software engineering: a motivation},
journal = {{XRDS}},
volume = {2},
number = {3},
pages = {3},
year = {1996},
url = {https://doi.org/10.1145/332168.332170},
doi = {10.1145/332168.332170},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/crossroads/Ghica96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:46 CEST 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:
