publications:
- title: "Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract)"
  author:
  - name: "Jean H. Gallier"
    link: "https://researchr.org/alias/jean-h.-gallier"
  year: "1993"
  researchr: "https://researchr.org/publication/Gallier93"
  cites: 0
  citedby: 0
  pages: "136"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "Gallier93"
- title: "Modified Realizability Toposes and Strong Normalization Proofs"
  author:
  - name: "J. M. E. Hyland"
    link: "https://researchr.org/alias/j.-m.-e.-hyland"
  - name: "C.-H. Luke Ong"
    link: "https://researchr.org/alias/c.-h.-luke-ong"
  year: "1993"
  tags:
  - "C++"
  - "e-science"
  researchr: "https://researchr.org/publication/HylandO93"
  cites: 0
  citedby: 0
  pages: "179-194"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "HylandO93"
- title: "Process Realizability"
  author:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#002"
  researchr: "https://researchr.org/publication/Abramsky99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "1-2"
  kind: "article"
  key: "Abramsky99"
- title: "Energy Delivery Scheduling and Realizability in Deregulated Electric Energy Market"
  author:
  - name: "Xiaohong Guan"
    link: "https://researchr.org/alias/xiaohong-guan"
  - name: "Feng Gao"
    link: "https://researchr.org/alias/feng-gao"
  - name: "Alva J. Svoboda"
    link: "https://researchr.org/alias/alva-j.-svoboda"
  year: "1999"
  doi: "http://computer.org/proceedings/hicss/0001/00013/00013023abs.htm"
  links:
    doi: "http://computer.org/proceedings/hicss/0001/00013/00013023abs.htm"
  researchr: "https://researchr.org/publication/GuanGS99"
  cites: 0
  citedby: 0
  booktitle: "hicss"
  kind: "inproceedings"
  key: "GuanGS99"
- title: "Safe Realizability of High-Level Message Sequence Charts"
  author:
  - name: "Markus Lohrey"
    link: "https://researchr.org/alias/markus-lohrey"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210177.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210177.htm"
  researchr: "https://researchr.org/publication/Lohrey02"
  cites: 0
  citedby: 0
  pages: "177-192"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Lohrey02"
- title: "Realizability models for BLL-like languages"
  author:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Philip J. Scott"
    link: "https://researchr.org/alias/philip-j.-scott"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.tcs.2003.10.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2003.10.019"
  tags:
  - "modeling language"
  - "language modeling"
  researchr: "https://researchr.org/publication/HofmannS04"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "318"
  number: "1-2"
  pages: "121-137"
  kind: "article"
  key: "HofmannS04"
- title: "Linear Realizability"
  author:
  - name: "Naohiko Hoshino"
    link: "https://researchr.org/alias/naohiko-hoshino"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74915-8_32"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74915-8_32"
  researchr: "https://researchr.org/publication/Hoshino07"
  cites: 0
  citedby: 0
  pages: "420-434"
  booktitle: "csl"
  kind: "inproceedings"
  key: "Hoshino07"
- title: "Sheaf toposes for realizability"
  author:
  - name: "Steven Awodey"
    link: "https://researchr.org/alias/steven-awodey"
  - name: "Andrej Bauer"
    link: "https://researchr.org/alias/andrej-bauer"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s00153-008-0090-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00153-008-0090-6"
  researchr: "https://researchr.org/publication/AwodeyB08"
  cites: 0
  citedby: 0
  journal: "AML"
  volume: "47"
  number: "5"
  pages: "465-478"
  kind: "article"
  key: "AwodeyB08"
- title: "Extensional Realizability"
  author:
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "1997"
  researchr: "https://researchr.org/publication/Oosten97"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "84"
  number: "3"
  pages: "317-349"
  kind: "article"
  key: "Oosten97"
- title: "Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1998"
  researchr: "https://researchr.org/publication/Tatsuta98"
  cites: 0
  citedby: 0
  pages: "358-367"
  booktitle: "lics"
  kind: "inproceedings"
  key: "Tatsuta98"
- title: "Developing Theories of Types and Computability via Realizability"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/62/23/show/Products/notes/index.htt"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/62/23/show/Products/notes/index.htt"
  tags:
  - "type theory"
  researchr: "https://researchr.org/publication/Birkedal00a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "34"
  pages: "2"
  kind: "article"
  key: "Birkedal00a"
- title: "A General Notion of Realizability"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  year: "2000"
  doi: "http://www.computer.org/proceedings/lics/0725/07250007abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/lics/0725/07250007abs.htm"
  researchr: "https://researchr.org/publication/Birkedal00"
  cites: 0
  citedby: 0
  pages: "7-17"
  booktitle: "lics"
  kind: "inproceedings"
  key: "Birkedal00"
- title: "Realizability of Graphs in Three Dimensions"
  author:
  - name: "Maria Belk"
    link: "https://researchr.org/alias/maria-belk"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00454-006-1285-4"
  links:
    doi: "http://dx.doi.org/10.1007/s00454-006-1285-4"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Belk07"
  cites: 0
  citedby: 0
  journal: "dcg"
  volume: "37"
  number: "2"
  pages: "139-162"
  kind: "article"
  key: "Belk07"
- title: "Recursion over Realizability Structures"
  author:
  - name: "Roberto M. Amadio"
    link: "https://researchr.org/alias/roberto-m.-amadio"
  year: "1991"
  month: "March"
  researchr: "https://researchr.org/publication/Amadio91"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "91"
  number: "1"
  pages: "55-85"
  kind: "article"
  key: "Amadio91"
- title: "Completeness and realizability: conditions for automatic generation of workflows"
  author:
  - name: "Shiyong Lu"
    link: "https://researchr.org/alias/shiyong-lu"
  - name: "Arthur J. Bernstein"
    link: "https://researchr.org/alias/arthur-j.-bernstein"
  - name: "Philip M. Lewis"
    link: "https://researchr.org/alias/philip-m.-lewis"
  year: "2006"
  doi: "http://dx.doi.org/10.1142/S0129054106003784"
  links:
    doi: "http://dx.doi.org/10.1142/S0129054106003784"
  tags:
  - "completeness"
  - "workflow"
  researchr: "https://researchr.org/publication/LuBL06"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "17"
  number: "1"
  pages: "223-245"
  kind: "article"
  key: "LuBL06"
- title: "A general notion of realizability"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  year: "2002"
  doi: "http://www.math.ucla.edu/~asl/bsl/0802/0802-003.ps"
  links:
    doi: "http://www.math.ucla.edu/~asl/bsl/0802/0802-003.ps"
  researchr: "https://researchr.org/publication/Birkedal02"
  cites: 0
  citedby: 0
  journal: "bsl"
  volume: "8"
  number: "2"
  pages: "266-282"
  kind: "article"
  key: "Birkedal02"
- title: "An Antichain Algorithm for LTL Realizability"
  author:
  - name: "Emmanuel Filiot"
    link: "https://researchr.org/alias/emmanuel-filiot"
  - name: "Naiyong Jin"
    link: "https://researchr.org/alias/naiyong-jin"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_22"
  researchr: "https://researchr.org/publication/FiliotJR09"
  cites: 0
  citedby: 0
  pages: "263-277"
  booktitle: "cav"
  kind: "inproceedings"
  key: "FiliotJR09"
- title: "Realizability Models for Program Construction"
  author:
  - name: "Martin C. Henson"
    link: "https://researchr.org/alias/martin-c.-henson"
  year: "1989"
  tags:
  - "meta programming"
  - "meta-model"
  - "C++"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Henson89%3A0"
  cites: 0
  citedby: 0
  pages: "256-272"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "Henson89:0"
- title: "Relative and modified relative realizability"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "2002"
  researchr: "https://researchr.org/publication/BirkedalO02"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "118"
  number: "1-2"
  pages: "115-132"
  kind: "article"
  key: "BirkedalO02"
- title: "Two Realizability Interpretations of Monotone Inductive Definitions"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1994"
  researchr: "https://researchr.org/publication/Tatsuta94"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "5"
  number: "1"
  pages: "1-21"
  kind: "article"
  key: "Tatsuta94"
- title: "Realizability: A Historical Essay"
  author:
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "2002"
  researchr: "https://researchr.org/publication/Oosten02"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "12"
  number: "3"
  pages: "239-263"
  kind: "article"
  key: "Oosten02"
- title: "Characterization of Unate Cascade Realizability Using Parameters"
  author:
  - name: "S. Bandyopadhyay"
    link: "https://researchr.org/alias/s.-bandyopadhyay"
  - name: "A. Pal"
    link: "https://researchr.org/alias/a.-pal"
  - name: "A. K. Choudhury"
    link: "https://researchr.org/alias/a.-k.-choudhury"
  year: "1975"
  researchr: "https://researchr.org/publication/BandyopadhyayPC75"
  cites: 0
  citedby: 0
  journal: "TC"
  volume: "24"
  number: "2"
  pages: "218-219"
  kind: "article"
  key: "BandyopadhyayPC75"
- title: "Analysing Spatial Realizability of Line Drawings Through Edge-Concurrence Tests"
  author:
  - name: "Lluís Ros"
    link: "https://researchr.org/alias/llu%C3%ADs-ros"
  - name: "Federico Thomas"
    link: "https://researchr.org/alias/federico-thomas"
  year: "1998"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/RosT98"
  cites: 0
  citedby: 0
  pages: "3559-3566"
  booktitle: "icra"
  kind: "inproceedings"
  key: "RosT98"
- title: "Bibliography on Realizability"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#006"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#006"
  tags:
  - "bibliography"
  researchr: "https://researchr.org/publication/Birkedal99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "40-57"
  kind: "article"
  key: "Birkedal99"
- title: "Realizability and Synthesis of Reactive Modules"
  author:
  - name: "Anuchit Anuchitanukul"
    link: "https://researchr.org/alias/anuchit-anuchitanukul"
  - name: "Zohar Manna"
    link: "https://researchr.org/alias/zohar-manna"
  year: "1994"
  researchr: "https://researchr.org/publication/AnuchitanukulM94"
  cites: 0
  citedby: 0
  pages: "156-168"
  booktitle: "cav"
  kind: "inproceedings"
  key: "AnuchitanukulM94"
- title: "Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive-Rule"
  author:
  - name: "Zlatan Damnjanovic"
    link: "https://researchr.org/alias/zlatan-damnjanovic"
  year: "1998"
  tags:
  - "rule-based"
  - "completeness"
  - "rules"
  - "reflection"
  researchr: "https://researchr.org/publication/Damnjanovic98"
  cites: 0
  citedby: 0
  journal: "ndjfl"
  volume: "39"
  number: "3"
  pages: "363-388"
  kind: "article"
  key: "Damnjanovic98"
- title: "The Completeness of Provable Realizability"
  author:
  - name: "Grigori Mints"
    link: "https://researchr.org/alias/grigori-mints"
  year: "1989"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/Mints89"
  cites: 0
  citedby: 0
  journal: "ndjfl"
  volume: "30"
  number: "3"
  pages: "420-441"
  kind: "article"
  key: "Mints89"
- title: "Specifications via Realizability"
  author:
  - name: "Andrej Bauer"
    link: "https://researchr.org/alias/andrej-bauer"
  - name: "Christopher A. Stone"
    link: "https://researchr.org/alias/christopher-a.-stone"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.08.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.08.007"
  researchr: "https://researchr.org/publication/BauerS06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "153"
  number: "1"
  pages: "77-92"
  kind: "article"
  key: "BauerS06"
- title: "Introduction to Turing categories"
  author:
  - name: "J. Robin B. Cockett"
    link: "https://researchr.org/alias/j.-robin-b.-cockett"
  - name: "P. J. W. Hofstra"
    link: "https://researchr.org/alias/p.-j.-w.-hofstra"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.apal.2008.04.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.apal.2008.04.005"
  researchr: "https://researchr.org/publication/CockettH08"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "156"
  number: "2-3"
  pages: "183-209"
  kind: "article"
  key: "CockettH08"
- title: "Formal methods for checking realizability of coalitions in 3-party systems"
  author:
  - name: "Ansuman Banerjee"
    link: "https://researchr.org/alias/ansuman-banerjee"
  - name: "Pallab Dasgupta"
    link: "https://researchr.org/alias/pallab-dasgupta"
  - name: "P. P. Chakrabarti"
    link: "https://researchr.org/alias/p.-p.-chakrabarti"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2006.1695927"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2006.1695927"
  researchr: "https://researchr.org/publication/BanerjeeDC06"
  cites: 0
  citedby: 0
  pages: "198"
  booktitle: "memocode"
  kind: "inproceedings"
  key: "BanerjeeDC06"
- title: "Proving Strong Normalization of CC by Modifying Realizability Semantics"
  author:
  - name: "Thorsten Altenkirch"
    link: "http://www.cs.nott.ac.uk/~txa"
  year: "1993"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Altenkirch93"
  cites: 0
  citedby: 0
  pages: "3-18"
  booktitle: "TYPES"
  kind: "inproceedings"
  key: "Altenkirch93"
- title: "Realizability and uniqueness in graphs"
  author:
  - name: "Martin Aigner"
    link: "https://researchr.org/alias/martin-aigner"
  - name: "Eberhard Triesch"
    link: "https://researchr.org/alias/eberhard-triesch"
  year: "1994"
  doi: "http://dx.doi.org/10.1016/0012-365X(94)00104-Q"
  links:
    doi: "http://dx.doi.org/10.1016/0012-365X(94)00104-Q"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AignerT94"
  cites: 0
  citedby: 0
  journal: "DM"
  volume: "136"
  number: "1-3"
  pages: "3-20"
  kind: "article"
  key: "AignerT94"
- title: "Score Sequence Pair Problems of (::::r::::::11::, ::::r::::::12::, ::::r::::::22::)-Tournaments - - Determination of Realizability - - "
  author:
  - name: "Masaya Takahashi"
    link: "https://researchr.org/alias/masaya-takahashi"
  - name: "Takahiro Watanabe"
    link: "https://researchr.org/alias/takahiro-watanabe"
  - name: "Takeshi Yoshimura"
    link: "https://researchr.org/alias/takeshi-yoshimura"
  year: "2007"
  doi: "http://dx.doi.org/10.1093/ietisy/e90-d.2.440"
  links:
    doi: "http://dx.doi.org/10.1093/ietisy/e90-d.2.440"
  researchr: "https://researchr.org/publication/TakahashiWY07"
  cites: 0
  citedby: 0
  journal: "ieicet"
  volume: "90-D"
  number: "2"
  pages: "440-448"
  kind: "article"
  key: "TakahashiWY07"
- title: "Proving Properties of Typed lambda-Terms Using Realizability, Covers, and Sheaves"
  author:
  - name: "Jean H. Gallier"
    link: "https://researchr.org/alias/jean-h.-gallier"
  year: "1995"
  doi: "http://dx.doi.org/10.1016/0304-3975(94)00280-0"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(94)00280-0"
  researchr: "https://researchr.org/publication/Gallier95"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "142"
  number: "2"
  pages: "299-368"
  kind: "article"
  key: "Gallier95"
- title: "On Bus Graph Realizability"
  author:
  - name: "Anil Ada"
    link: "https://researchr.org/alias/anil-ada"
  - name: "Melanie Coggan"
    link: "https://researchr.org/alias/melanie-coggan"
  - name: "Paul Di Marco"
    link: "https://researchr.org/alias/paul-di-marco"
  - name: "Alain Doyon"
    link: "https://researchr.org/alias/alain-doyon"
  - name: "Liam Flookes"
    link: "https://researchr.org/alias/liam-flookes"
  - name: "Samuli Heilala"
    link: "https://researchr.org/alias/samuli-heilala"
  - name: "Ethan Kim"
    link: "https://researchr.org/alias/ethan-kim"
  - name: "Jonathan Li On Wing"
    link: "https://researchr.org/alias/jonathan-li-on-wing"
  - name: "Louis-Francois Preville-Ratelle"
    link: "https://researchr.org/alias/louis-francois-preville-ratelle"
  - name: "Sue Whitesides"
    link: "https://researchr.org/alias/sue-whitesides"
  - name: "Nuo Yu"
    link: "https://researchr.org/alias/nuo-yu"
  year: "2007"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AdaCMDFHKWPWY07"
  cites: 0
  citedby: 0
  pages: "229-232"
  booktitle: "cccg"
  kind: "inproceedings"
  key: "AdaCMDFHKWPWY07"
- title: "Realizability of Conversation Protocols With Message Contents"
  author:
  - name: "Xiang Fu"
    link: "https://researchr.org/alias/xiang-fu"
  - name: "Tevfik Bultan"
    link: "https://researchr.org/alias/tevfik-bultan"
  - name: "Jianwen Su"
    link: "https://researchr.org/alias/jianwen-su"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.92"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.92"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/FuBS04%3A2"
  cites: 0
  citedby: 0
  pages: "96"
  booktitle: "icws"
  kind: "inproceedings"
  key: "FuBS04:2"
- title: "Realizability is controllability"
  author:
  - name: "Niels Lohmann"
    link: "https://researchr.org/alias/niels-lohmann"
  - name: "Karsten Wolf"
    link: "https://researchr.org/alias/karsten-wolf"
  year: "2009"
  doi: "http://CEUR-WS.org/Vol-438/paper10.pdf"
  links:
    doi: "http://CEUR-WS.org/Vol-438/paper10.pdf"
  researchr: "https://researchr.org/publication/LohmannW09"
  cites: 0
  citedby: 0
  pages: "61-67"
  booktitle: "zeus"
  kind: "inproceedings"
  key: "LohmannW09"
- title: "Domains in a Realizability Framework"
  author:
  - name: "Roberto M. Amadio"
    link: "https://researchr.org/alias/roberto-m.-amadio"
  year: "1991"
  researchr: "https://researchr.org/publication/Amadio91%3A1"
  cites: 0
  citedby: 0
  pages: "241-263"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "Amadio91:1"
- title: "A Uniform Approach to Domain Theory in Realizability Models"
  author:
  - name: "John R. Longley"
    link: "https://researchr.org/alias/john-r.-longley"
  - name: "Alex K. Simpson"
    link: "https://researchr.org/alias/alex-k.-simpson"
  year: "1997"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/LongleyS97"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "7"
  number: "5"
  pages: "469-505"
  kind: "article"
  key: "LongleyS97"
- title: "Realizability and general dynamical systems"
  author:
  - name: "Yasuhiko Takahara"
    link: "https://researchr.org/alias/yasuhiko-takahara"
  - name: "Mihajlo Mesarovic"
    link: "https://researchr.org/alias/mihajlo-mesarovic"
  year: "1975"
  doi: "http://dx.doi.org/10.1016/0020-0255(75)90009-2"
  links:
    doi: "http://dx.doi.org/10.1016/0020-0255(75)90009-2"
  researchr: "https://researchr.org/publication/TakaharaM75"
  cites: 0
  citedby: 0
  journal: "isci"
  volume: "8"
  number: "2"
  pages: "109-121"
  kind: "article"
  key: "TakaharaM75"
- title: "Variations on Realizability"
  author:
  - name: "Martin Hyland"
    link: "https://researchr.org/alias/martin-hyland"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#013"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#013"
  researchr: "https://researchr.org/publication/Hyland99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "166-188"
  kind: "article"
  key: "Hyland99"
- title: "Combinator Realizability of a Constructive Morse Set Theory"
  author:
  - name: "John Staples"
    link: "https://researchr.org/alias/john-staples"
  year: "1974"
  researchr: "https://researchr.org/publication/Staples74"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "39"
  number: "2"
  pages: "226-234"
  kind: "article"
  key: "Staples74"
- title: "Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220338.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1422/14220338.htm"
  researchr: "https://researchr.org/publication/Tatsuta98%3A0"
  cites: 0
  citedby: 0
  pages: "338-364"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "Tatsuta98:0"
- title: "Realizability of Choreographies Using Process Algebra Encodings"
  author:
  - name: "Gwen Salaün"
    link: "https://researchr.org/alias/gwen-sala%C3%BCn"
  - name: "Tevfik Bultan"
    link: "https://researchr.org/alias/tevfik-bultan"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00255-7_12"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/SalaunB09"
  cites: 0
  citedby: 0
  pages: "167-182"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "SalaunB09"
- title: "Constructive Set Theory and Brouwerian Principles"
  author:
  - name: "Michael Rathjen"
    link: "https://researchr.org/alias/michael-rathjen"
  year: "2005"
  doi: "http://www.jucs.org/jucs_11_12/constructive_set_theory_and"
  links:
    doi: "http://www.jucs.org/jucs_11_12/constructive_set_theory_and"
  tags:
  - "principles"
  researchr: "https://researchr.org/publication/Rathjen05"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "11"
  number: "12"
  pages: "2008-2033"
  kind: "article"
  key: "Rathjen05"
- title: "A Framework for Protecting Private Information Through User-Trusted-Program and Its Realizability"
  author:
  - name: "Kenichi Takahashi"
    link: "https://researchr.org/alias/kenichi-takahashi"
  - name: "Kouichi Sakurai"
    link: "https://researchr.org/alias/kouichi-sakurai"
  - name: "Makoto Amamiya"
    link: "https://researchr.org/alias/makoto-amamiya"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11596042_45"
  links:
    doi: "http://dx.doi.org/10.1007/11596042_45"
  researchr: "https://researchr.org/publication/TakahashiSA05"
  cites: 0
  citedby: 0
  pages: "433-442"
  booktitle: "euc"
  kind: "inproceedings"
  key: "TakahashiSA05"
- title: "Diagnostic Information for Realizability"
  author:
  - name: "Alessandro Cimatti"
    link: "https://researchr.org/alias/alessandro-cimatti"
  - name: "Marco Roveri"
    link: "http://es.fbk.eu/index.php?n=People.Roveri"
  - name: "Viktor Schuppan"
    link: "https://researchr.org/alias/viktor-schuppan"
  - name: "Andrei Tchaltsev"
    link: "https://researchr.org/alias/andrei-tchaltsev"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78163-9_9"
  tags:
  - "diagnostics"
  researchr: "https://researchr.org/publication/CimattiRST08"
  cites: 0
  citedby: 0
  pages: "52-67"
  booktitle: "vmcai"
  kind: "inproceedings"
  key: "CimattiRST08"
- title: "Realizability and verification of MSC graphs"
  author:
  - name: "Rajeev Alur"
    link: "https://researchr.org/alias/rajeev-alur"
  - name: "Kousha Etessami"
    link: "https://researchr.org/alias/kousha-etessami"
  - name: "Mihalis Yannakakis"
    link: "https://researchr.org/alias/mihalis-yannakakis"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.09.034"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.09.034"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlurEY05"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "331"
  number: "1"
  pages: "97-114"
  kind: "article"
  key: "AlurEY05"
- title: "In Domain Realizability, not all Functionals on ::::C::::[-1, 1] are Continuous"
  author:
  - name: "Martín Hötzel Escardó"
    link: "https://researchr.org/alias/mart%C3%ADn-h%C3%B6tzel-escard%C3%B3"
  - name: "Thomas Streicher"
    link: "https://researchr.org/alias/thomas-streicher"
  year: "2002"
  doi: "http://dx.doi.org/10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V"
  links:
    doi: "http://dx.doi.org/10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/EscardoS02"
  cites: 0
  citedby: 0
  journal: "mlq"
  volume: "48"
  number: "S1"
  pages: "41-44"
  kind: "article"
  key: "EscardoS02"
- title: "Realizability and Verification of MSC Graphs"
  author:
  - name: "Rajeev Alur"
    link: "https://researchr.org/alias/rajeev-alur"
  - name: "Kousha Etessami"
    link: "https://researchr.org/alias/kousha-etessami"
  - name: "Mihalis Yannakakis"
    link: "https://researchr.org/alias/mihalis-yannakakis"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760797.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2076/20760797.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlurEY01"
  cites: 0
  citedby: 0
  pages: "797-808"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "AlurEY01"
- title: "Local Realizability Toposes and a Modal Logic for Computability"
  author:
  - name: "Steven Awodey"
    link: "https://researchr.org/alias/steven-awodey"
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  - name: "Dana S. Scott"
    link: "https://researchr.org/alias/dana-s.-scott"
  year: "2002"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/AwodeyBS02"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "12"
  number: "3"
  pages: "319-334"
  kind: "article"
  key: "AwodeyBS02"
- title: "Verifying realizability and reachability in recursive interaction protocol specifications"
  author:
  - name: "Hywel R. Dunn-Davies"
    link: "https://researchr.org/alias/hywel-r.-dunn-davies"
  - name: "Jim Cunningham"
    link: "https://researchr.org/alias/jim-cunningham"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558109.1558228"
  links:
    doi: "http://doi.acm.org/10.1145/1558109.1558228"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/Dunn-DaviesC09"
  cites: 0
  citedby: 0
  pages: "1233-1234"
  booktitle: "atal"
  kind: "inproceedings"
  key: "Dunn-DaviesC09"
- title: "Graph-Theoretical Conditions for Inscribability and Delaunay Realizability"
  author:
  - name: "Michael B. Dillencourt"
    link: "https://researchr.org/alias/michael-b.-dillencourt"
  - name: "Warren D. Smith"
    link: "https://researchr.org/alias/warren-d.-smith"
  year: "1994"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/DillencourtS94"
  cites: 0
  citedby: 0
  pages: "287-292"
  booktitle: "cccg"
  kind: "inproceedings"
  key: "DillencourtS94"
- title: "A type theory which is complete for Kreisel s modified realizability"
  author:
  - name: "Tristan Crolard"
    link: "https://researchr.org/alias/tristan-crolard"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#007"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#007"
  tags:
  - "completeness"
  - "type theory"
  researchr: "https://researchr.org/publication/Crolard99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "58-73"
  kind: "article"
  key: "Crolard99"
- title: "Analyzing Conversations: Realizability, Synchronizability, and Verification"
  author:
  - name: "Tevfik Bultan"
    link: "https://researchr.org/alias/tevfik-bultan"
  - name: "Xiang Fu"
    link: "https://researchr.org/alias/xiang-fu"
  - name: "Jianwen Su"
    link: "https://researchr.org/alias/jianwen-su"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72912-9_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72912-9_3"
  tags:
  - "synchronization"
  researchr: "https://researchr.org/publication/conf-swb-BultanFS07"
  cites: 0
  citedby: 0
  pages: "57-85"
  booktitle: "Test and Analysis of Web Services"
  editor:
  - name: "Luciano Baresi"
    link: "https://researchr.org/alias/luciano-baresi"
  - name: "Elisabetta Di Nitto"
    link: "https://researchr.org/alias/elisabetta-di-nitto"
  publisher: "Springer"
  isbn: "978-3-540-72912-9"
  kind: "incollection"
  key: "conf-swb-BultanFS07"
- title: "Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine s Work)"
  author:
  - name: "Christophe Raffalli"
    link: "https://researchr.org/alias/christophe-raffalli"
  - name: "Frédéric Ruyer"
    link: "https://researchr.org/alias/fr%C3%A9d%C3%A9ric-ruyer"
  year: "2008"
  doi: "http://iospress.metapress.com/content/p42t516652154205/"
  links:
    doi: "http://iospress.metapress.com/content/p42t516652154205/"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/RaffalliR08"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "84"
  number: "2"
  pages: "241-258"
  kind: "article"
  key: "RaffalliR08"
- title: "Well-foundedness in Realizability"
  author:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  - name: "Thomas Streicher"
    link: "https://researchr.org/alias/thomas-streicher"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00153-006-0003-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00153-006-0003-5"
  researchr: "https://researchr.org/publication/HofmannOS06"
  cites: 0
  citedby: 0
  journal: "AML"
  volume: "45"
  number: "7"
  pages: "795-805"
  kind: "article"
  key: "HofmannOS06"
- title: "Matching typed and untyped realizability"
  author:
  - name: "John Longley"
    link: "https://researchr.org/alias/john-longley"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/65/22/show/Products/notes/index.htt#014"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/65/22/show/Products/notes/index.htt#014"
  researchr: "https://researchr.org/publication/Longley00"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "35"
  pages: "109-132"
  kind: "article"
  key: "Longley00"
- title: "Realizability of high-level message sequence charts: closing the gaps"
  author:
  - name: "Markus Lohrey"
    link: "https://researchr.org/alias/markus-lohrey"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/j.tcs.2003.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2003.08.002"
  researchr: "https://researchr.org/publication/Lohrey03%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "309"
  number: "1-3"
  pages: "529-554"
  kind: "article"
  key: "Lohrey03:0"
- title: "S4LPand Local Realizability"
  author:
  - name: "Melvin Fitting"
    link: "https://researchr.org/alias/melvin-fitting"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79709-8_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79709-8_19"
  researchr: "https://researchr.org/publication/Fitting08%3A1"
  cites: 0
  citedby: 0
  pages: "168-179"
  booktitle: "csr"
  kind: "inproceedings"
  key: "Fitting08:1"
- title: "Extension of Lifschitz  Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman"
  author:
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "1991"
  researchr: "https://researchr.org/publication/Oosten91"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "56"
  number: "3"
  pages: "964-973"
  kind: "article"
  key: "Oosten91"
- title: "Matching typed and untyped realizability"
  author:
  - name: "John Longley"
    link: "https://researchr.org/alias/john-longley"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#008"
  researchr: "https://researchr.org/publication/Longley99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "74-100"
  kind: "article"
  key: "Longley99"
- title: "The Complexity of Several Realizability Problems for Abstract Topological Graphs"
  author:
  - name: "Jan Kyncl"
    link: "https://researchr.org/alias/jan-kyncl"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77537-9_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77537-9_16"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Kyncl07"
  cites: 0
  citedby: 0
  pages: "137-158"
  booktitle: "gd"
  kind: "inproceedings"
  key: "Kyncl07"
- title: "Realizability of interaction models"
  author:
  - name: "Gero Decker"
    link: "https://researchr.org/alias/gero-decker"
  year: "2009"
  doi: "http://CEUR-WS.org/Vol-438/paper9.pdf"
  links:
    doi: "http://CEUR-WS.org/Vol-438/paper9.pdf"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Decker09"
  cites: 0
  citedby: 0
  pages: "55-60"
  booktitle: "zeus"
  kind: "inproceedings"
  key: "Decker09"
- title: "Permutation Realizability and Fault Tolerance Property of the Inside-Out Routing Algorithm"
  author:
  - name: "Seung-Woo Seo"
    link: "https://researchr.org/alias/seung-woo-seo"
  - name: "Tse-Yun Feng"
    link: "https://researchr.org/alias/tse-yun-feng"
  - name: "Hyoung-Il Lee"
    link: "https://researchr.org/alias/hyoung-il-lee"
  year: "1999"
  doi: "http://www.computer.org/tpds/td1999/l0946abs.htm"
  links:
    doi: "http://www.computer.org/tpds/td1999/l0946abs.htm"
  tags:
  - "routing"
  researchr: "https://researchr.org/publication/SeoFL99"
  cites: 0
  citedby: 0
  journal: "tpds"
  volume: "10"
  number: "9"
  pages: "946-957"
  kind: "article"
  key: "SeoFL99"
- title: "Infinite-State High-Level MSCs: Model-Checking and Realizability"
  author:
  - name: "Blaise Genest"
    link: "https://researchr.org/alias/blaise-genest"
  - name: "Anca Muscholl"
    link: "https://researchr.org/alias/anca-muscholl"
  - name: "Helmut Seidl"
    link: "https://researchr.org/alias/helmut-seidl"
  - name: "Marc Zeitoun"
    link: "https://researchr.org/alias/marc-zeitoun"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2380/23800657.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2380/23800657.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GenestMSZ02"
  cites: 0
  citedby: 0
  pages: "657-668"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "GenestMSZ02"
- title: "Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle"
  author:
  - name: "Alexey V. Chernov"
    link: "https://researchr.org/alias/alexey-v.-chernov"
  - name: "Dmitrij P. Skvortsov"
    link: "https://researchr.org/alias/dmitrij-p.-skvortsov"
  - name: "Elena Z. Skvortsova"
    link: "https://researchr.org/alias/elena-z.-skvortsova"
  - name: "Nikolai K. Vereshchagin"
    link: "https://researchr.org/alias/nikolai-k.-vereshchagin"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2471/24710074.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2471/24710074.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/ChernovSSV02"
  cites: 0
  citedby: 0
  pages: "74-88"
  booktitle: "csl"
  kind: "inproceedings"
  key: "ChernovSSV02"
- title: "Nearest Neighbour Graph Realizability is NP-hard"
  author:
  - name: "Peter Eades"
    link: "https://researchr.org/alias/peter-eades"
  - name: "Sue Whitesides"
    link: "https://researchr.org/alias/sue-whitesides"
  year: "1995"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EadesW95"
  cites: 0
  citedby: 0
  pages: "245-256"
  booktitle: "latin"
  kind: "inproceedings"
  key: "EadesW95"
- title: "A semidefinite programming approach to tensegrity theory and realizability of graphs"
  author:
  - name: "Anthony Man-Cho So"
    link: "https://researchr.org/alias/anthony-man-cho-so"
  - name: "Yinyu Ye"
    link: "https://researchr.org/alias/yinyu-ye"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1109557.1109641"
  links:
    doi: "http://doi.acm.org/10.1145/1109557.1109641"
  tags:
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/SoY06"
  cites: 0
  citedby: 0
  pages: "766-775"
  booktitle: "soda"
  kind: "inproceedings"
  key: "SoY06"
- title: "On Krivine s Realizability Interpretation of Classical Second-Order Arithmetic"
  author:
  - name: "Paulo Oliva"
    link: "https://researchr.org/alias/paulo-oliva"
  - name: "Thomas Streicher"
    link: "https://researchr.org/alias/thomas-streicher"
  year: "2008"
  doi: "http://iospress.metapress.com/content/f51774wm73404583/"
  links:
    doi: "http://iospress.metapress.com/content/f51774wm73404583/"
  researchr: "https://researchr.org/publication/OlivaS08"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "84"
  number: "2"
  pages: "207-220"
  kind: "article"
  key: "OlivaS08"
- title: "Program Synthesis Using Realizability"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1991"
  researchr: "https://researchr.org/publication/Tatsuta91%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "90"
  number: "2"
  pages: "309-353"
  kind: "article"
  key: "Tatsuta91:0"
- title: "A Categorical Approach to Realizability and Polymorphic Types"
  author:
  - name: "Aurelio Carboni"
    link: "https://researchr.org/alias/aurelio-carboni"
  - name: "Peter J. Freyd"
    link: "https://researchr.org/alias/peter-j.-freyd"
  - name: "Andre Scedrov"
    link: "https://researchr.org/alias/andre-scedrov"
  year: "1987"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/CarboniFS87"
  cites: 0
  citedby: 0
  pages: "23-42"
  booktitle: "mfps"
  kind: "inproceedings"
  key: "CarboniFS87"
- title: "Simpler Proof of a Realizability Theorem on Delaunay Triangulations"
  author:
  - name: "Kokichi Sugihara"
    link: "https://researchr.org/alias/kokichi-sugihara"
  year: "1994"
  researchr: "https://researchr.org/publication/Sugihara94%3A0"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "50"
  number: "4"
  pages: "173-176"
  kind: "article"
  key: "Sugihara94:0"
- title: "Kripke Semantics for Dependent Type Theory and Realizability Interpretations"
  author:
  - name: "James Lipton"
    link: "https://researchr.org/alias/james-lipton"
  year: "1991"
  tags:
  - "semantics"
  - "type theory"
  researchr: "https://researchr.org/publication/Lipton91"
  cites: 0
  citedby: 0
  pages: "22-32"
  booktitle: "constructivity"
  kind: "inproceedings"
  key: "Lipton91"
- title: "Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1994"
  researchr: "https://researchr.org/publication/Tatsuta94%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "122"
  number: "1&2"
  pages: "119-136"
  kind: "article"
  key: "Tatsuta94:0"
- title: "Tripos Theory in Retrospect"
  author:
  - name: "Andrew M. Pitts"
    link: "https://researchr.org/alias/andrew-m.-pitts"
  year: "2002"
  researchr: "https://researchr.org/publication/Pitts02"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "12"
  number: "3"
  pages: "265-279"
  kind: "article"
  key: "Pitts02"
- title: "Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1992"
  researchr: "https://researchr.org/publication/Tatsuta92"
  cites: 0
  citedby: 0
  pages: "666-673"
  booktitle: "fgcs"
  kind: "inproceedings"
  key: "Tatsuta92"
- title: "On propositions-as-types in realizability models"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/65/22/show/Products/notes/index.htt#005"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/65/22/show/Products/notes/index.htt#005"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Birkedal00%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "35"
  pages: "52"
  kind: "article"
  key: "Birkedal00:0"
- title: "Realizability as Connection between Constructive and Computable Mathematics"
  author:
  - name: "Andrej Bauer"
    link: "https://researchr.org/alias/andrej-bauer"
  year: "2005"
  researchr: "https://researchr.org/publication/Bauer05%3A1"
  cites: 0
  citedby: 0
  pages: "378-379"
  booktitle: "cca"
  kind: "inproceedings"
  key: "Bauer05:1"
- title: "Linear realizability and full completeness for typed lambda-calculi"
  author:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "Marina Lenisa"
    link: "https://researchr.org/alias/marina-lenisa"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.apal.2004.08.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.apal.2004.08.003"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/AbramskyL05"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "134"
  number: "2-3"
  pages: "122-168"
  kind: "article"
  key: "AbramskyL05"
- title: "Local Realizability Toposes and a Modal Logic for Computability"
  author:
  - name: "Steven Awodey"
    link: "https://researchr.org/alias/steven-awodey"
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  - name: "Dana S. Scott"
    link: "https://researchr.org/alias/dana-s.-scott"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#004"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/AwodeyBS99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "13-26"
  kind: "article"
  key: "AwodeyBS99"
- title: "Graph-theoretical conditions for inscribability and Delaunay realizability"
  author:
  - name: "Michael B. Dillencourt"
    link: "https://researchr.org/alias/michael-b.-dillencourt"
  - name: "Warren D. Smith"
    link: "https://researchr.org/alias/warren-d.-smith"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0012-365X(95)00276-3"
  links:
    doi: "http://dx.doi.org/10.1016/0012-365X(95)00276-3"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/DillencourtS96%3A0"
  cites: 0
  citedby: 0
  journal: "DM"
  volume: "161"
  number: "1-3"
  pages: "63-77"
  kind: "article"
  key: "DillencourtS96:0"
- title: "A Realizability Model for Impredicative Hoare Type Theory"
  author:
  - name: "Rasmus Lerchedahl Petersen"
    link: "https://researchr.org/alias/rasmus-lerchedahl-petersen"
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  - name: "Aleksandar Nanevski"
    link: "https://researchr.org/alias/aleksandar-nanevski"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78739-6_26"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78739-6_26"
  tags:
  - "type theory"
  researchr: "https://researchr.org/publication/PetersenBNM08"
  cites: 0
  citedby: 0
  pages: "337-352"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "PetersenBNM08"
- title: "Realizability Models for Type Theories"
  author:
  - name: "Bernhard Reus"
    link: "https://researchr.org/alias/bernhard-reus"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#011"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#011"
  tags:
  - "meta-model"
  - "type theory"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Reus99%3A0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "23"
  number: "1"
  pages: "128-158"
  kind: "article"
  key: "Reus99:0"
- title: "Realizability Results Involving Two Connectivity Parameters"
  author:
  - name: "L. William Kazmierczak"
    link: "https://researchr.org/alias/l.-william-kazmierczak"
  - name: "F. Boesch"
    link: "https://researchr.org/alias/f.-boesch"
  - name: "D. Gross"
    link: "https://researchr.org/alias/d.-gross"
  - name: "Charles L. Suffel"
    link: "https://researchr.org/alias/charles-l.-suffel"
  year: "2007"
  researchr: "https://researchr.org/publication/KazmierczakBGS07"
  cites: 0
  citedby: 0
  journal: "arscom"
  volume: "82"
  kind: "article"
  key: "KazmierczakBGS07"
- title: "Axiomatizing Higher-Order Kleene Realizability"
  author:
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "1994"
  researchr: "https://researchr.org/publication/Oosten94"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "70"
  number: "1"
  pages: "87-111"
  kind: "article"
  key: "Oosten94"
- title: "Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types"
  author:
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  - name: "Kristian Støvring"
    link: "https://researchr.org/alias/kristian-st%C3%B8vring"
  - name: "Jacob Thamsborg"
    link: "https://researchr.org/alias/jacob-thamsborg"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00596-1_32"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00596-1_32"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BirkedalST09"
  cites: 0
  citedby: 0
  pages: "456-470"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "BirkedalST09"
- title: "Lifschitz  Realizability"
  author:
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "1990"
  researchr: "https://researchr.org/publication/Oosten90"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "55"
  number: "2"
  pages: "805-821"
  kind: "article"
  key: "Oosten90"
- title: "Realizability Interpretation of Generalized Inductive Definitions"
  author:
  - name: "Satoshi Kobayashi"
    link: "https://researchr.org/alias/satoshi-kobayashi"
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1994"
  researchr: "https://researchr.org/publication/KobayashiT94"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "131"
  number: "1"
  pages: "121-138"
  kind: "article"
  key: "KobayashiT94"
- title: "Infinite-state high-level MSCs: Model-checking and realizability"
  author:
  - name: "Blaise Genest"
    link: "https://researchr.org/alias/blaise-genest"
  - name: "Anca Muscholl"
    link: "https://researchr.org/alias/anca-muscholl"
  - name: "Helmut Seidl"
    link: "https://researchr.org/alias/helmut-seidl"
  - name: "Marc Zeitoun"
    link: "https://researchr.org/alias/marc-zeitoun"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jcss.2005.09.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.jcss.2005.09.007"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GenestMSZ06"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "72"
  number: "4"
  pages: "617-647"
  kind: "article"
  key: "GenestMSZ06"
- title: "Monotone Recursive Definition of Predicates and Its Realizability Interpretation"
  author:
  - name: "Makoto Tatsuta"
    link: "https://researchr.org/alias/makoto-tatsuta"
  year: "1991"
  researchr: "https://researchr.org/publication/Tatsuta91"
  cites: 0
  citedby: 0
  pages: "38-52"
  booktitle: "tacs"
  kind: "inproceedings"
  key: "Tatsuta91"
- title: "Multiroute flows: Cut-trees and realizability"
  author:
  - name: "Santosh N. Kabadi"
    link: "https://researchr.org/alias/santosh-n.-kabadi"
  - name: "Ramaswamy Chandrasekaran"
    link: "https://researchr.org/alias/ramaswamy-chandrasekaran"
  - name: "K. P. K. Nair"
    link: "https://researchr.org/alias/k.-p.-k.-nair"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.disopt.2005.03.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.disopt.2005.03.005"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/KabadiCN05"
  cites: 0
  citedby: 0
  journal: "disopt"
  volume: "2"
  number: "3"
  pages: "229-240"
  kind: "article"
  key: "KabadiCN05"
- title: "Strong Safe Realizability of Message Sequence Chart Specifications"
  author:
  - name: "Abdolmajid Mousavi"
    link: "https://researchr.org/alias/abdolmajid-mousavi"
  - name: "Behrouz Homayoun Far"
    link: "https://researchr.org/alias/behrouz-homayoun-far"
  - name: "Armin Eberlein"
    link: "https://researchr.org/alias/armin-eberlein"
  - name: "Behrouz Heidari"
    link: "https://researchr.org/alias/behrouz-heidari"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75698-9_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75698-9_22"
  researchr: "https://researchr.org/publication/MousaviFEH07"
  cites: 0
  citedby: 0
  pages: "334-349"
  booktitle: "fsen"
  kind: "inproceedings"
  key: "MousaviFEH07"
- title: "On the realizability and synthesis of delay-insensitive behaviors"
  author:
  - name: "S. C. Leung"
    link: "https://researchr.org/alias/s.-c.-leung"
  - name: "Hon F. Li"
    link: "https://researchr.org/alias/hon-f.-li"
  year: "1995"
  doi: "http://doi.ieeecomputersociety.org/10.1109/43.391731"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/43.391731"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/LeungL95"
  cites: 0
  citedby: 0
  journal: "tcad"
  volume: "14"
  number: "7"
  pages: "833-848"
  kind: "article"
  key: "LeungL95"
- title: "Modified Realizability Interpretation of Classical Linear Logic"
  author:
  - name: "Paulo Oliva"
    link: "https://researchr.org/alias/paulo-oliva"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2007.32"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2007.32"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Oliva07"
  cites: 0
  citedby: 0
  pages: "431-442"
  booktitle: "lics"
  kind: "inproceedings"
  key: "Oliva07"
- title: "Functional forms of majority functions and a necessary and sufficient condition for their realizability"
  author:
  - name: "Saburo Muroga"
    link: "https://researchr.org/alias/saburo-muroga"
  year: "1961"
  researchr: "https://researchr.org/publication/Muroga61"
  cites: 0
  citedby: 0
  pages: "39-46"
  booktitle: "focs"
  kind: "inproceedings"
  key: "Muroga61"
- title: "On realizability of neural networks-based input-output models in the classical state-space form"
  author:
  - name: "Ülle Kotta"
    link: "https://researchr.org/alias/%C3%BClle-kotta"
  - name: "F. N. Chowdhury"
    link: "https://researchr.org/alias/f.-n.-chowdhury"
  - name: "S. Nõmm"
    link: "https://researchr.org/alias/s.-n%C3%B5mm"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.automatica.2006.03.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.automatica.2006.03.003"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/KottaCN06"
  cites: 0
  citedby: 0
  journal: "automatica"
  volume: "42"
  number: "7"
  pages: "1211-1216"
  kind: "article"
  key: "KottaCN06"
- title: "A realizability interpretation for classical analysis"
  author:
  - name: "Henry Towsner"
    link: "https://researchr.org/alias/henry-towsner"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/s00153-004-0233-3"
  links:
    doi: "http://dx.doi.org/10.1007/s00153-004-0233-3"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Towsner04"
  cites: 0
  citedby: 0
  journal: "AML"
  volume: "43"
  number: "7"
  pages: "891-900"
  kind: "article"
  key: "Towsner04"
- title: "Lambek s Categorical Proof Theory and Läuchli s Abstract Realizability"
  author:
  - name: "Victor Harnik"
    link: "https://researchr.org/alias/victor-harnik"
  - name: "Michael Makkai"
    link: "https://researchr.org/alias/michael-makkai"
  year: "1992"
  researchr: "https://researchr.org/publication/HarnikM92"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "57"
  number: "1"
  pages: "200-230"
  kind: "article"
  key: "HarnikM92"
- title: "Realizability in Computer Aided Design"
  author:
  - name: "Sanjay G. Dhande"
    link: "https://researchr.org/alias/sanjay-g.-dhande"
  - name: "K. P. Karunakaran"
    link: "https://researchr.org/alias/k.-p.-karunakaran"
  year: "1993"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/DhandeK93"
  cites: 0
  citedby: 0
  pages: "259-270"
  booktitle: "iccg"
  kind: "inproceedings"
  key: "DhandeK93"
- title: "Information Systems, Continuity and Realizability"
  author:
  - name: "Charles McCarty"
    link: "https://researchr.org/alias/charles-mccarty"
  year: "1983"
  researchr: "https://researchr.org/publication/McCarty83"
  cites: 0
  citedby: 0
  pages: "341"
  booktitle: "lop"
  kind: "inproceedings"
  key: "McCarty83"
- title: "10::3::-configurations and projective realizability of multiplied configurations"
  author:
  - name: "Krzysztof Petelczyc"
    link: "https://researchr.org/alias/krzysztof-petelczyc"
  - name: "Malgorzata Prazmowska"
    link: "https://researchr.org/alias/malgorzata-prazmowska"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10623-008-9242-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10623-008-9242-2"
  researchr: "https://researchr.org/publication/PetelczycP09"
  cites: 0
  citedby: 0
  journal: "dcc"
  volume: "51"
  number: "1"
  pages: "45-54"
  kind: "article"
  key: "PetelczycP09"
- title: "Interaction and Realizability"
  author:
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-69507-3_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69507-3_3"
  researchr: "https://researchr.org/publication/Broy07%3A0"
  cites: 0
  citedby: 0
  pages: "29-50"
  booktitle: "sofsem"
  kind: "inproceedings"
  key: "Broy07:0"
- title: "Realizability of Collaboration-based Service Specifications"
  author:
  - name: "Humberto Nicolás Castejón"
    link: "https://researchr.org/alias/humberto-nicol%C3%A1s-castej%C3%B3n"
  - name: "Rolv Bræk"
    link: "https://researchr.org/alias/rolv-br%C3%A6k"
  - name: "Gregor von Bochmann"
    link: "https://researchr.org/alias/gregor-von-bochmann"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.79"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.79"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/CastejonBB07"
  cites: 0
  citedby: 0
  pages: "73-80"
  booktitle: "apsec"
  kind: "inproceedings"
  key: "CastejonBB07"
- title: "Realizability of Score Sequence Pair of an (r1l, r12, r22)-Tournament"
  author:
  - name: "Masaya Takahashi"
    link: "https://researchr.org/alias/masaya-takahashi"
  - name: "Takahiro Watanabe"
    link: "https://researchr.org/alias/takahiro-watanabe"
  - name: "Takeshi Yoshimura"
    link: "https://researchr.org/alias/takeshi-yoshimura"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/APCCAS.2006.342261"
  links:
    doi: "http://dx.doi.org/10.1109/APCCAS.2006.342261"
  researchr: "https://researchr.org/publication/TakahashiWY06"
  cites: 0
  citedby: 0
  pages: "1019-1022"
  booktitle: "apccas"
  kind: "inproceedings"
  key: "TakahashiWY06"
- title: "Realizability of Concurrent Recursive Programs"
  author:
  - name: "Benedikt Bollig"
    link: "https://researchr.org/alias/benedikt-bollig"
  - name: "Manuela-Lidia Grindei"
    link: "https://researchr.org/alias/manuela-lidia-grindei"
  - name: "Peter Habermehl"
    link: "https://researchr.org/alias/peter-habermehl"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00596-1_29"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00596-1_29"
  researchr: "https://researchr.org/publication/BolligGH09"
  cites: 0
  citedby: 0
  pages: "410-424"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "BolligGH09"
- title: "Realizability of Conversation Protocols with Message Contents"
  author:
  - name: "Xiang Fu"
    link: "https://researchr.org/alias/xiang-fu"
  - name: "Tevfik Bultan"
    link: "https://researchr.org/alias/tevfik-bultan"
  - name: "Jianwen Su"
    link: "https://researchr.org/alias/jianwen-su"
  year: "2005"
  doi: "http://www.igi-pub.com/articles/details.asp?ID=5331"
  links:
    doi: "http://www.igi-pub.com/articles/details.asp?ID=5331"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/FuBS05"
  cites: 0
  citedby: 0
  journal: "jwsr"
  volume: "2"
  number: "4"
  pages: "68-93"
  kind: "article"
  key: "FuBS05"
- title: "An Abstract Look at Realizability"
  author:
  - name: "Edmund Robinson"
    link: "https://researchr.org/alias/edmund-robinson"
  - name: "Giuseppe Rosolini"
    link: "https://researchr.org/alias/giuseppe-rosolini"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420173.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420173.htm"
  researchr: "https://researchr.org/publication/RobinsonR01"
  cites: 0
  citedby: 0
  pages: "173-187"
  booktitle: "csl"
  kind: "inproceedings"
  key: "RobinsonR01"
- title: "Variations on Realizability: Realizing the Propositional Axiom of Choice"
  author:
  - name: "J. M. E. Hyland"
    link: "https://researchr.org/alias/j.-m.-e.-hyland"
  year: "2002"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Hyland02%3A0"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "12"
  number: "3"
  pages: "295-317"
  kind: "article"
  key: "Hyland02:0"
- title: "Analysis of Realizability Conditions for Web Service Choreographies"
  author:
  - name: "Raman Kazhamiakin"
    link: "https://researchr.org/alias/raman-kazhamiakin"
  - name: "Marco Pistore"
    link: "https://researchr.org/alias/marco-pistore"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11888116_5"
  links:
    doi: "http://dx.doi.org/10.1007/11888116_5"
  tags:
  - "web service"
  - "analysis"
  researchr: "https://researchr.org/publication/KazhamiakinP06%3A0"
  cites: 0
  citedby: 0
  pages: "61-76"
  booktitle: "forte"
  kind: "inproceedings"
  key: "KazhamiakinP06:0"
- title: "Realizability Criteria for Compositional MSC"
  author:
  - name: "Arjan J. Mooij"
    link: "https://researchr.org/alias/arjan-j.-mooij"
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Wieger Wesselink"
    link: "https://researchr.org/alias/wieger-wesselink"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11784180_20"
  links:
    doi: "http://dx.doi.org/10.1007/11784180_20"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/MooijRW06"
  cites: 0
  citedby: 0
  pages: "248-262"
  booktitle: "amast"
  kind: "inproceedings"
  key: "MooijRW06"
- title: "Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis"
  author:
  - name: "Zlatan Damnjanovic"
    link: "https://researchr.org/alias/zlatan-damnjanovic"
  year: "1995"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Damnjanovic95"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "60"
  number: "4"
  pages: "1208-1241"
  kind: "article"
  key: "Damnjanovic95"
- title: "Flagg Realizability in Arithmetic"
  author:
  - name: "Nicolas D. Goodman"
    link: "https://researchr.org/alias/nicolas-d.-goodman"
  year: "1986"
  researchr: "https://researchr.org/publication/Goodman86a"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "51"
  number: "2"
  pages: "387-392"
  kind: "article"
  key: "Goodman86a"
- title: "An algorithm for the verification of timing diagrams realizability"
  author:
  - name: "A. El-Aboudi"
    link: "https://researchr.org/alias/a.-el-aboudi"
  - name: "El Mostapha Aboulhamid"
    link: "https://researchr.org/alias/el-mostapha-aboulhamid"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISCAS.1999.777866"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ISCAS.1999.777866"
  researchr: "https://researchr.org/publication/El-AboudiA99"
  cites: 0
  citedby: 0
  pages: "314-317"
  booktitle: "iscas"
  kind: "inproceedings"
  key: "El-AboudiA99"
- title: "Realizability of Delaunay Triangulations"
  author:
  - name: "Michael B. Dillencourt"
    link: "https://researchr.org/alias/michael-b.-dillencourt"
  year: "1990"
  researchr: "https://researchr.org/publication/Dillencourt90%3A0"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "33"
  number: "6"
  pages: "283-287"
  kind: "article"
  key: "Dillencourt90:0"
- title: "Fragments of Heyting Arithmetic"
  author:
  - name: "Wolfgang Burr"
    link: "https://researchr.org/alias/wolfgang-burr"
  year: "2000"
  researchr: "https://researchr.org/publication/Burr00"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "65"
  number: "3"
  pages: "1223-1240"
  kind: "article"
  key: "Burr00"
- title: "Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels"
  author:
  - name: "James Lipton"
    link: "https://researchr.org/alias/james-lipton"
  - name: "Michael J. O Donnell"
    link: "https://researchr.org/alias/michael-j.-o-donnell"
  year: "1996"
  tags:
  - "semantics"
  - "logic"
  researchr: "https://researchr.org/publication/LiptonO96"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "81"
  number: "1-3"
  pages: "187-239"
  kind: "article"
  key: "LiptonO96"
- title: "Strictly Primitive Recursive Realizability, I"
  author:
  - name: "Zlatan Damnjanovic"
    link: "https://researchr.org/alias/zlatan-damnjanovic"
  year: "1994"
  researchr: "https://researchr.org/publication/Damnjanovic94"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "59"
  number: "4"
  pages: "1210-1227"
  kind: "article"
  key: "Damnjanovic94"
- title: "An Automata-Theoretic Approach to Fair Realizability and Synthesis"
  author:
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  year: "1995"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Vardi95%3A0"
  cites: 0
  citedby: 0
  pages: "267-278"
  booktitle: "cav"
  kind: "inproceedings"
  key: "Vardi95:0"
- title: "A Survey of Propositional Realizability Logic"
  author:
  - name: "Valery Plisko"
    link: "https://researchr.org/alias/valery-plisko"
  year: "2009"
  doi: "http://www.math.ucla.edu/~asl/bsl/1501/1501-001.ps"
  links:
    doi: "http://www.math.ucla.edu/~asl/bsl/1501/1501-001.ps"
  tags:
  - "survey"
  - "logic"
  researchr: "https://researchr.org/publication/Plisko09"
  cites: 0
  citedby: 0
  journal: "bsl"
  volume: "15"
  number: "1"
  pages: "1-42"
  kind: "article"
  key: "Plisko09"
- title: "Realizability of Graphs"
  author:
  - name: "Maria Belk"
    link: "https://researchr.org/alias/maria-belk"
  - name: "Robert Connelly"
    link: "https://researchr.org/alias/robert-connelly"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00454-006-1284-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00454-006-1284-5"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/BelkC07"
  cites: 0
  citedby: 0
  journal: "dcg"
  volume: "37"
  number: "2"
  pages: "125-137"
  kind: "article"
  key: "BelkC07"
- title: "Two Remarks on the Lifschitz Realizability Topos"
  author:
  - name: "Jaap van Oosten"
    link: "http://www.math.uu.nl/people/jvoosten/"
  year: "1996"
  researchr: "https://researchr.org/publication/Oosten96%3A0"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "61"
  number: "1"
  pages: "70-79"
  kind: "article"
  key: "Oosten96:0"