dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Hemangee K. Kapoor Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlpesh Patel, Hemangee K. Kapoor: Exploring Use of NoC for Reconfigurable Video Coding. VLSI Design 2010: 134-139
2009
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor: A Process Algebraic View of Latency-Insensitive Systems. IEEE Trans. Computers 58(7): 931-944 (2009)
2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor: Modelling Latency-Insensitive Systems in CSP. ACSD 2007: 231-232
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark B. Josephs, Hemangee K. Kapoor: Controllable Delay-Insensitive Processes. Fundam. Inform. 78(1): 101-130 (2007)
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor: Formal Modelling and Verification of an Asynchronous DLX Pipeline. SEFM 2006: 118-127
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey: Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. Fundam. Inform. 70(1-2): 21-48 (2006)
2005
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor, Mark B. Josephs: Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation. ACSD 2005: 58-67
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey: Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. ACSD 2004: 89-98
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor, Mark B. Josephs: Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis. DAC 2004: 830-833
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHemangee K. Kapoor, Mark B. Josephs: Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench. Inf. Process. Lett. 89(6): 293-296 (2004)

Coauthor Index

1Dennis P. Furey [3] [5]
2Mark B. Josephs [1] [2] [3] [4] [5] [7]
3Alpesh Patel [10]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page