Search dblp for Publications

export results for "stream:streams/conf/nada:"

 download as .bib file

@inproceedings{DBLP:conf/nada/BergerES98,
  author       = {Ulrich Berger and
                  Matthias Eberl and
                  Helmut Schwichtenberg},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Normalisation by Evaluation},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {117--137},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_4},
  doi          = {10.1007/3-540-49254-2\_4},
  timestamp    = {Fri, 12 Jul 2019 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/BergerES98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/BergstraP98,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Grid Protocol Specifications},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {278--308},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_8},
  doi          = {10.1007/3-540-49254-2\_8},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/BergstraP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/BlanckST98,
  author       = {Jens Blanck and
                  Viggo Stoltenberg{-}Hansen and
                  John V. Tucker},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Streams, Stream Transformers and Domain Representations},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {27--68},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_2},
  doi          = {10.1007/3-540-49254-2\_2},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/BlanckST98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/BreuerMK98,
  author       = {Peter T. Breuer and
                  Natividad Mart{\'{\i}}nez Madrid and
                  Carlos Delgado Kloos},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {The Computational Description of Analogue System Behaviour},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {309--332},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_9},
  doi          = {10.1007/3-540-49254-2\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/BreuerMK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/FoxH98,
  author       = {Anthony C. J. Fox and
                  Neal A. Harman},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Algebraic Models of Superscalar Microprocessor Implementations: {A}
                  Case Study},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {138--183},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_5},
  doi          = {10.1007/3-540-49254-2\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/FoxH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/Hanna98,
  author       = {Keith Hanna},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Reasoning about Imperfect Digital Systems},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {333--355},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_10},
  doi          = {10.1007/3-540-49254-2\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/Hanna98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/Moller98,
  author       = {Bernhard M{\"{o}}ller},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Idel Stream Algebra},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {69--116},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_3},
  doi          = {10.1007/3-540-49254-2\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/Moller98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/Moller98a,
  author       = {Bernhard M{\"{o}}ller},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Deductive Hardware Design: {A} Functional Approach},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {421--468},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_13},
  doi          = {10.1007/3-540-49254-2\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/Moller98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/PhilippsS98,
  author       = {Jan Philipps and
                  Peter Scholz},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Formal Verification and Hardware Design with Statecharts},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {356--389},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_11},
  doi          = {10.1007/3-540-49254-2\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/PhilippsS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/PooleHT98,
  author       = {M. J. Poole and
                  Arun V. Holden and
                  John V. Tucker},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Hierarchies of Spatially Extended Systems and Synchronous Concurrent
                  Algorithms},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {184--235},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_6},
  doi          = {10.1007/3-540-49254-2\_6},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/PooleHT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/Stephenson98,
  author       = {Karen Stephenson},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Towards an Algebraic Specification of the Java Virtual Machine},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {236--277},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_7},
  doi          = {10.1007/3-540-49254-2\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/Stephenson98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nada/StolenF98,
  author       = {Ketil St{\o}len and
                  Max Fuchs},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {An Exercise in Conditional Refinement},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {390--420},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_12},
  doi          = {10.1007/3-540-49254-2\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/StolenF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/nada/1998,
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2},
  doi          = {10.1007/3-540-49254-2},
  isbn         = {3-540-65461-5},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.