publications:
- title: "A Formal Semantics of Clock Refinement in Imperative Synchronous Languages"
  author:
  - name: "Mike Gemunde"
    link: "https://researchr.org/alias/mike-gemunde"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.25"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/GemundeBS10"
  tags:
  - "semantics"
  - "formal semantics"
  - "refinement"
  researchr: "https://researchr.org/publication/GemundeBS10-0"
  cites: 0
  citedby: 0
  pages: "157-168"
  booktitle: "10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010"
  editor:
  - name: "Luís Gomes"
    link: "https://researchr.org/alias/lu%26iacute%3Bs-gomes"
  - name: "Victor Khomenko"
    link: "https://researchr.org/alias/victor-khomenko"
  - name: "João M. Fernandes"
    link: "https://researchr.org/alias/jo%26atilde%3Bo-m.-fernandes"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4066-5"
  kind: "inproceedings"
  key: "GemundeBS10-0"
- title: "Dependency-Driven Distribution of Synchronous Programs"
  author:
  - name: "Daniel Baudisch"
    link: "https://researchr.org/alias/daniel-baudisch"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15234-4_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15234-4_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip10-3/BaudischBS10"
  researchr: "https://researchr.org/publication/BaudischBS10-0"
  cites: 0
  citedby: 0
  pages: "169-180"
  booktitle: "Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings"
  editor:
  - name: "Mike Hinchey"
    link: "https://researchr.org/alias/mike-hinchey"
  - name: "Bernd Kleinjohann"
    link: "https://researchr.org/alias/bernd-kleinjohann"
  - name: "Lisa Kleinjohann"
    link: "https://researchr.org/alias/lisa-kleinjohann"
  - name: "Peter A. Lindsay"
    link: "https://researchr.org/alias/peter-a.-lindsay"
  - name: "Franz J. Rammig"
    link: "https://researchr.org/alias/franz-j.-rammig"
  - name: "Jon Timmis"
    link: "https://researchr.org/alias/jon-timmis"
  - name: "Marilyn Wolf"
    link: "https://researchr.org/alias/marilyn-wolf"
  volume: "329"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-3-642-15233-7"
  kind: "inproceedings"
  key: "BaudischBS10-0"
- title: "A Verified Compiler for Synchronous Programs with Local Declarations"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Tobias Schüle"
    link: "https://researchr.org/alias/tobias-sch%C3%BCle"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.028"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.028"
  tags:
  - "program verification"
  - "compiler"
  researchr: "https://researchr.org/publication/SchneiderBS06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "153"
  number: "4"
  pages: "71-97"
  kind: "article"
  key: "SchneiderBS06"
- title: "Static data-flow analysis of synchronous programs"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2009.5185392"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2009.5185392"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/BrandtS09"
  tags:
  - "program analysis"
  - "analysis"
  - "static analysis"
  - "data-flow programming"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/BrandtS09"
  cites: 0
  citedby: 0
  pages: "161-170"
  booktitle: "7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BrandtS09"
- title: "Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11576280_28"
  links:
    doi: "http://dx.doi.org/10.1007/11576280_28"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BrandtS05%3A0"
  cites: 0
  citedby: 0
  pages: "405-420"
  booktitle: "Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings"
  editor:
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  - name: "Richard Banach"
    link: "https://researchr.org/alias/richard-banach"
  volume: "3785"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29797-9"
  kind: "inproceedings"
  key: "BrandtS05:0"
- title: "Desynchronizing Synchronous Programs by Modes"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Mike Gemunde"
    link: "https://researchr.org/alias/mike-gemunde"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.24"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/BrandtGS09"
  researchr: "https://researchr.org/publication/BrandtGS09"
  cites: 0
  citedby: 0
  pages: "32-41"
  booktitle: "Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BrandtGS09"
- title: "System Description Aspects as Syntactic Sugar"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2006"
  doi: "http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=403"
  links:
    doi: "http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=403"
  researchr: "https://researchr.org/publication/BrandtS06"
  cites: 0
  citedby: 0
  pages: "293-301"
  booktitle: "Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings"
  publisher: "ECSI"
  isbn: "978-3-00-019710-9"
  kind: "inproceedings"
  key: "BrandtS06"
- title: "Translating concurrent action oriented specifications to synchronous guarded actions"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1755888.1755896"
  links:
    doi: "http://doi.acm.org/10.1145/1755888.1755896"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lctrts/BrandtSS10"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/BrandtSS10"
  cites: 0
  citedby: 0
  pages: "47-56"
  booktitle: "Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010"
  editor:
  - name: "Jaejin Lee"
    link: "https://researchr.org/alias/jaejin-lee"
  - name: "Bruce R. Childers"
    link: "https://researchr.org/alias/bruce-r.-childers"
  publisher: "ACM"
  isbn: "978-1-60558-953-4"
  kind: "inproceedings"
  key: "BrandtSS10"
- title: "Modular Compilation of Synchronous Programs"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Eric Vecchié"
    link: "https://researchr.org/alias/eric-vecchi%C3%A9"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-0-387-39362-9_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-39362-9_9"
  researchr: "https://researchr.org/publication/SchneiderBV06"
  cites: 0
  citedby: 0
  pages: "75-84"
  booktitle: "From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal"
  editor:
  - name: "Bernd Kleinjohann"
    link: "https://researchr.org/alias/bernd-kleinjohann"
  - name: "Lisa Kleinjohann"
    link: "https://researchr.org/alias/lisa-kleinjohann"
  - name: "Ricardo Jorge Machado"
    link: "https://researchr.org/alias/ricardo-jorge-machado"
  - name: "Carlos Eduardo Pereira"
    link: "https://researchr.org/alias/carlos-eduardo-pereira"
  - name: "P. S. Thiagarajan"
    link: "https://researchr.org/alias/p.-s.-thiagarajan"
  volume: "225"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-0-387-39361-2"
  kind: "inproceedings"
  key: "SchneiderBV06"
- title: "How Different are Esterel and SystemC?"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2007"
  researchr: "https://researchr.org/publication/BrandtS07"
  cites: 0
  citedby: 0
  pages: "98-103"
  booktitle: "Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings"
  publisher: "ECSI"
  kind: "inproceedings"
  key: "BrandtS07"
- title: "Formal Reasoning About Causality Analysis"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-71067-7_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71067-7_13"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/BrandtS08"
  cites: 0
  citedby: 0
  pages: "118-133"
  booktitle: "Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings"
  editor:
  - name: "Otmane Aït Mohamed"
    link: "https://researchr.org/alias/otmane-a%C3%AFt-mohamed"
  - name: "César Muñoz"
    link: "https://researchr.org/alias/c%C3%A9sar-mu%C3%B1oz"
  - name: "Sofiène Tahar"
    link: "https://researchr.org/alias/sofi%C3%A8ne-tahar"
  volume: "5170"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71065-3"
  kind: "inproceedings"
  key: "BrandtS08"
- title: "Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11596356_42"
  links:
    doi: "http://dx.doi.org/10.1007/11596356_42"
  researchr: "https://researchr.org/publication/BrandtS05"
  cites: 0
  citedby: 0
  pages: "405-417"
  booktitle: "Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings"
  editor:
  - name: "Laurence Tianruo Yang"
    link: "https://researchr.org/alias/laurence-tianruo-yang"
  - name: "Makoto Amamiya"
    link: "https://researchr.org/alias/makoto-amamiya"
  - name: "Zhen Liu"
    link: "https://researchr.org/alias/zhen-liu"
  - name: "Minyi Guo"
    link: "https://researchr.org/alias/minyi-guo"
  - name: "Franz J. Rammig"
    link: "https://researchr.org/alias/franz-j.-rammig"
  volume: "3824"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30807-5"
  kind: "inproceedings"
  key: "BrandtS05"
- title: "Causality analysis of synchronous programs with delayed actions"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Tobias Schüle"
    link: "https://researchr.org/alias/tobias-sch%C3%BCle"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1023833.1023859"
  links:
    doi: "http://doi.acm.org/10.1145/1023833.1023859"
  tags:
  - "program analysis"
  - "analysis"
  researchr: "https://researchr.org/publication/SchneiderBS04"
  cites: 0
  citedby: 0
  pages: "179-189"
  booktitle: "Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004"
  editor:
  - name: "Mary Jane Irwin"
    link: "https://researchr.org/alias/mary-jane-irwin"
  - name: "Wei Zhao"
    link: "https://researchr.org/alias/wei-zhao"
  - name: "Luciano Lavagno"
    link: "https://researchr.org/alias/luciano-lavagno"
  - name: "Scott A. Mahlke"
    link: "https://researchr.org/alias/scott-a.-mahlke"
  publisher: "ACM"
  isbn: "1-58113-890-3"
  kind: "inproceedings"
  key: "SchneiderBS04"
- title: "Compilation of imperative synchronous programs with refined clocks"
  author:
  - name: "Mike Gemunde"
    link: "https://researchr.org/alias/mike-gemunde"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558633"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558633"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/GemundeBS10"
  researchr: "https://researchr.org/publication/GemundeBS10"
  cites: 0
  citedby: 0
  pages: "209-218"
  booktitle: "8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "GemundeBS10"
- title: "Performing causality analysis by bounded model checking"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ACSD.2008.4574599"
  links:
    doi: "http://dx.doi.org/10.1109/ACSD.2008.4574599"
  tags:
  - "model checking"
  - "meta-model"
  - "analysis"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SchneiderB08"
  cites: 0
  citedby: 0
  pages: "78-87"
  booktitle: "8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008"
  editor:
  - name: "Jonathan Billington"
    link: "https://researchr.org/alias/jonathan-billington"
  - name: "Zhenhua Duan"
    link: "https://researchr.org/alias/zhenhua-duan"
  - name: "Maciej Koutny"
    link: "https://researchr.org/alias/maciej-koutny"
  publisher: "IEEE"
  isbn: "978-1-4244-1838-1"
  kind: "inproceedings"
  key: "SchneiderB08"
- title: "Message from the chairs"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Barbara Jobstmann"
    link: "https://researchr.org/alias/barbara-jobstmann"
  - name: "Luca P. Carloni"
    link: "https://researchr.org/alias/luca-p.-carloni"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558631"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558631"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/SchneiderJCB10"
  researchr: "https://researchr.org/publication/SchneiderJCB10"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "SchneiderJCB10"
- title: "Maximal Causality Analysis"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Tobias Schüle"
    link: "https://researchr.org/alias/tobias-sch%C3%BCle"
  - name: "Thomas Tuerk"
    link: "https://researchr.org/alias/thomas-tuerk"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.24"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.24"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/SchneiderBST05"
  cites: 0
  citedby: 0
  pages: "106-115"
  booktitle: "Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2363-3"
  kind: "inproceedings"
  key: "SchneiderBST05"
- title: "The Model Checking View to Clock Gating and Operand Isolation"
  author:
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Sumit Ahuja"
    link: "https://researchr.org/alias/sumit-ahuja"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.22"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/BrandtSAS10"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BrandtSAS10"
  cites: 0
  citedby: 0
  pages: "181-190"
  booktitle: "10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010"
  editor:
  - name: "Luís Gomes"
    link: "https://researchr.org/alias/lu%26iacute%3Bs-gomes"
  - name: "Victor Khomenko"
    link: "https://researchr.org/alias/victor-khomenko"
  - name: "João M. Fernandes"
    link: "https://researchr.org/alias/jo%26atilde%3Bo-m.-fernandes"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4066-5"
  kind: "inproceedings"
  key: "BrandtSAS10"
- title: "Efficient code generation from synchronous programs"
  author:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Eric Vecchié"
    link: "https://researchr.org/alias/eric-vecchi%C3%A9"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/MEMCOD.2006.1695922"
  links:
    doi: "http://dx.doi.org/10.1109/MEMCOD.2006.1695922"
  tags:
  - "code generation"
  researchr: "https://researchr.org/publication/SchneiderBV06%3A0"
  cites: 0
  citedby: 0
  pages: "165-174"
  booktitle: "4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "SchneiderBV06:0"
- title: "Multithreaded code from synchronous programs: Extracting independent threads for OpenMP"
  author:
  - name: "Daniel Baudisch"
    link: "https://researchr.org/alias/daniel-baudisch"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  year: "2010"
  doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456915"
  links:
    doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456915"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/date/BaudischBS10"
  researchr: "https://researchr.org/publication/BaudischBS10"
  cites: 0
  citedby: 0
  pages: "949-952"
  booktitle: "Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "BaudischBS10"
- title: "Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings"
  year: "2007"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/tphol%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings"
  conference: "tphol"
  editor:
  - name: "Klaus Schneider"
    link: "https://researchr.org/alias/klaus-schneider"
  - name: "Jens Brandt"
    link: "http://es.cs.uni-kl.de/people/brandt"
  volume: "4732"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74590-7"
  kind: "proceedings"
  key: "tphol:2007"