Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Mark Aagaard"
download as .bib file
@article{DBLP:journals/ccds/ZidaricMGA24,
author = {Nusa Zidaric and
Kalikinkar Mandal and
Guang Gong and
Mark D. Aagaard},
title = {The welch-gong stream cipher - evolutionary path},
journal = {Cryptogr. Commun.},
volume = {16},
number = {1},
pages = {129--165},
year = {2024},
url = {https://doi.org/10.1007/s12095-023-00656-0},
doi = {10.1007/S12095-023-00656-0},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ccds/ZidaricMGA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ZidaricGAJK23,
author = {Nusa Zidaric and
Guang Gong and
Mark D. Aagaard and
Aleksandar Jurisic and
Olexandr Konovalov},
title = {{FFCSA} - Finite Field Constructions, Search, and Algorithms},
journal = {{ACM} Commun. Comput. Algebra},
volume = {57},
number = {2},
pages = {57--64},
year = {2023},
url = {https://doi.org/10.1145/3614408.3614416},
doi = {10.1145/3614408.3614416},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/ZidaricGAJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/ZidaricA23,
author = {Nusa Zidaric and
Mark D. Aagaard},
editor = {Andrea Bartolini and
Kristian F. D. Rietveld and
Catherine D. Schuman and
Jose Moreira},
title = {Tower field support for synthesis of datapaths},
booktitle = {Proceedings of the 20th {ACM} International Conference on Computing
Frontiers, {CF} 2023, Bologna, Italy, May 9-11, 2023},
pages = {217--218},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587135.3592184},
doi = {10.1145/3587135.3592184},
timestamp = {Sat, 30 Sep 2023 09:36:30 +0200},
biburl = {https://dblp.org/rec/conf/cf/ZidaricA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/Grimshaw-Aagaard22,
author = {Mark Grimshaw{-}Aagaard and
Brian Bemman},
title = {An Exploratory Study on Ultrasound Presence in Urban Spaces},
booktitle = {{AM} '22: AudioMostly 2022, St. P{\"{o}}lten, Austria, September
6 - 9, 2022},
pages = {67--73},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3561212.3561238},
doi = {10.1145/3561212.3561238},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/audio/Grimshaw-Aagaard22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AagaardZ21,
author = {Mark D. Aagaard and
Nusa Zidaric},
title = {{ASIC} Benchmarking of Round 2 Candidates in the {NIST} Lightweight
Cryptography Standardization Process: (Preliminary Results)},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {49},
year = {2021},
url = {https://eprint.iacr.org/2021/049},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/AagaardZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MandalYGA20,
author = {Kalikinkar Mandal and
Bo Yang and
Guang Gong and
Mark D. Aagaard},
title = {Analysis and Efficient Implementations of a Class of Composited de
Bruijn Sequences},
journal = {{IEEE} Trans. Computers},
volume = {69},
number = {12},
pages = {1835--1848},
year = {2020},
url = {https://doi.org/10.1109/TC.2020.2979460},
doi = {10.1109/TC.2020.2979460},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/MandalYGA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/Walther-HansenG20,
author = {Mads Walther{-}Hansen and
Mark Grimshaw{-}Aagaard},
editor = {Katharina Gro{\ss}{-}Vogt and
Robert H{\"{o}}ldrich},
title = {Don't extend! reduce!: the sound approach to reality},
booktitle = {AM'20, 15th International Audio Mostly Conference, Graz, Austria,
14-17 September, 2020},
pages = {8--15},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3411109.3411111},
doi = {10.1145/3411109.3411111},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/audio/Walther-HansenG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/host/AyoubA20,
author = {Ahmed A. Ayoub and
Mark D. Aagaard},
title = {Application-Specific Instruction Set Architecture for an Ultralight
Hardware Security Module},
booktitle = {2020 {IEEE} International Symposium on Hardware Oriented Security
and Trust, {HOST} 2020, San Jose, CA, USA, December 7-11, 2020},
pages = {69--79},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/HOST45689.2020.9300292},
doi = {10.1109/HOST45689.2020.9300292},
timestamp = {Fri, 15 Jan 2021 14:54:19 +0100},
biburl = {https://dblp.org/rec/conf/host/AyoubA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZidaricAG19,
author = {Nusa Zidaric and
Mark D. Aagaard and
Guang Gong},
title = {Hardware Optimizations and Analysis for the {WG-16} Cipher with Tower
Field Arithmetic},
journal = {{IEEE} Trans. Computers},
volume = {68},
number = {1},
pages = {67--82},
year = {2019},
url = {https://doi.org/10.1109/TC.2018.2854757},
doi = {10.1109/TC.2018.2854757},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ZidaricAG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eva/Grimshaw-Aagaard19,
author = {Mark Grimshaw{-}Aagaard},
editor = {Jonathan P. Bowen and
Graham Diprose and
Nick Lambert and
Jon Weinel},
title = {Sound and the Feeling of Presence},
booktitle = {Electronic Visualisation and the Arts, {EVA} 2019, London, UK, July
8-11, 2019},
series = {Workshops in Computing},
pages = {342--343},
publisher = {{BCS}},
year = {2019},
url = {https://doi.org/10.14236/ewic/EVA2019.64},
doi = {10.14236/EWIC/EVA2019.64},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eva/Grimshaw-Aagaard19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12338,
author = {Mark D. Aagaard and
Marat Sattarov and
Nusa Zidaric},
title = {Hardware Design and Analysis of the {ACE} and {WAGE} Ciphers},
journal = {CoRR},
volume = {abs/1909.12338},
year = {2019},
url = {http://arxiv.org/abs/1909.12338},
eprinttype = {arXiv},
eprint = {1909.12338},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccds/MandalYGA18,
author = {Kalikinkar Mandal and
Bo Yang and
Guang Gong and
Mark D. Aagaard},
title = {On ideal t-tuple distribution of filtering de Bruijn sequence generators},
journal = {Cryptogr. Commun.},
volume = {10},
number = {4},
pages = {629--641},
year = {2018},
url = {https://doi.org/10.1007/s12095-017-0248-3},
doi = {10.1007/S12095-017-0248-3},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccds/MandalYGA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waifi/ZidaricAG18,
author = {Nusa Zidaric and
Mark D. Aagaard and
Guang Gong},
editor = {Lilya Budaghyan and
Francisco Rodr{\'{\i}}guez{-}Henr{\'{\i}}quez},
title = {Rapid Hardware Design for Cryptographic Modules with Filtering Structures
over Small Finite Fields},
booktitle = {Arithmetic of Finite Fields - 7th International Workshop, {WAIFI}
2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11321},
pages = {128--145},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05153-2\_7},
doi = {10.1007/978-3-030-05153-2\_7},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/waifi/ZidaricAG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YangMAG17,
author = {Bo Yang and
Kalikinkar Mandal and
Mark D. Aagaard and
Guang Gong},
title = {Efficient Composited de Bruijn Sequence Generators},
journal = {{IEEE} Trans. Computers},
volume = {66},
number = {8},
pages = {1354--1368},
year = {2017},
url = {https://doi.org/10.1109/TC.2017.2676763},
doi = {10.1109/TC.2017.2676763},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/YangMAG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ism/CampbellG16,
author = {Robert Hugh Campbell and
Mark Grimshaw},
title = {User Resistance to Information System Implementations: {A} Dual-Mode
Processing Perspective},
journal = {Inf. Syst. Manag.},
volume = {33},
number = {2},
pages = {179--195},
year = {2016},
url = {https://doi.org/10.1080/10580530.2016.1155951},
doi = {10.1080/10580530.2016.1155951},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ism/CampbellG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/Walther-HansenG16,
author = {Mads Walther{-}Hansen and
Mark Grimshaw},
editor = {Johan Fagerl{\"{o}}nn and
Sofia Larsson},
title = {Being in a Virtual World: Presence, Environment, Salience, Sound},
booktitle = {Proceedings of the Audio Mostly 2016, Norrk{\"{o}}ping, Sweden,
October 4-6, 2016},
pages = {77--84},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2986416.2986425},
doi = {10.1145/2986416.2986425},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/audio/Walther-HansenG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtip/KhalvatiAT15,
author = {Farzad Khalvati and
Mark D. Aagaard and
Hamid R. Tizhoosh},
title = {Window memoization: toward high-performance image processing software},
journal = {J. Real Time Image Process.},
volume = {10},
number = {1},
pages = {5--25},
year = {2015},
url = {https://doi.org/10.1007/s11554-012-0247-8},
doi = {10.1007/S11554-012-0247-8},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtip/KhalvatiAT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsit/CampbellG15,
author = {Robert Hugh Campbell and
Mark Grimshaw},
title = {Enochs of the modern workplace: The behaviours by which end users
intentionally resist information system implementations},
journal = {J. Syst. Inf. Technol.},
volume = {17},
number = {1},
pages = {35--53},
year = {2015},
url = {https://doi.org/10.1108/JSIT-07-2014-0049},
doi = {10.1108/JSIT-07-2014-0049},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsit/CampbellG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/GrimshawW15,
author = {Mark Grimshaw and
Mads Walther{-}Hansen},
editor = {George Kalliris and
Charalampos Dimoulas},
title = {The Sound of the Smell of my Shoes},
booktitle = {Proceedings of the Audio Mostly 2015 on Interaction With Sound, {AM}
'15, Thessaloniki, Greece, October 7-9, 2015},
pages = {18:1--18:8},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814895.2814900},
doi = {10.1145/2814895.2814900},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/audio/GrimshawW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/YangZSAG15,
author = {Gangqiang Yang and
Bo Zhu and
Valentin Suder and
Mark D. Aagaard and
Guang Gong},
editor = {Tim G{\"{u}}neysu and
Helena Handschuh},
title = {The Simeck Family of Lightweight Block Ciphers},
booktitle = {Cryptographic Hardware and Embedded Systems - {CHES} 2015 - 17th International
Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9293},
pages = {307--329},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48324-4\_16},
doi = {10.1007/978-3-662-48324-4\_16},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ches/YangZSAG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/YangAG15,
author = {Gangqiang Yang and
Mark D. Aagaard and
Guang Gong},
title = {Efficient Hardware Implementations of the Warbler Pseudorandom Number
Generator},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {789},
year = {2015},
url = {http://eprint.iacr.org/2015/789},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/YangAG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/YangZSAG15,
author = {Gangqiang Yang and
Bo Zhu and
Valentin Suder and
Mark D. Aagaard and
Guang Gong},
title = {The Simeck Family of Lightweight Block Ciphers},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {612},
year = {2015},
url = {http://eprint.iacr.org/2015/612},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/YangZSAG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccds/MandalGFA14,
author = {Kalikinkar Mandal and
Guang Gong and
Xinxin Fan and
Mark D. Aagaard},
title = {Optimal parameters for the {WG} stream cipher family},
journal = {Cryptogr. Commun.},
volume = {6},
number = {2},
pages = {117--135},
year = {2014},
url = {https://doi.org/10.1007/s12095-013-0091-0},
doi = {10.1007/S12095-013-0091-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccds/MandalGFA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgj/Grimshaw14,
author = {Mark Grimshaw},
title = {Sounding off on sound},
journal = {Comput. Games J.},
volume = {3},
number = {2},
pages = {194--195},
year = {2014},
url = {https://doi.org/10.1007/BF03395954},
doi = {10.1007/BF03395954},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgj/Grimshaw14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/GrimshawG14,
author = {Mark Grimshaw and
Tom Garner},
editor = {Mark Grimshaw and
Mads Walther{-}Hansen},
title = {Imagining sound},
booktitle = {Audio Mostly 2014, {AM} '14, Aalborg, Denmark, October 1-3, 2014},
pages = {2:1--2:8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2636879.2636881},
doi = {10.1145/2636879.2636881},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/audio/GrimshawG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/audio/2014,
editor = {Mark Grimshaw and
Mads Walther{-}Hansen},
title = {Audio Mostly 2014, {AM} '14, Aalborg, Denmark, October 1-3, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2636879},
isbn = {978-1-4503-3032-9},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/audio/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccds/GongAF13,
author = {Guang Gong and
Mark D. Aagaard and
Xinxin Fan},
title = {Resilience to distinguishing attacks on {WG-7} cipher and their generalizations},
journal = {Cryptogr. Commun.},
volume = {5},
number = {4},
pages = {277--289},
year = {2013},
url = {https://doi.org/10.1007/s12095-013-0089-7},
doi = {10.1007/S12095-013-0089-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccds/GongAF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/GrimshawG13,
author = {Mark Grimshaw and
Tom Garner},
editor = {Katarina Delsing and
Mats Liljedahl},
title = {Sonosemantics},
booktitle = {Audio Mostly 2013, {AM} '13, Pite{\aa}, Sweden, September 18-20, 2013},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2544114.2544126},
doi = {10.1145/2544114.2544126},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/audio/GrimshawG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/YangFAG13,
author = {Gangqiang Yang and
Xinxin Fan and
Mark D. Aagaard and
Guang Gong},
title = {Design space exploration of the lightweight stream cipher {WG-8} for
FPGAs and ASICs},
booktitle = {Proceedings of the Workshop on Embedded Systems Security, {WESS} 2013,
Montreal, Quebec, Canada, September 29 - October 4, 2013},
pages = {8:1--8:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527317.2527325},
doi = {10.1145/2527317.2527325},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/YangFAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/FanZAG13,
author = {Xinxin Fan and
Nusa Zidaric and
Mark D. Aagaard and
Guang Gong},
editor = {Ahmad{-}Reza Sadeghi and
Frederik Armknecht and
Jean{-}Pierre Seifert},
title = {Efficient hardware implementation of the stream cipher {WG-16} with
composite field arithmetic},
booktitle = {TrustED'13, Proceedings of the 2013 {ACM} Workshop on Trustworthy
Embedded Devices, Co-located with {CCS} 2013, November 4, 2013, Berlin,
Germany},
pages = {21--34},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517300.2517305},
doi = {10.1145/2517300.2517305},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/FanZAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cwit/MandalGFA13,
author = {Kalikinkar Mandal and
Guang Gong and
Xinxin Fan and
Mark D. Aagaard},
title = {On selection of optimal parameters for the {WG} stream cipher family},
booktitle = {13th Canadian Workshop on Information Theory, {CWIT} 2013, Toronto,
ON, Canada, June 18-21, 2013},
pages = {17--21},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CWIT.2013.6621585},
doi = {10.1109/CWIT.2013.6621585},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cwit/MandalGFA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/host/AagaardGM13,
author = {Mark D. Aagaard and
Guang Gong and
Rajesh K. Mota},
title = {Hardware implementations of the {WG-5} cipher for passive {RFID} tags},
booktitle = {2013 {IEEE} International Symposium on Hardware-Oriented Security
and Trust, {HOST} 2013, Austin, TX, USA, June 2-3, 2013},
pages = {29--34},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/HST.2013.6581561},
doi = {10.1109/HST.2013.6581561},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/host/AagaardGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/GrimshawG12,
author = {Mark Grimshaw and
Tom Garner},
editor = {Andreas Floros and
Andreas Mniestris and
Iannis Zannos and
Theodoros Lotis},
title = {The use of sound to represent data and concepts as a means to engender
creative thought: some thoughts on implementation and a research agenda},
booktitle = {Audio Mostly 2012, 7th Conference on Interaction with Sound, Corfu,
Greece, September 26-28, 2012},
pages = {9--15},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371456.2371458},
doi = {10.1145/2371456.2371458},
timestamp = {Fri, 30 Jun 2023 22:31:31 +0200},
biburl = {https://dblp.org/rec/conf/audio/GrimshawG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GongAF12,
author = {Guang Gong and
Mark D. Aagaard and
Xinxin Fan},
title = {Resilience to Distinguishing Attacks on {WG-7} Cipher and Their Generalizations},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {681},
year = {2012},
url = {http://eprint.iacr.org/2012/681},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GongAF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/TinwellGNW11,
author = {Angela Tinwell and
Mark Grimshaw and
Debbie Abdel Nabi and
Andrew Williams},
title = {Facial expression of emotion and perception of the Uncanny Valley
in virtual characters},
journal = {Comput. Hum. Behav.},
volume = {27},
number = {2},
pages = {741--749},
year = {2011},
url = {https://doi.org/10.1016/j.chb.2010.10.018},
doi = {10.1016/J.CHB.2010.10.018},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chb/TinwellGNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijart/TinwellGW11,
author = {Angela Tinwell and
Mark Grimshaw and
Andrew Williams},
title = {The Uncanny Wall},
journal = {Int. J. Arts Technol.},
volume = {4},
number = {3},
pages = {326--341},
year = {2011},
url = {https://doi.org/10.1504/IJART.2011.041485},
doi = {10.1504/IJART.2011.041485},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijart/TinwellGW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acii/TinwellGN11,
author = {Angela Tinwell and
Mark Grimshaw and
Debbie Abdel Nabi},
editor = {Sidney K. D'Mello and
Arthur C. Graesser and
Bj{\"{o}}rn W. Schuller and
Jean{-}Claude Martin},
title = {Effect of Emotion and Articulation of Speech on the Uncanny Valley
in Virtual Characters},
booktitle = {Affective Computing and Intelligent Interaction - Fourth International
Conference, {ACII} 2011, Memphis, TN, USA, October 9-12, 2011, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6975},
pages = {557--566},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24571-8\_69},
doi = {10.1007/978-3-642-24571-8\_69},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/acii/TinwellGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/GarnerG11,
author = {Tom Garner and
Mark Grimshaw},
editor = {Licinio Roque and
Valter Alves},
title = {A climate of fear: considerations for designing a virtual acoustic
ecology of fear},
booktitle = {{AM} '11, Audio Mostly 2011, 6th Conference on Interaction with Sound,
Coimbra, Portugal, September 7-9, 2011},
pages = {31--38},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2095667.2095672},
doi = {10.1145/2095667.2095672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/audio/GarnerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/NackeGL10,
author = {Lennart E. Nacke and
Mark N. Grimshaw and
Craig A. Lindley},
title = {More than a feeling: Measurement of sonic user experience and psychophysiology
in a first-person shooter game},
journal = {Interact. Comput.},
volume = {22},
number = {5},
pages = {336--343},
year = {2010},
url = {https://doi.org/10.1016/j.intcom.2010.04.005},
doi = {10.1016/J.INTCOM.2010.04.005},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/NackeGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrtip/KhalvatiA10,
author = {Farzad Khalvati and
Mark D. Aagaard},
title = {Window memoization: an efficient hardware architecture for high-performance
image processing},
journal = {J. Real Time Image Process.},
volume = {5},
number = {3},
pages = {195--212},
year = {2010},
url = {https://doi.org/10.1007/s11554-009-0128-y},
doi = {10.1007/S11554-009-0128-Y},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrtip/KhalvatiA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/audio/GarnerGN10,
author = {Tom Garner and
Mark Grimshaw and
Debbie Abdel Nabi},
editor = {Katarina Delsing and
Mats Liljedahl},
title = {A preliminary experiment to assess the fear value of preselected sound
parameters in a survival horror game},
booktitle = {{AM} '10, The 5th Audio Mostly Conference, Pite{\aa}, Sweden, September
15-17, 2010},
pages = {10},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1859799.1859809},
doi = {10.1145/1859799.1859809},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/audio/GarnerGN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mindtrek/TinwellG09,
author = {Angela Tinwell and
Mark Grimshaw},
editor = {Artur Lugmayr and
Helj{\"{a}} Franssila and
Olli Sotamaa and
Pertti N{\"{a}}r{\"{a}}nen and
Jukka Vanhala},
title = {Bridging the uncanny: an impossible traverse?},
booktitle = {Proceedings of the 13th International Academic MindTrek Conference:
Everyday Life in the Ubiquitous Era, MindTrek 2009, Tampere, Finland,
September 30 - October 2, 2009},
pages = {66--73},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1621841.1621855},
doi = {10.1145/1621841.1621855},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mindtrek/TinwellG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcgt/GrimshawS08,
author = {Mark Grimshaw and
Gareth Schott},
title = {A Conceptual Framework for the Analysis of First-Person Shooter Audio
and its Potential Use for Game Engines},
journal = {Int. J. Comput. Games Technol.},
volume = {2008},
pages = {720280:1--720280:7},
year = {2008},
url = {https://doi.org/10.1155/2008/720280},
doi = {10.1155/2008/720280},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcgt/GrimshawS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijigs/Grimshaw08,
author = {Mark Grimshaw},
title = {Sound And Immersion In The First-Person Shooter},
journal = {Int. J. Intell. Games Simul.},
volume = {5},
number = {1},
pages = {5--11},
year = {2008},
url = {http://www.scit.wlv.ac.uk/OJS\_IJIGS/index.php/IJIGS/article/view/52},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijigs/Grimshaw08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/digra/GrimshawS07,
author = {Mark Grimshaw and
Gareth Schott},
editor = {Akira Baba},
title = {Situating Gaming as a Sonic Experience: The acoustic ecology of First-Person
Shooters},
booktitle = {Proceedings of the 2007 DiGRA International Conference: Situated Play,
DiGRA 2007, Tokyo, Japan, September 24-28, 2007},
publisher = {Digital Games Research Association},
year = {2007},
url = {http://www.digra.org/digital-library/publications/situating-gaming-as-a-sonic-experience-the-acoustic-ecology-of-first-person-shooters/},
timestamp = {Wed, 10 Feb 2021 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/digra/GrimshawS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KangA07,
author = {Eunsuk Kang and
Mark D. Aagaard},
editor = {Klaus Schneider and
Jens Brandt},
title = {Improving the Usability of {HOL} Through Controlled Automation Tactics},
booktitle = {Theorem Proving in Higher Order Logics, 20th International Conference,
TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4732},
pages = {157--172},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74591-4\_13},
doi = {10.1007/978-3-540-74591-4\_13},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/KangA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SegerJOMABS05,
author = {Carl{-}Johan H. Seger and
Robert B. Jones and
John W. O'Leary and
Thomas F. Melham and
Mark D. Aagaard and
Clark W. Barrett and
Don Syme},
title = {An industrially effective environment for formal hardware verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {24},
number = {9},
pages = {1381--1405},
year = {2005},
url = {https://doi.org/10.1109/TCAD.2005.850814},
doi = {10.1109/TCAD.2005.850814},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SegerJOMABS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/HigginsA05,
author = {Jason T. Higgins and
Mark D. Aagaard},
title = {Simplifying the design and automating the verification of pipelines
with structural hazards},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {10},
number = {4},
pages = {651--672},
year = {2005},
url = {https://doi.org/10.1145/1109118.1109123},
doi = {10.1145/1109118.1109123},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/HigginsA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ShehataA04,
author = {Hazem I. Shehata and
Mark D. Aagaard},
editor = {Sharad Malik and
Limor Fix and
Andrew B. Kahng},
title = {A general decomposition strategy for verifying register renaming},
booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
San Diego, CA, USA, June 7-11, 2004},
pages = {234--237},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996566.996632},
doi = {10.1145/996566.996632},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ShehataA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AagaardCHK04,
author = {Mark D. Aagaard and
Vlad C. Ciubotariu and
Jason T. Higgins and
Farzad Khalvati},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Combining Equivalence Verification and Completion Functions},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {98--112},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_8},
doi = {10.1007/978-3-540-30494-4\_8},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AagaardCHK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AagaardDJ04,
author = {Mark D. Aagaard and
Nancy A. Day and
Robert B. Jones},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Synchronization-at-Retirement for Pipeline Verification},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {113--127},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_9},
doi = {10.1007/978-3-540-30494-4\_9},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AagaardDJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/HigginsA04,
author = {Jason T. Higgins and
Mark D. Aagaard},
title = {Simplifying design and verification for structural hazards and datapaths
in pipelined circuits},
booktitle = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
2004, Sonoma Valley, CA, USA, November 10-12, 2004},
pages = {31--36},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HLDVT.2004.1431229},
doi = {10.1109/HLDVT.2004.1431229},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/HigginsA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AagaardCDJ03,
author = {Mark D. Aagaard and
Byron Cook and
Nancy A. Day and
Robert B. Jones},
title = {A framework for superscalar microprocessor correctness statements},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {298--312},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0087-0},
doi = {10.1007/S10009-002-0087-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AagaardCDJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Aagaard03,
author = {Mark D. Aagaard},
editor = {Daniel Geist and
Enrico Tronci},
title = {A Hazards-Based Correctness Statement for Pipelined Circuits},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {66--80},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_8},
doi = {10.1007/978-3-540-39724-3\_8},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Aagaard03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AagaardDL02,
author = {Mark D. Aagaard and
Nancy A. Day and
Meng Lou},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Relating Multi-step and Single-Step Microprocessor Correctness Statements},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {123--141},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_8},
doi = {10.1007/3-540-36126-X\_8},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AagaardDL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2002,
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X},
doi = {10.1007/3-540-36126-X},
isbn = {3-540-00116-6},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/JonesOSAM01,
author = {Robert B. Jones and
John W. O'Leary and
Carl{-}Johan H. Seger and
Mark D. Aagaard and
Thomas F. Melham},
title = {Practical Formal Verification in Microprocessor Design},
journal = {{IEEE} Des. Test Comput.},
volume = {18},
number = {4},
pages = {16--25},
year = {2001},
url = {https://doi.org/10.1109/54.936245},
doi = {10.1109/54.936245},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/JonesOSAM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardCDJ01,
author = {Mark D. Aagaard and
Byron Cook and
Nancy A. Day and
Robert B. Jones},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {A Framework for Microprocessor Correctness Statements},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {433--448},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_33},
doi = {10.1007/3-540-44798-9\_33},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/AagaardCDJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BeersGA01,
author = {Robert Beers and
Rajnish Ghughal and
Mark D. Aagaard},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Applications of Hierarchical Verification in Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {40--57},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_3},
doi = {10.1007/3-540-44798-9\_3},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/BeersGA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AagaardJKKS00,
author = {Mark D. Aagaard and
Robert B. Jones and
Roope Kaivola and
Katherine R. Kohatsu and
Carl{-}Johan H. Seger},
editor = {Giovanni De Micheli},
title = {Formal verification of iterative algorithms in microprocessors},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {201--206},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337388},
doi = {10.1145/337292.337388},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AagaardJKKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AagaardJMOS00,
author = {Mark D. Aagaard and
Robert B. Jones and
Thomas F. Melham and
John W. O'Leary and
Carl{-}Johan H. Seger},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {A Methodology for Large-Scale Hardware Verification},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {263--282},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_17},
doi = {10.1007/3-540-40922-X\_17},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AagaardJMOS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BeersGA00,
author = {Robert Beers and
Rajnish Ghughal and
Mark D. Aagaard},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Applications of Hierarchical Verification in Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_1},
doi = {10.1007/3-540-40922-X\_1},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BeersGA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DayAC00,
author = {Nancy A. Day and
Mark D. Aagaard and
Byron Cook},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Combining Stream-Based and State-Based Verification Techniques},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {126--142},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_9},
doi = {10.1007/3-540-40922-X\_9},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DayAC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KaivolaA00,
author = {Roope Kaivola and
Mark D. Aagaard},
editor = {Mark D. Aagaard and
John Harrison},
title = {Divider Circuit Verification with Model Checking and Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
pages = {338--355},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1\_21},
doi = {10.1007/3-540-44659-1\_21},
timestamp = {Tue, 15 Aug 2023 09:02:05 +0200},
biburl = {https://dblp.org/rec/conf/tphol/KaivolaA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tphol/2000,
editor = {Mark D. Aagaard and
John Harrison},
title = {Theorem Proving in Higher Order Logics, 13th International Conference,
TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1869},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44659-1},
doi = {10.1007/3-540-44659-1},
isbn = {3-540-67863-8},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardMO99,
author = {Mark D. Aagaard and
Thomas F. Melham and
John W. O'Leary},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Xs are for Trajectory Evaluation, Booleans are for Theorem Proving},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {202--218},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_16},
doi = {10.1007/3-540-48153-2\_16},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/AagaardMO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AagaardJS99,
author = {Mark D. Aagaard and
Robert B. Jones and
Carl{-}Johan H. Seger},
editor = {Mary Jane Irwin},
title = {Parametric Representations of Boolean Constraints},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {402--407},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309968},
doi = {10.1145/309847.309968},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AagaardJS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AagaardJS99,
author = {Mark D. Aagaard and
Robert B. Jones and
Carl{-}Johan H. Seger},
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Lifted-FL: {A} Pragmatic Implementation of Combined Model Checking
and Theorem Proving},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
pages = {323--340},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3\_22},
doi = {10.1007/3-540-48256-3\_22},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/AagaardJS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AagaardJS98,
author = {Mark D. Aagaard and
Robert B. Jones and
Carl{-}Johan H. Seger},
editor = {Basant R. Chawla and
Randal E. Bryant and
Jan M. Rabaey},
title = {Combining Theorem Proving and Trajectory Evaluation in an Industrial
Environment},
booktitle = {Proceedings of the 35th Conference on Design Automation, Moscone center,
San Francico, California, USA, June 15-19, 1998},
pages = {538--541},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/277044.277189},
doi = {10.1145/277044.277189},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/AagaardJS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AagaardL95,
author = {Mark D. Aagaard and
Miriam Leeser},
title = {Verifying a Logic-Synthesis Algorithm and Implementation: {A} Case
Study in Software Verification},
journal = {{IEEE} Trans. Software Eng.},
volume = {21},
number = {10},
pages = {822--833},
year = {1995},
url = {https://doi.org/10.1109/32.469458},
doi = {10.1109/32.469458},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/AagaardL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AagaardS95,
author = {Mark D. Aagaard and
Carl{-}Johan H. Seger},
editor = {Richard L. Rudell},
title = {The formal verification of a pipelined double-precision {IEEE} floating-point
multiplier},
booktitle = {Proceedings of the 1995 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1995, San Jose, California, USA, November 5-9, 1995},
pages = {7--10},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1995},
url = {https://doi.org/10.1109/ICCAD.1995.479878},
doi = {10.1109/ICCAD.1995.479878},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/AagaardS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AagaardL94,
author = {Mark D. Aagaard and
Miriam Leeser},
title = {A Methodology for Efficient Hardware Verification},
journal = {Formal Methods Syst. Des.},
volume = {5},
number = {1/2},
pages = {95--117},
year = {1994},
url = {https://doi.org/10.1007/BF01384235},
doi = {10.1007/BF01384235},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AagaardL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/AagaardL94,
author = {Mark D. Aagaard and
Miriam Leeser},
title = {{PBS:} proven Boolean simplification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {13},
number = {4},
pages = {459--470},
year = {1994},
url = {https://doi.org/10.1109/43.275356},
doi = {10.1109/43.275356},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/AagaardL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/AagaardL94,
author = {Mark D. Aagaard and
Miriam Leeser},
editor = {Ramayya Kumar and
Thomas Kropf},
title = {Reasoning About Pipelines with Structural Hazards},
booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, {TPCD} '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {901},
pages = {13--32},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59047-1\_40},
doi = {10.1007/3-540-59047-1\_40},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/AagaardL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/OLearyLHA94,
author = {John W. O'Leary and
Miriam Leeser and
Jason Hickey and
Mark D. Aagaard},
editor = {Ramayya Kumar and
Thomas Kropf},
title = {Non-Restoring Integer Square Root: {A} Case Study in Design by Principled
Optimization},
booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, {TPCD} '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {901},
pages = {52--71},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59047-1\_42},
doi = {10.1007/3-540-59047-1\_42},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tpcd/OLearyLHA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/LeeserCALM93,
author = {Miriam Leeser and
Richard Chapman and
Mark D. Aagaard and
Mark H. Linderman and
Stephan Meier},
title = {High level synthesis and generating FPGAs with the {BEDROC} system},
journal = {J. {VLSI} Signal Process.},
volume = {6},
number = {2},
pages = {191--214},
year = {1993},
url = {https://doi.org/10.1007/BF01607881},
doi = {10.1007/BF01607881},
timestamp = {Thu, 18 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsisp/LeeserCALM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/OLearyLLA93,
author = {John W. O'Leary and
Mark H. Linderman and
Miriam Leeser and
Mark D. Aagaard},
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
title = {{HML:} {A} Hardware Description Language Based on Standard {ML}},
booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
Description Languages and their Applications - {CHDL} '93, sponsored
by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
Ontario, Canada, 26-28 April, 1993},
series = {{IFIP} Transactions},
volume = {{A-32}},
pages = {327--334},
publisher = {North-Holland},
year = {1993},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chdl/OLearyLLA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/AagaardL93,
author = {Mark D. Aagaard and
Miriam Leeser},
title = {A Framework for Specifying and Designing Pipelines},
booktitle = {Proceedings 1993 International Conference on Computer Design: {VLSI}
in Computers {\&} Processors, {ICCD} '93, Cambridge, MA, USA,
October 3-6, 1993},
pages = {548--551},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/ICCD.1993.393317},
doi = {10.1109/ICCD.1993.393317},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/AagaardL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AagaardLW93,
author = {Mark D. Aagaard and
Miriam Leeser and
Phillip J. Windley},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {Toward a Super Duper Hardware Tactic},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {399--412},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_151},
doi = {10.1007/3-540-57826-9\_151},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/AagaardLW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AagaardL92,
author = {Mark D. Aagaard and
Miriam Leeser},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Verifying a Logic Synthesis Tool in Nuprl: {A} Case Study in Software
Verification},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {69--81},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_7},
doi = {10.1007/3-540-56496-9\_7},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AagaardL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AagaardL92,
author = {Mark D. Aagaard and
Miriam Leeser},
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {A Methodology for Reusable Hardware Proofs},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
series = {{IFIP} Transactions},
volume = {{A-20}},
pages = {177--196},
publisher = {North-Holland/Elsevier},
year = {1992},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/AagaardL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/AagaardL91,
author = {Mark D. Aagaard and
Miriam Leeser},
title = {A Formally Verified System for Logic Synthesis},
booktitle = {Proceedings 1991 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA,
USA, October 14-16, 1991},
pages = {346--350},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICCD.1991.139915},
doi = {10.1109/ICCD.1991.139915},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/AagaardL91.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-04-27 07:53 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:
