Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifip10-2/ifip10-2-1992a.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifip10-2/BormannNV92,
author = {J{\"{o}}rg Bormann and
H. Nusser{-}Wehlan and
Gerd Venzl},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Invited Talk: Formal Design in an Industrial Research Laboratory:
Lessons and Perspectives},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {193--213},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 13:35:53 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/BormannNV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/DurrieuKL92,
author = {Guy Durrieu and
Kamel Kessaci and
Michel Lema{\^{\i}}tre},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Transe: An Experimental Transformation Assistant for Digital Circuit
Design},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {103--118},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/DurrieuKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/EbergenP92,
author = {Jo C. Ebergen and
Ad M. G. Peeters},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {27--46},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/EbergenP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/Greenstreet92,
author = {Mark R. Greenstreet},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Using Synchronized Transitions for Simulation and Timing Verification},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {215--236},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/Greenstreet92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/JosephsMUVY92,
author = {Mark B. Josephs and
Rudolf H. Mak and
Jan Tijmen Udding and
Tom Verhoeff and
Jelio Todorov Yantchev},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {High-Level Design of an Asynchronous Packet-Routing Chip},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {261--274},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 06 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-2/JosephsMUVY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/KishinevskyKTV92,
author = {Michael Kishinevsky and
Alex Kondratyev and
Alexander Taubin and
Victor Varshavsky},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Analysis and Identification of Self-Timed Circuits},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {275--287},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/KishinevskyKTV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/Krischer92,
author = {Stefan Krischer},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Incomplete TRS-Specifications of Boolean Functions and their Verification},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {67--79},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/Krischer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/LisperR92,
author = {Bj{\"{o}}rn Lisper and
Sanjay V. Rajopadhye},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Reasoning about Permutations in Regular Arrays},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {139--157},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/LisperR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/MendlerS92,
author = {Michael Mendler and
Terry Stroup},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Newtonian Arbiters Cannot be Proven Correct},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {47--66},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/MendlerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/Naur92,
author = {Peter Naur},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Invited talk: Three Notions of Proof},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {97--101},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/Naur92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/RossenS92,
author = {Lars Rossen and
Robin Sharp},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Sequence Semantics of Ruby},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {159--171},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/RossenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/SaxeGGH92,
author = {James B. Saxe and
Stephen J. Garland and
John V. Guttag and
James J. Horning},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Using Transformations and Verification in Ciruit Design},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {1--25},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/SaxeGGH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/Singh92,
author = {Satnam Singh},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Circuit Analysis by Non-Standard Interpretation},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {119--138},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/Singh92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/SmithZ92,
author = {Scott F. Smith and
Amy E. Zwarico},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Provably Correct Synthesis of Asynchronous Circuits},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {237--260},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/SmithZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/ThuauB92,
author = {Ghislaine Thuau and
Bachir Berkane},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Using the Language Lustre for Sequential Circuit Verification},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {81--96},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/ThuauB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/VerkestCM92,
author = {Diederik Verkest and
Luc J. M. Claesen and
Hugo De Man},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {A Proof of the Non-Restoring Division Algorithm and its Implementation
on the Cathedral-II {ALU}},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {173--192},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/VerkestCM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip10-2/1992a,
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
publisher = {North-Holland},
year = {1992},
isbn = {0-444-89335-0},
timestamp = {Tue, 19 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/1992a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-24 05:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
