Carl A. Gunter Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

University of Illinois, Urbana-Champaign, IL, USA

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier I - Trier II


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Bindschaedler, Reza Shokri, Carl A. Gunter: Plausible Deniability for Privacy-Preserving Data Synthesis. PVLDB 10(5): 481-492 (2017)
2016
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kotz, Carl A. Gunter, Santosh Kumar, Jonathan P. Weiner: Privacy and Security in Mobile Health: A Research Agenda. IEEE Computer 49(6): 22-30 (2016)
c103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGüliz Seray Tuncay, Soteris Demetriou, Carl A. Gunter: Draco: A System for Uniform and Fine-grained Access Control for Web Code on Android. ACM Conference on Computer and Communications Security 2016: 104-115
c102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvesta Hojjati, Anku Adhikari, Katarina Struckmann, Edward Chou, Thi Ngoc Tho Nguyen, Kushagra Madan, Marianne S. Winslett, Carl A. Gunter, William P. King: Leave Your Phone at the Door: Side Channels that Reveal Factory Floor Secrets. ACM Conference on Computer and Communications Security 2016: 883-894
c101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoteris Demetriou, Whitney Merrill, Wei Yang, Aston Zhang, Carl A. Gunter: Free for All! Assessing User Data Exposure to Advertising Libraries on Android. NDSS 2016
c100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAston Zhang, Amit Goyal, Ricardo A. Baeza-Yates, Yi Chang, Jiawei Han, Carl A. Gunter, Hongbo Deng: Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach. WWW 2016: 579-590
2015
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kotz, Kevin Fu, Carl A. Gunter, Aviel D. Rubin: Security for mobile and cloud frontiers in healthcare. Commun. ACM 58(8): 21-23 (2015)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Erman Ayday, Ellen W. Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang: Privacy in the Genomic Era. ACM Comput. Surv. 48(1): 6:1-6:44 (2015)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles P. Friedman, Joshua Rubin, Jeffrey S. Brown, Melinda Buntin, Milton Corn, Lynn Etheredge, Carl A. Gunter, Mark A. Musen, Richard Platt, William W. Stead, Kevin Sullivan, Douglas Van Houweling: Toward a science of learning systems: a research agenda for the high-functioning Learning Health System. JAMIA 22(1): 43-50 (2015)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYou Chen, Joydeep Ghosh, Cosmin Adrian Bejan, Carl A. Gunter, Siddharth Gupta, Abel N. Kho, David M. Liebovitz, Jimeng Sun, Joshua C. Denny, Bradley Malin: Building bridges across electronic health record systems through inferred phenotypic topics. Journal of Biomedical Informatics 55: 82-93 (2015)
c99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYou Chen, Wei Xie, Carl A. Gunter, David M. Liebovitz, Sanjay Mehrotra, He Zhang, Bradley Malin: Inferring Clinical Workflow Efficiency via Electronic Medical Record Utilization. AMIA 2015
c98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXun Lu, Aston Zhang, Carl A. Gunter, Daniel Fabbri, David M. Liebovitz, Bradley Malin: Discovering de facto diagnosis specialties. BCB 2015: 7-16
c97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Carl A. Gunter: Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. Logic, Rewriting, and Concurrency 2015: 404-426
c96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSoteris Demetriou, Xiao-yong Zhou, Muhammad Naveed, Yeonjoon Lee, Kan Yuan, XiaoFeng Wang, Carl A. Gunter: What's in Your Dongle and Bank Account? Mandatory and Discretionary Protection of Android External Resources. NDSS 2015
c95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAston Zhang, Amit Goyal, Weize Kong, Hongbo Deng, Anlei Dong, Yi Chang, Carl A. Gunter, Jiawei Han: adaQAC: Adaptive Query Auto-Completion via Implicit Negative Feedback. SIGIR 2015: 143-152
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Erman Ayday, Ellen W. Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang: Privacy in the Genomic Era. IACR Cryptology ePrint Archive 2015: 563 (2015)
2014
c94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDongjing He, Muhammad Naveed, Carl A. Gunter, Klara Nahrstedt: Security Concerns in Android mHealth Apps. AMIA 2014
c93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrateek Jindal, Dan Roth, Carl A. Gunter: Joint inference for end-to-end coreference resolution for clinical notes. BCB 2014: 192-201
c92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrateek Jindal, Carl A. Gunter, Dan Roth: Detecting privacy-sensitive events in medical text. BCB 2014: 617-620
c91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen Zhang, You Chen, Thaddeus Cybulski, Daniel Fabbri, Carl A. Gunter, Patrick Lawlor, David M. Liebovitz, Bradley Malin: Decide Now or Decide Later?: Quantifying the Tradeoff between Prospective and Retrospective Access Decisions. ACM Conference on Computer and Communications Security 2014: 1182-1192
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Shashank Agrawal, Manoj Prabhakaran, XiaoFeng Wang, Erman Ayday, Jean-Pierre Hubaux, Carl A. Gunter: Controlled Functional Encryption. ACM Conference on Computer and Communications Security 2014: 1280-1291
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSe Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta: Privacy-preserving audit for broker-based health information exchange. CODASPY 2014: 313-320
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAston Zhang, Xing Xie, Kevin Chen-Chuan Chang, Carl A. Gunter, Jiawei Han, XiaoFeng Wang: Privacy Risk in Anonymized Heterogeneous Information Networks. EDBT 2014: 595-606
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Xiao-yong Zhou, Soteris Demetriou, XiaoFeng Wang, Carl A. Gunter: Inside Job: Understanding and Mitigating the Threat of External Device Mis-Binding on Android. NDSS 2014
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Detecting Roles and Anomalies in Hospital Access Audit Logs. SafeConfig 2014: 1
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Manoj Prabhakaran, Carl A. Gunter: Dynamic Searchable Encryption via Blind Storage. IEEE Symposium on Security and Privacy 2014: 639-654
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Carl A. Gunter: Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware. CoRR abs/1404.3465 (2014)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Erman Ayday, Ellen W. Clayton, Jacques Fellay, Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, XiaoFeng Wang: Privacy and Security in the Genomic Era. CoRR abs/1405.1891 (2014)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad Naveed, Manoj Prabhakaran, Carl A. Gunter: Dynamic Searchable Encryption via Blind Storage. IACR Cryptology ePrint Archive 2014: 219 (2014)
2013
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenise Anthony, Andrew T. Campbell, Thomas Candon, Andrew Gettinger, David Kotz, Lisa A. Marsch, Andres Molina-Markham, Karen Page, Sean W. Smith, Carl A. Gunter, M. Eric Johnson: Securing Information Technology in Healthcare. IEEE Security & Privacy 11(6): 25-33 (2013)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHe Zhang, Sanjay Mehrotra, David M. Liebovitz, Carl A. Gunter, Bradley Malin: Mining Deviations from Patient Care Pathways via Electronic Medical Record System Audits. ACM Trans. Management Inf. Syst. 4(4): 17:1-17:20 (2013)
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiao-yong Zhou, Soteris Demetriou, Dongjing He, Muhammad Naveed, Xiaorui Pan, XiaoFeng Wang, Carl A. Gunter, Klara Nahrstedt: Identity, location, disease and more: inferring your secrets from android public resources. ACM Conference on Computer and Communications Security 2013: 1017-1028
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSiddharth Gupta, Casey Hanson, Carl A. Gunter, Mario Frank, David M. Liebovitz, Bradley Malin: Modeling and detecting anomalous topic access. ISI 2013: 100-105
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen Zhang, You Chen, Carl A. Gunter, David M. Liebovitz, Bradley Malin: Evolving role definitions through permission invocation patterns. SACMAT 2013: 37-48
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Duffy, Steve Nyemba, Carl A. Gunter, David M. Liebovitz, Bradley Malin: Requirements and Design for an Extensible Toolkit for Analyzing EMR Audit Logs. HealthTech 2013
2012
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter: Adaptive Selective Verification: An Efficient Adaptive Countermeasure to Thwart DoS Attacks. IEEE/ACM Trans. Netw. 20(3): 715-728 (2012)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Carl A. Gunter: Cumulative Attestation Kernels for Embedded Systems. IEEE Trans. Smart Grid 3(2): 744-760 (2012)
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQuanyan Zhu, Carl A. Gunter, Tamer Basar: Tragedy of Anticommons in Digital Right Management of Medical Records. HealthSec 2012
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Zachary N. J. Peterson: 3rd USENIX Workshop on Health Security and Privacy, HealthSec'12, Bellevue, WA, USA, August 6-7, 2012 .USENIX Association 2012
2011
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, David M. Liebovitz, Bradley Malin: Experience-Based Access Management: A Life-Cycle Framework for Identity and Access Management Systems. IEEE Security & Privacy 9(5): 48-55 (2011)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianqing Zhang, Carl A. Gunter: Application-aware secure multicast for power grid communications. IJSN 6(1): 40-52 (2011)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid C. Bergman, Dong (Kevin) Jin, Joshua Juen, Naoki Tanaka, Carl A. Gunter, Andrew K. Wright: Nonintrusive Load-Shed Verification. IEEE Pervasive Computing 10(1): 49-57 (2011)
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmid Fatemieh, Michael LeMay, Carl A. Gunter: Reliable telemetry in white spaces using remote attestation. ACSAC 2011: 323-332
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi: MyABDAC: compiling XACML policies for attribute-based database access control. CODASPY 2011: 97-108
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Green, Joshua Juen, Omid Fatemieh, Ravinder Shankesi, Dong (Kevin) Jin, Carl A. Gunter: Reconstructing Hash Reversal based Proof of Work Schemes. LEET 2011
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmid Fatemieh, Ali Farhadi, Ranveer Chandra, Carl A. Gunter: Using Classification to Protect the Integrity of Spectrum Measurements in White Space Networks. NDSS 2011
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMd. Yusuf Sarwar Uddin, Ahmed Khurshid, Hee Dong Jung, Carl A. Gunter, Matthew Caesar, Tarek F. Abdelzaher: Making DTNs robust against spoofing attacks with localized countermeasures. SECON 2011: 332-340
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Carl A. Gunter: Enforcing Executing-Implies-Verified with the Integrity-Aware Processor. TRUST 2011: 202-216
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWen Zhang, Carl A. Gunter, David M. Liebovitz, Jian Tian: Role Prediction Using Electronic Medical Record System Audits. HealthSec 2011
2010
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Arindam Khan, Carl A. Gunter, Himanshu Khurana, Manoj Prabhakaran: Attribute-Based Messaging: Access Control and Confidentiality. ACM Trans. Inf. Syst. Secur. 13(4): 31:1-31:35 (2010)
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammad Maifi Hasan Khan, Hieu Khac Le, Michael LeMay, Paria Moinzadeh, Lili Wang, Yong Yang, Dong Kun Noh, Tarek F. Abdelzaher, Carl A. Gunter, Jiawei Han, Xin Jin: Diagnostic powertracing for sensor node failure analysis. IPSN 2010: 117-128
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFariba Khan, Carl A. Gunter: Tiered Incentives for Integrity Based Queuing. NetEcon 2010
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, David M. Liebovitz, Bradley Malin: EBAM: Experience-Based Access Management for Healthcare. HealthSec 2010
2009
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMusab AlTurki, José Meseguer, Carl A. Gunter: Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. Electr. Notes Theor. Comput. Sci. 234: 3-18 (2009)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie: Guest editorial network infrastructure configuration. IEEE Journal on Selected Areas in Communications 27(3): 249-252 (2009)
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer: Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Carl A. Gunter: Cumulative Attestation Kernels for Embedded Systems. ESORICS 2009: 655-670
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Jason J. Haas, Carl A. Gunter: Collaborative Recommender Systems for Building Automation. HICSS 2009: 1-10
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic: Strong and Weak Policy Relations. POLICY 2009: 33-36
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers. POLICY 2009: 114-117
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKazuhiro Minami, Nikita Borisov, Carl A. Gunter: Safety in discretionary access control for logic-based publish-subscribe systems. SACMAT 2009: 3-12
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwyn Goodloe, Carl A. Gunter: Completeness of discovery protocols. SafeConfig 2009: 29-36
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka: How to Bootstrap Security for Ad-Hoc Network: Revisited. SEC 2009: 119-131
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, Roy H. Campbell: Sh@re: Negotiated Audit in Social Networks. SMC 2009: 74-79
2008
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEllick Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, Daniel Rebolledo: Using rhythmic nonces for puzzle-based DoS resistance. CSAW 2008: 51-58
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars E. Olson, Carl A. Gunter, P. Madhusudan: A formal framework for reflective database access control policies. ACM Conference on Computer and Communications Security 2008: 289-298
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Rajesh Nelli, George Gross, Carl A. Gunter: An Integrated Architecture for Demand Response Communications and Control. HICSS 2008: 174
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, Carl A. Gunter: Adaptive SelectiveVerification. INFOCOM 2008: 529-537
2007
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRatul K. Guha, Carl A. Gunter, Saswati Sarkar: Fair Coalitions for Power-Aware Routing in Wireless Networks. IEEE Trans. Mob. Comput. 6(2): 206-220 (2007)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter, David Raila: Improving multi-tier security using redundant authentication. CSAW 2007: 54-62
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwyn Goodloe, Carl A. Gunter: Reasoning about Concurrency for Security Tunnels. CSF 2007: 64-78
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, George Gross, Carl A. Gunter, Sanjam Garg: Unified Architecture for Large-Scale Attested Metering. HICSS 2007: 115
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Carl A. Gunter: Supporting Emergency-Response by Retasking Network Infrastructures. HotNets 2007
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael LeMay, Omid Fatemieh, Carl A. Gunter: PolicyMorph: interactive policy transformations for a logical attribute-based access control framework. SACMAT 2007: 205-214
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles C. Zhang, Marianne Winslett, Carl A. Gunter: On the Safety and Efficiency of Firewall Policy Deployment. IEEE Symposium on Security and Privacy 2007: 33-50
2006
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRakeshbabu Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, Himanshu Khurana: Using Attribute-Based Access Control to Enable Attribute-Based Messaging. ACSAC 2006: 403-413
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. May, Wook Shin, Carl A. Gunter, Insup Lee: Securing the drop-box architecture for assisted living. FMSE 2006: 1-12
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam J. Lee, Jodie P. Boyer, Lars E. Olson, Carl A. Gunter: Defeasible security policy composition for web services. FMSE 2006: 45-54
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. May, Carl A. Gunter, Insup Lee: Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. CSFW 2006: 85-97
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter: AMPol: Adaptive Messaging Policy. ECOWS 2006: 53-64
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaja Afandi, Jianqing Zhang, Carl A. Gunter: AMPol-Q: Adaptive Middleware Policy to Support QoS. ICSOC 2006: 165-178
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha: I-Living: An Open System Architecture for Assisted Living. SMC 2006: 4268-4275
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJodie P. Boyer, Kaijun Tan, Carl A. Gunter: Privacy Sensitive Location Information Systems in Smart Buildings. SPC 2006: 149-164
2005
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter: Network Event Recognition. Formal Methods in System Design 27(3): 213-251 (2005)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin D. Lux, Michael J. May, Nayan L. Bhattad, Carl A. Gunter: WSEmail: Secure Internet Messaging Based on Web Services. ICWS 2005: 75-82
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr: Formal prototyping in early stages of protocol design. WITS 2005: 67-80
2004
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaijun Tan, Jason Crampton, Carl A. Gunter: The Consistency of Task-Based Authorization Constraints in Workflow Systems. CSFW 2004: 155-
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael McDougall, Rajeev Alur, Carl A. Gunter: A model-based approach to integrating security policies for embedded devices. EMSOFT 2004: 211-219
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Sanjeev Khanna, Kaijun Tan, Santosh S. Venkatesh: DoS Protection for Reliably Authenticated Broadcast. NDSS 2004
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Michael J. May, Stuart G. Stubblebine: A Formal Privacy System and Its Application to Location Based Services. Privacy Enhancing Technologies 2004: 256-282
2003
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Carl A. Gunter, Martín Abadi: Reasoning About Secrecy for Active Networks. Journal of Computer Security 11(2): 245-287 (2003)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Open APIs for Embedded Security. ECOOP 2003: 225-247
2002
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter: Requirements for a Practical Network Event Recognition Language. Electr. Notes Theor. Comput. Sci. 70(4): 1-20 (2002)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Davor Obradovic, Carl A. Gunter: Formal verification of standards for distance vector routing protocols. J. ACM 49(4): 538-576 (2002)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur: Predictable programs in barcodes. CASES 2002: 298-303
c31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Micro Mobile Programs. IFIP TCS 2002: 356-369
2001
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Stephen Weeks, Andrew K. Wright: Models and Languages for Digital Rights. HICSS 2001
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter: What packets may come: automata for network monitoring. POPL 2001: 206-219
2000
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Automated analysis of standard ML. ACM SIGSOFT Software Engineering Notes 25(1): 53 (2000)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Elsa L. Gunter, Pamela Zave: Formal software engineering. ACM SIGSOFT Software Engineering Notes 25(1): 54 (2000)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Trevor Jim: Policy-directed certificate retrieval. Softw., Pract. Exper. 30(15): 1609-1640 (2000)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Abstracting dependencies between software configuration items. ACM Trans. Softw. Eng. Methodol. 9(1): 94-131 (2000)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Carl A. Gunter, Martín Abadi: Reasoning about Secrecy for Active Networks. CSFW 2000: 118-129
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Fault origin adjudication. FMSP 2000: 61-71
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBow-Yaw Wang, José Meseguer, Carl A. Gunter: Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification 2000: E49-E56
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim: Certificate Distribution with Local Autonomy. IWAN 2000: 277-295
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Trevor Jim: Generalized Certificate Revocation. POPL 2000: 316-329
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic: Routing Information Protocol in HOL/SPIN. TPHOLs 2000: 53-72
1999
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter: Specifying the PLAN Network Programming Langauge. Electr. Notes Theor. Comput. Sci. 26: 87-104 (1999)
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, Scott Nettles: PLANet: An Active Internetwork. INFOCOM 1999: 1124-1133
1998
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: Network Programming Using PLAN. ICCL Workshop: Internet Programming Languages 1998: 127-143
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles: PLAN: A Packet Language for Active Networks. ICFP 1998: 86-93
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave: The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66
1997
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Teow-Hin Ngair, Devika Subramanian: The Common Order-Theoretic Structure of Version Spaces and ATMSs. Artif. Intell. 95(2): 357-407 (1997)
1996
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, John C. Mitchell, David Notkin: Strategic Directions in Software Engineering and Programming Languages. ACM Comput. Surv. 28(4): 727-737 (1996)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Reference Counting as a Computational Interpretation of Linear Logic. J. Funct. Program. 6(2): 195-244 (1996)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Teow-Hin Ngair, Devika Subramanian: Sets as Anti-Chains. ASIAN 1996: 116-128
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Abstracting Dependencies between Software Configuration Items. SIGSOFT FSE 1996: 167-178
1995
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Didier Rémy, Jon G. Riecke: A Generalization of Exceptions and Control in ML-like Languages. FPCA 1995: 12-23
1993
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Semantics of programming languages - structures and techniques. Foundations of computing, MIT Press 1993, ISBN 978-0-262-07143-7, pp. I-XVIII, 1-419
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Elsa L. Gunter, David B. MacQueen: Computing ML Equality Kinds Using Abstract Interpretation .Inf. Comput. 107(2): 303-323 (1993)
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Forms of Semantic Specification. Current Trends in Theoretical Computer Science 1993: 332-353
1992
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: The Mixed Powerdomain. Theor. Comput. Sci. 103(2): 311-334 (1992)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Proving Memory Management Invariants for a Language Based on Linear Logic. LISP and Functional Programming 1992: 139-150
1991
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Forms of Semantic Specification. Bulletin of the EATCS 45: 98-113 (1991)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVal Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion .Inf. Comput. 93(1): 172-221 (1991)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian: The Common Order-Theoretic Structure of Version Spaces and ATMS's. AAAI 1991: 500-505
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Elsa L. Gunter, David B. MacQueen: An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130
1990
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVal Tannen, Carl A. Gunter, Andre Scedrov: Computing with Coercions. LISP and Functional Programming 1990: 44-60
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVijay Gehlot, Carl A. Gunter: Normal Process Representatives .LICS 1990: 200-207
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. POPL 1990: 306-319
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Dana S. Scott: Semantic Domains. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 633-674
1989
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Coquand, Carl A. Gunter, Glynn Winskel: Domain Theoretic Models of Polymorphism .Inf. Comput. 81(2): 123-167 (1989)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVal Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance and Explicit Coercion (Preliminary Report) .LICS 1989: 112-129
1988
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter, Achim Jung: Coherence and Consistency in Domains (Extended Outline) .LICS 1988: 309-317
1987
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Universal Profinite Domains .Inf. Comput. 72(1): 1-30 (1987)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThierry Coquand, Carl A. Gunter, Glynn Winskel: DI-Domains as a Model of Polymorphism. MFPS 1987: 344-363
1986
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains .LICS 1986: 142-148
1985
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: A Universal Domain Technique for Profinite Posets. ICALP 1985: 232-243
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl A. Gunter: Comparing Categories of Domains. Mathematical Foundations of Programming Semantics 1985: 101-121

Coauthor Index

1Martín Abadi[j19] [c28]
2Tarek F. Abdelzaher[c75] [c72]
3Anku Adhikari[c102]
4Raja Afandi[c43] [c42]
5Shashank Agrawal[c90]
6D. Scott Alexander[c20]
7Bedoor K. AlShebli[c41]
8Musab AlTurki[j23] [c68]
9Rajeev Alur[c36] [c32]
10Paul Anderson[j22]
11Denise L. Anthony
Denise Anthony
[j31]
12Erman Ayday[j34] [i4] [c90] [i2]
13Ricardo A. Baeza-Yates[c100]
14Tamer Basar[c80]
15Cosmin Adrian Bejan[j32]
16David C. Bergman[j25]
17Karthikeyan Bhargavan[j20] [j18] [j17] [j16] [c29] [c27] [c24] [c21] [c17]
18Nayan L. Bhattad[c39]
19Vincent Bindschaedler[j37]
20Rakesh Bobba
Rakeshbabu Bobba
[j24] [c47]
21Nikita Borisov[c62] [c53]
22Jodie P. Boyer[c53] [c45] [c40]
23Jeffrey S. Brown[j33]
24Melinda Buntin[j33]
25Marco Caccamo[c41]
26Matthew Caesar[c75]
27Andrew T. Campbell[j31]
28Roy H. Campbell[c59]
29Thomas Candon[j31]
30Rohit Chadha[c56]
31Ellick Chan[c58]
32Ranveer Chandra[c76]
33Satish Chandra 0001[c29]
34Kevin Chen-Chuan Chang[c88]
35Yi Chang[c100] [c95]
36You Chen[j32] [c99] [c91] [c82]
37Jawahar Chirimar[j7] [c13] [c12]
38Edward Chou[c102]
39Ji Young Chun[c89]
40Ellen W. Clayton[j34] [i4] [i2]
41William R. Cook[c69]
42Thierry Coquand[j3] [j2] [c6] [c4]
43Milton Corn[j33]
44Jason Crampton[c37]
45Thaddeus Cybulski[c91]
46Anupam Datta[c89]
47Soteris Demetriou[c103] [c101] [c96] [c87] [c84]
48Hongbo Deng[c100] [c95]
49Joshua C. Denny[j32]
50Anlei Dong[c95]
51Eric Duffy[c81]
52Lynn Etheredge[j33]
53Daniel Fabbri[c98] [c91]
54Ali Farhadi[c76]
55Omid Fatemieh[j29] [c79] [c77] [c76] [j24] [c54] [c49] [c47]
56Jacques Fellay[j34] [i4] [i2]
57Mario Frank[c83]
58Charles P. Friedman[j33]
59Kevin Fu[j35]
60Kazuhide Fukushima[c60]
61Deepak Garg 0001[c89]
62Sanjam Garg[c51]
63Vijay Gehlot[c8]
64Andrew Gettinger[j31]
65Joydeep Ghosh[j32]
66Apeksha Godiyal[c59]
67Alwyn Goodloe[c61] [c52] [c38] [c32]
68Amit Goyal[c100] [c95]
69Jeff Green[c77]
70George Gross[c55] [c51]
71Ratul K. Guha[j21]
72Elsa L. Gunter[c66] [c41] [j14] [j13] [c25] [c17] [j6] [c10]
73Siddharth Gupta[j32] [c83]
74Alejandro Gutierrez[c59]
75Jason J. Haas[c65]
76Munawar Hafiz[c43]
77Jiawei Han[c100] [c95] [c88] [c72]
78Casey Hanson[c83]
79Ragib Hasan[c53]
80Dongjing He[c94] [c84]
81Michael W. Hicks[j10] [c20] [c19] [c18]
82Avesta Hojjati[c102]
83Imranul Hoque[c78]
84Jennifer C. Hou[c41]
85Douglas Van Houweling[j33]
86Jean-Pierre Hubaux[j34] [i4] [c90] [i2]
87Myra Van Inwegen[c13]
88Michael Jackson[j13] [c25] [c17]
89Sonia Jahid[c78] [c58]
90Limin Jia[c89]
91Trevor Jim[j12] [c23] [c22]
92Dong (Kevin) Jin[j25] [c77]
93Xin Jin[c72]
94Prateek Jindal[c93] [c92]
95M. Eric Johnson[j31]
96Joshua Juen[j25] [c77]
97Achim Jung[c5]
98Hee Dong Jung[c75]
99Pankaj Kakkar[j19] [c28] [c23] [j10] [c19] [c18]
100Charles R. Kalmanek[j22]
101Karrie Karahalios[c41]
102Arindam Khan 0001[j24]
103Fariba Khan[j29] [j24] [c71] [c54] [c47]
104Mohammad Maifi Hasan Khan[c72]
105Sanjeev Khanna[j29] [c54] [c35]
106Abel N. Kho[j32]
107Himanshu Khurana[j24] [c47]
108Ahmed Khurshid[c75]
109Moonjoo Kim[j16] [c24]
110William P. King[c102]
111Shinsaku Kiyomoto[c60]
112Weize Kong[c95]
113David Kotz[j36] [j35] [j31]
114Santosh Kumar[j36]
115Patrick Lawlor[c91]
116Hieu Khac Le[c72]
117Adam J. Lee[c45]
118Insup Lee[c64] [c46] [c44] [j16] [c24]
119Yeonjoon Lee[c96]
120Michael LeMay[c97] [i3] [j28] [c79] [c74] [c72] [c67] [c65] [c59] [c55] [c51] [c50] [c49]
121David M. Liebovitz[j32] [c99] [c98] [c91] [j30] [c83] [c82] [c81] [j27] [c73] [c70]
122Xue Liu[c41]
123Xun Lu[c98]
124Kevin D. Lux[c39]
125David B. MacQueen[j6] [c10]
126Kushagra Madan[c102]
127P. Madhusudan[c57]
128Bradley Malin
Bradley A. Malin
[j34] [j32] [c99] [c98] [i4] [c91] [i2] [j30] [c83] [c82] [c81] [j27] [c70]
129Lisa A. Marsch[j31]
130Michael J. May[c64] [c46] [c44] [c39] [c34]
131Peter J. McCann[c29]
132Michael McDougall[c36] [c32] [c23]
133Sanjay Mehrotra[c99] [j30]
134Whitney Merrill[c101]
135José Meseguer[j23] [c68] [c56] [c26]
136Kazuhiro Minami[c62]
137John C. Mitchell[j8]
138Paria Moinzadeh[c72]
139Andres Molina-Markham[j31]
140Jonathan T. Moore[j10] [c20] [c19] [c18]
141Mark A. Musen[j33]
142Klara Nahrstedt[c94] [c84]
143Sanjai Narain[j22]
144Muhammad Naveed 0001[j34] [c96] [i4] [c94] [c90] [c87] [c85] [i2] [i1] [c84]
145Rajesh Nelli[c55]
146Scott Nettles[c20] [c19] [c18]
147Teow-Hin Ngair[j9] [c16] [c11]
148Anh Nguyen[c66]
149Thi Ngoc Tho Nguyen[c102]
150Dong Kun Noh[c72]
151David Notkin[j8]
152Steve Nyemba[c81]
153Davor Obradovic[j17] [j16] [c27] [c24] [c21] [c17]
154Cham Oh[c41]
155Se Eun Oh[c89]
156Hamed Okhravi[c78]
157Lars E. Olson[c69] [c57] [c53] [c45]
158Karen Page[j31]
159Xiaorui Pan[c84]
160Prakash Panangaden[c11]
161Evgeni Peryshkin[c58]
162Zachary N. J. Peterson[e1]
163Richard Platt[j33]
164Manoj Prabhakaran[c90] [c85] [i1] [j24]
165David Raila[c53]
166Daniel Rebolledo[c58]
167Didier Rémy[c14]
168Jon G. Riecke[j7] [c14] [c12]
169Dan Roth[c93] [c92]
170Aviel D. Rubin[j35]
171Joshua Rubin[j33]
172Saswati Sarkar[j21]
173Ralf Sasse[c68]
174Andre Scedrov[j3] [c9] [c6]
175Dana S. Scott[p1]
176Lui Sha[c41]
177Ravinder Shankesi[c77] [c68] [c56]
178Wook Shin[c60] [c46] [c41]
179Reza Shokri[j37]
180Jonathan M. Smith[j22]
181Sean W. Smith[j31]
182Oleg Sokolsky[j16] [c24]
183William W. Stead[j33]
184Mark-Oliver Stehr[c38]
185Matt Stockton[c59]
186Katarina Struckmann[c102]
187Stuart G. Stubblebine[c34]
188Devika Subramanian[j9] [c16] [c11]
189Kevin Sullivan[j33]
190Jimeng Sun[j32]
191Rajesh Talpade[j22]
192Kaijun Tan[c40] [c37] [c35]
193Naoki Tanaka[j25]
194Toshiaki Tanaka[c60]
195Val Tannen[j3] [c9] [c6]
196Jian Tian[c73]
197Güliz Seray Tuncay[c103]
198Md. Yusuf Sarwar Uddin[c75]
199Santosh S. Venkatesh[j29] [c54] [c35]
200Mahesh Viswanathan 0001[c56] [j16] [c24]
201Bow-Yaw Wang[c26]
202Lili Wang[c72]
203Qixin Wang[c41]
204XiaoFeng Wang[j34] [c96] [i4] [c90] [c88] [c87] [i2] [c84]
205Stephen Weeks[c30]
206Jonathan P. Weiner[j36]
207Glynn Winskel[j2] [c4]
208Marianne Winslett
Marianne S. Winslett
[c102] [c69] [c48]
209Andrew K. Wright[j25] [c30]
210Geoffrey G. Xie[j22]
211Wei Xie[c99]
212Xing Xie[c88]
213Wei Yang[c101]
214Yong Yang[c72]
215Ayesha Yasmeen[c66]
216Kan Yuan[c96]
217Pamela Zave[j14] [j13] [c25] [c17]
218Steve Zdancewic[c64]
219Zheng Zeng[c41]
220Aston Zhang[c101] [c100] [c98] [c95] [c88]
221Charles C. Zhang[c48]
222He Zhang[c99] [j30]
223Jianqing Zhang[j26] [c43] [c42]
224Wen Zhang[c91] [c82] [c73]
225Xiao-yong Zhou[c96] [c87] [c84]
226Quanyan Zhu[c80]

 

Last update 2017-03-14 22:19 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page