share record
persistent URL:
Kalikinkar Mandal , Guang Gong , Xinxin Fan , Mark D. Aagaard : On selection of optimal parameters for the WG stream cipher family. CWIT 2013 : 17-21 share record
persistent URL:
Mark D. Aagaard , Guang Gong , Rajesh K. Mota : Hardware implementations of the WG-5 cipher for passive RFID tags. HOST 2013 : 29-34 2012 share record
persistent URL:
Mark Grimshaw , Tom Garner : The use of sound to represent data and concepts as a means to engender creative thought: some thoughts on implementation and a research agenda. Audio Mostly Conference 2012 : 9-15 share record
persistent URL:
Guang Gong , Mark D. Aagaard , Xinxin Fan : Resilience to Distinguishing Attacks on WG-7 Cipher and Their Generalizations. IACR Cryptol. ePrint Arch. 2012 : 681 (2012 )2011 export record
dblp key:
journals/chb/TinwellGNW11 share record
persistent URL:
Angela Tinwell , Mark Grimshaw , Debbie Abdel Nabi , Andrew Williams : Facial expression of emotion and perception of the Uncanny Valley in virtual characters. Comput. Hum. Behav. 27 (2 ) : 741-749 (2011 )export record
dblp key:
journals/ijart/TinwellGW11 share record
persistent URL:
Angela Tinwell , Mark Grimshaw , Andrew Williams : The Uncanny Wall. Int. J. Arts Technol. 4 (3 ) : 326-341 (2011 )share record
persistent URL:
Angela Tinwell , Mark Grimshaw , Debbie Abdel Nabi : Effect of Emotion and Articulation of Speech on the Uncanny Valley in Virtual Characters. ACII (2) 2011 : 557-566 share record
persistent URL:
Tom Garner , Mark Grimshaw : A climate of fear: considerations for designing a virtual acoustic ecology of fear. Audio Mostly Conference 2011 : 31-38 2010 share record
persistent URL:
Lennart E. Nacke , Mark N. Grimshaw , Craig A. Lindley : More than a feeling: Measurement of sonic user experience and psychophysiology in a first-person shooter game. Interact. Comput. 22 (5 ) : 336-343 (2010 )export record
dblp key:
journals/jrtip/KhalvatiA10 share record
persistent URL:
Farzad Khalvati , Mark D. Aagaard : Window memoization: an efficient hardware architecture for high-performance image processing. J. Real Time Image Process. 5 (3 ) : 195-212 (2010 )share record
persistent URL:
Tom Garner , Mark Grimshaw , Debbie Abdel Nabi : A preliminary experiment to assess the fear value of preselected sound parameters in a survival horror game. Audio Mostly Conference 2010 : 10 2009 share record
persistent URL:
Angela Tinwell , Mark Grimshaw : Bridging the uncanny: an impossible traverse? MindTrek 2009 : 66-73 2008 export record
dblp key:
journals/ijcgt/GrimshawS08 share record
persistent URL:
Mark Grimshaw , Gareth Schott : A Conceptual Framework for the Analysis of First-Person Shooter Audio and its Potential Use for Game Engines. Int. J. Comput. Games Technol. 2008 : 720280:1-720280:7 (2008 )export record
dblp key:
journals/ijigs/Grimshaw08 share record
persistent URL:
Mark Grimshaw : Sound And Immersion In The First-Person Shooter. Int. J. Intell. Games Simul. 5 (1 ) : 5-11 (2008 )2007 share record
persistent URL:
Mark Grimshaw , Gareth Schott : Situating Gaming as a Sonic Experience: The acoustic ecology of First-Person Shooters. DiGRA Conference 2007 share record
persistent URL:
Eunsuk Kang , Mark D. Aagaard : Improving the Usability of HOL Through Controlled Automation Tactics. TPHOLs 2007 : 157-172 2005 export record
dblp key:
journals/tcad/SegerJOMABS05 share record
persistent URL:
Carl-Johan H. Seger , Robert B. Jones , John W. O'Leary , Thomas F. Melham , Mark D. Aagaard , Clark W. Barrett , Don Syme : An industrially effective environment for formal hardware verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (9 ) : 1381-1405 (2005 )export record
dblp key:
journals/todaes/HigginsA05 share record
persistent URL:
Jason T. Higgins , Mark D. Aagaard : Simplifying the design and automating the verification of pipelines with structural hazards. ACM Trans. Design Autom. Electr. Syst. 10 (4 ) : 651-672 (2005 )2004 share record
persistent URL:
Hazem I. Shehata , Mark D. Aagaard : A general decomposition strategy for verifying register renaming. DAC 2004 : 234-237 share record
persistent URL:
Mark D. Aagaard , Vlad C. Ciubotariu , Jason T. Higgins , Farzad Khalvati : Combining Equivalence Verification and Completion Functions. FMCAD 2004 : 98-112 share record
persistent URL:
Mark D. Aagaard , Nancy A. Day , Robert B. Jones : Synchronization-at-Retirement for Pipeline Verification. FMCAD 2004 : 113-127 share record
persistent URL:
Jason T. Higgins , Mark D. Aagaard : Simplifying design and verification for structural hazards and datapaths in pipelined circuits. HLDVT 2004 : 31-36 2003 export record
dblp key:
journals/sttt/AagaardCDJ03 share record
persistent URL:
Mark D. Aagaard , Byron Cook , Nancy A. Day , Robert B. Jones : A framework for superscalar microprocessor correctness statements. Int. J. Softw. Tools Technol. Transf. 4 (3 ) : 298-312 (2003 )share record
persistent URL:
Mark D. Aagaard : A Hazards-Based Correctness Statement for Pipelined Circuits. CHARME 2003 : 66-80 2002 share record
persistent URL:
Mark D. Aagaard , Nancy A. Day , Meng Lou : Relating Multi-step and Single-Step Microprocessor Correctness Statements. FMCAD 2002 : 123-141 share record
persistent URL:
Mark D. Aagaard , John W. O'Leary : Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings. Lecture Notes in Computer Science 2517, Springer 2002 , ISBN 3-540-00116-6 [contents] 2001 share record
persistent URL:
Robert B. Jones , John W. O'Leary , Carl-Johan H. Seger , Mark D. Aagaard , Thomas F. Melham : Practical Formal Verification in Microprocessor Design. IEEE Des. Test Comput. 18 (4 ) : 16-25 (2001 )share record
persistent URL:
Mark D. Aagaard , Byron Cook , Nancy A. Day , Robert B. Jones : A Framework for Microprocessor Correctness Statements. CHARME 2001 : 433-448 share record
persistent URL:
Robert Beers , Rajnish Ghughal , Mark D. Aagaard : Applications of Hierarchical Verification in Model Checking. CHARME 2001 : 40-57 2000 share record
persistent URL:
Mark D. Aagaard , Robert B. Jones , Roope Kaivola , Katherine R. Kohatsu , Carl-Johan H. Seger : Formal verification of iterative algorithms in microprocessors. DAC 2000 : 201-206