2009
Completeness of Discovery Protocols,
Alwyn Goodloe and Carl A. Gunter.
Assurable and Usable Security Configuration (SafeConfig '09), Chicago, IL, November 2009.
A Medical Database Case Study for Reflective Databases Access Control,
Lars Olson, Carl A. Gunter, and Sarah Peterson Olson.
Security and Privacy in Medical and Homecare Systems (SPIMACS '09), Chicago, IL, November 2009.
Sh@re: Negotiated Audit in Social Networks,
Alejandro Gutierrez, Apeksha Godiyal, Matt Stockton, Michael LeMay, Carl A. Gunter, and Roy H. Campbell.
IEEE International Conference on Systems, Man, and Cybernetics (SMC '09), San Antonio, TX, October 2009.
Model-Checking DoS Amplification for VoIP Session Initiation,
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter and Jose Meseguer.
European Symposium on Research in Computer Security (ESORICS '09), Saint Malo, France, September 2009.
Cumulative Attestation Kernels for Embedded Systems,
Michael LeMay and Carl A. Gunter.
European Symposium on Research in Computer Security (ESORICS '09), Saint Malo, France, September 2009.
Strong and Weak Policy Relations,
Michael J. May, Insup Lee, Carl A. Gunter, and Steve Zdancewic.
IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY '09), London, UK, July 2009.
Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers,
Carl A. Gunter.
IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY '09), London, UK, July 2009.
Implementing Reflective Access Control in SQL,
Lars E. Olson, Carl A. Gunter, William R. Cook, and Marianne Winslett.
23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec '09), Montreal, QC, July 2009.
Safety in Discretionary Access Control for Logic-Based Publish-Subscribe Systems,
Kazuhiro Minami, Nikita Borisov, and Carl A. Gunter.
ACM Symposium on Access Control Models and Technologies (SACMAT '09), Stresa, Italy, June 2009.
How to Bootstrap Security for Ad-Hoc Networks: Revisited,
Wook Shin, Carl A. Gunter, Shinsaku Kiyomoto, Kazuhide Fukushima, and Toshiaki Tanaka.
IFIP Information Security Conference (SEC '09), Pafos, Cyprus 2009.
Specifying and Analyzing Workflows for Automated Identification and Data Capture,
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, and Anh Nguyen.
IEEE Hawaii International Conference on System Sciences (HICSS '09), Waikoloa, HI, January 2009.
Collaborative Recommender Systems for Building Automation,
Michael LeMay, Jason J. Haas, and Carl A. Gunter.
IEEE Hawaii International Conference on System Sciences (HICSS '09), Waikoloa, HI, January 2009.
Guest Editorial Network Infrastructure Configuration,
Paul Anderson , Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie.
IEEE Journal on Selected Areas in Communications 27(3), pages 249-252, 2009.
2008
Using Rhythmic Nonces for Puzzle-Based DoS Resistance,
Ellick M. Chan, Carl A. Gunter, Sonia Jahid, Evgeni Peryshkin, and Daniel Rebolledo.
ACM Computer Security Architectures Workshop (CSAW '08), Fairfax, VA, October 2008.[BIB]
A Formal Framework for Reflective Database Access Control Policies,
Lars E. Olson, Carl A. Gunter, and P. Madhusudan.
ACM Conference on Computer and Communications Security (CCS '08), Alexandria, VA, October 2008.
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol,
Musab AlTurki, Jose Meseguer, and Carl A. Gunter,
International Workshop on Security and Rewriting Techniques (SecRet '08), Pittsburgh, PA, June 2008.
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers,
Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, and Mahesh Viswanathan.
IFIP Formal Methods for Open Object-based Sistributed Systems (FMOODS '08), Oslo, Norway, June 2008. [BIB]
Adaptive Selective Verification,
Sanjeev Khanna, Santosh S. Venkatesh, Omid Fatemieh, Fariba Khan, and Carl A. Gunter,
IEEE Conference on Computer Communications (INFOCOM '08), Phoenix, AZ, April 2008. [PPT] [BIB]
An Integrated Architecture for Demand Response Communications and Control(awarded best paper),
Michael LeMay, Rajesh Nelli, George Gross, and Carl A. Gunter.
IEEE Hawaii International Conference on System Sciences (HICSS '08), Waikola, Hawaii, January 2008. Best Paper Award in the Power Mini-Track. [PPT] [BIB]
2007
Improving Multi-Tier Security Using Redundant Authentication,
Jodie P. Boyer, Ragib Hasan, Lars E. Olson, Nikita Borisov, Carl A. Gunter and David Raila.
ACM Computer Security Architectures Workshop (CSAW '07), Fairfax, VA, November 2007. [BIB]
Reasoning about Concurrency for Security Tunnels,
Alwyn E. Goodloe and Carl A. Gunter.
IEEE Computer Security Foundations (CSF '07), Venice, Italy, July 2007. [PPT] [BIB]
Emergency Alerts as RSS Feeds with Interdomain Authorization,
Filippo Gioachin, Ravinder Shankesi, Michael J. May, Carl A. Gunter and Wook Shin.
IARIA International Conference on Internet Monitoring and Protection (ICIMP '07), Santa Clara, CA, July 2007. [PPT] [BIB]
PAS: A Wireless-Enabled, Sensor-Integrated Personal Assistance System for Independent and Assisted Living,
Jennifer C. Hou, Qixin Wang, Bedoor K. AlShebli, Linda Ball, Stanley Birge, Marco Caccamo, Chin-Fei Cheah, Eric Gilbert, Carl A. Gunter, Elsa Gunter, Chang-Gun Lee, Karrie Karahalios, Min-Young Nam, Narasimhan Nitya, Chaudhri Rohit, Lui Sha, Wook Shin, Sammy Yu, Yang Yu, and Zheng Zeng.
High Confidence Medical Device Software and Systems (HCMDSS '07), Boston, MA, June 2007. [BIB]
PolicyMorph: Interactive Policy Transformations for a Logical Attribute-Based Access Control Framework,
Michael LeMay, Omid Fatemieh, and Carl A. Gunter.
ACM Symposium on Access Control Models And Technologies (SACMAT '07), Sophia Antipolis, France, June 2007. [PPT] [BIB]
On the Safety and Efficiency of Firewall Policy Deployment,
Charles C. Zhang, Marianne Winslett, and Carl A. Gunter.
IEEE Security and Privacy, Oakland, CA, May 2007. [PPT] [BIB]
Fair Coalitions for Power-Aware Routing in Wireless Networks,
Ratul K. Guha, Carl A. Gunter, and Saswati Sarkar.
IEEE Transactions on Mobile Computing, 6(2): 206-220, February, 2007. [BIB]
Unified Architecture for Large-Scale Attested Metering,
Michael LeMay, George Gross, Carl A. Gunter, and Sanjam Garg.
IEEE Hawaii International Conference On System Sciences (HICSS '07), Waikoloa, HI, January 2007. [PPT] [BIB]
2006
AMPol-Q: Adaptive Middleware Policy to Support QoS,
Raja Afandi, Jianqing Zhang, and Carl A. Gunter.
ACM International Conference on Service Oriented Computing (ICSOC '06), Chicago, IL, December, 2006. [PPT] [BIB]
AMPol: Adaptive Messaging Policy,
Raja Afandi, Jianqing Zhang, Munawar Hafiz and Carl A. Gunter.
IEEE European Conference on web Services (ECOWS '06), Zurich, Switzerland, December 2006. [PPT] [BIB]
Using Attribute-Based Access Control to Enable Attribute-Based Messaging,
Rakesh Bobba, Omid Fatemieh, Fariba Khan, Carl A. Gunter, and Himanshu Khurana.
IEEE Annual Computer Security Applications Conference (ACSAC '06) , Miami, FL, December 2006. [PPT] [BIB]
Reducing Risk by Managing Software Related Failures in Networked Control Systems,
Girish Baliga, Scott Graham, Carl A. Gunter, and P. R. Kumar.
IEEE Conference on Decision and Control (CDC '06), San Diego, CA, December 2006. [PPT] [BIB]
Securing the Drop-Box Architecture for Assisted Living,
Michael J. May, Wook Shin, Carl A. Gunter, and Insup Lee.
ACM Formal Methods in Security Engineering (FMSE '06), Alexandria, VA, November 2006. [PPT] [BIB]
Defeasible Security Policy Composition for Web Services,
Adam J. Lee, Jodie P. Boyer, Lars E. Olson, and Carl A. Gunter.
ACM Formal Methods in Softwware Engineering (FMSE '06), Alexandria, VA, November 2006. [PPT] [BIB]
I-Living: An Open System Architecture for Assisted Living,
Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. Alshebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer Hou, Karrie Karahalios, and Lui Sha.
IEEE Systems, Man, and Cybernetics (SMC '06), Taipei, Taiwan, October 2006. [PPT] [BIB]
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies,
Michael J. May, Carl A. Gunter, and Insup Lee.
IEEE Computer Security Foundations Workshop (CSFW 06), Venice, Italy, July 2006. [PPT] [BIB]
Privacy Sensitive Location Information Systems in Smart Buildings,
Jodie P. Boyer, Kaijun Tan, and Carl A. Gunter.
Security in Pervasive Computing (SPC '06), Springer LNCS, pages 149-164, York, UK, April 2006. [PPT] [BIB]
Mitigating DoS Attack Through Selective Bin Verification,
Micah Sherr, Michael Greenwald, Carl A. Gunter, Sanjeev Khanna, and Santosh Venkatesh.
IEEE Workshop on Secure Network Protocols (NPsec '05), Boston, MA, November 2005. [BIB]
L3A: A Protocol for Layer Three Accounting,
Alwyn Goodloe, Matthew Jacobs, and Gaurav Shah.
IEEE Workshop on Secure Network Protocols (NPsec '05), Boston, MA, November 2005. [BIB]
WSEmail: Secure Internet Messaging Based on Web Services,
Kevin D. Lux, Michael J. May, Nayan L. Bhattad, and Carl A. Gunter.
IEEE International Conference on Web Services (ICWS '05), pages 75-82, Orlando, Florida, July 2005. [PPT] [BIB]
Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories,
Gul Agha, Michael Greenwald, Carl A. Gunter, Sanjeev Khanna, Jose Meseguer, Koushik Sen, and Prasannaa Thati.
IEEE Workshop on Foundations of Computer Security (FCS '05), Chicago, IL, June 2005. [BIB]
Formal Prototyping in Early Stages of Protocol Design,
Alwyn Goodloe, Carl A. Gunter, and Mark-Oliver Stehr.
IFIP/ACM Workshop on Issues in the Theory of Security (WITS '05), pages 67-80, Long Beach, CA, January 2005. [BIB]
Network Event Recognition,
Karthikeyan Bhargavan and Carl A. Gunter.
Formal Methods in System Design, 27(3), 213-251, 2005.
2004
Fair Conditions for Power-Aware Routing in Wireless Networks,
Ratul K. Guha, Carl A. Gunter, and Saswati Sarkar.
IEEE Conference on Decision and Control (CDC '04), Atlantis, Bahamas, December 2004.
A Model-Based Approach to Integrating Security Policies for Embedded Devices,
Michael McDougall, Rajeev Alur, and Carl A. Gunter.
ACM International Conference on Embedded Software (EMSOFT '04), pages 211-219, Pisa, Italy, September 2004.
The Consistency of Task-Based Authorization Constraints in Workflow Systems,
Kaijun Tan, Jason Crampton, Carl A. Gunter.
IEEE Computer Security Foundations Workshop (CSFW '04), Monterey, CA, July 2004.
A Formal Privacy System and its Application to Location Based Services,
Carl A. Gunter, Michael J. May, Stuart Stubblebine.
Privacy Enhancing Technologies (PET '04), Toronto, Canada, May 2004.
DoS Protection for Reliably Authenticated Broadcast,
Carl A. Gunter, Sanjeev Khanna, Kaijun Tan, and Santosh Venkatesh.
ICSOC Network and Distributed Systems Security Symposium (NDSS '04), San Diego, CA, February 2004.
2003
Open APIs for Embedded Security,
Carl A. Gunter.
European Conference on Object-Oriented Programming (ECOOP '03), volume 2743 of Lecture Notes in Computer Science, pages 225-247, Darmstadt, Germany, July 2003. Invited paper. [BIB]
Reasoning About Secrecy for Active Networks,
Pankaj Kakkar, Carl A. Gunter, and Martin Abadi.
Journal of Computer Security, 11(2):245-287, April 2003.
2002
Requirements for a Practical Network Event Recognition Language,
Karthikeyan Bhargavan and Carl A. Gunter.
Electronic Notes in Theoretical Computer Science, 70(4), 2002.
Predictable Programs in Barcodes,
Alwyn Goodloe, Michael McDougall, Rajeev Alur, and Carl A. Gunter.
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '02), pages 298-303, Grenoble, France, October 2002. [BIB]
Micro Mobile Programs,
Carl A. Gunter.
IFIP World Computer Congress, Foundations of Information Technology in the Era of Network and Mobile Computing, pages 356-369, Montreal, Canada, August 2002. Invited paper.
Formal Verification of Standards for Distance Vector Routing Protocols,
Karthikeyan Bhargavan, Davor Obradovic, and Carl A. Gunter.
Journal of the ACM, 49(4): 538-576, July 2002.
Verisim: Formal Analysis of Network Simulations,
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan.
IEEE Transactions on Software Engineering, 28(2):129-145, February 2002.
2001
What Packets May Come: Automata for Network Monitoring,
Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, and Carl A. Gunter.
ACM Symposium on Principles of Programming Languages (POPL '01), pages 206-219, London, UK, January 2001.
Models and Languages for Digital Rights,
Carl A. Gunter, Stephen Weeks, and Andrew K Wright.
IEEE Hawaii International Conference on System Sciences (HICSS '01), Maui, Hawaii, January 2001.
2000
Abstracting Dependencies Between Software Configuration Items,
Carl A. Gunter.
Transactions on Software Engineering and Methodology, 9(1):94-131, 2000.
Certificate Distribution with Local Autonomy,
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, and Trevor Jim.
Springer, Second International Working Conference on Active Networks (IWAN '00), volume 1942 of Lecture Notes in Computer Science, pages 277-295, Tokyo, Japan, October 2000.
Policy Directed Certificate Retrieval,
Carl A. Gunter and Trevor Jim.
Software Practice and Experience, 30:1609-1640, September 2000.
Fault Origin Adjudication, Karthikeyan Bhargavan,
Carl A. Gunter, and Davor Obradovic.
ACM Formal Methods in Software Practice (FMSP '00), Portland, OR, August 2000.
Verisim: Formal Analysis of Network Simulations,
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan.
ACM International Symposium on Software Testing and Analysis (ISSTA '00), pages 2-13, Portland, OR, August 2000.
Routing Information Protocol in HOL/SPIN,
Karthikeyan Bhargavan, Carl A. Gunter, and Davor Obradovic.
Theorem Proving in Higher Order Logics (TPHOLs '00), volume 1869 of Springer Lecture Notes in Computer Science, pages 53-72, Portland, OR, August 2000.
Reasoning About Secrecy for Active Networks,
Carl A. Gunter, Pankaj Kakkar, and Martin Abadi.
IEEE Computer Security Foundations Workshop (CSFW '00), pages 118-131, Cambridge, England, July 2000.
A Reference Model for Requirements and Specifications,
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, and Pamela Zave.
IEEE International Conference on Requirements Engineering (ICRE '99), Schaumburg, IL, June 2000. Best paper award.
A Reference Model for Requirements and Specifications,
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, and Pamela Zave.
IEEE Software, 17(3) pages 37-43, May/June 2000.
Specification and Formal Verification of a PLAN Algorithm in Maude,
Bow-Yaw Wang, Jose Meseguer, and Carl A. Gunter.
IEEE Workshop on Distributed System Validation and Verification (ICDCS '00), pages E:49-E:56, April 2000.
Generalized Certificate Revocation,
Carl A. Gunter and Trevor Jim.
ACM Symposium on Principles of Programming Languages (POPL '00), pages 316-329, Boston, MA, January 2000.
1999
Specifying the PLAN Networking Programming Language,
Pankaj Kakkar, Michael Hicks, Jonathan T. Moore, and Carl A. Gunter.
Higher Order Operational Techniques in Semantics, volume 26 of Electronic Notes in Theoretical Computer Science, September 1999. Elsevier.
PLANet: An Active Internetwork,
Michael Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, and Scott Nettles.
IEEE Conference on Computer Communications (INFOCOM '99), pages 1124-1133, Boston, MA, March 1999.
1998
The SwitchWare Active Network Implementation,
D. Scott Alexander, Michael W. Hicks, Pankaj Kakkar, Angelos D. Keromytis, Marianne Shaw, Jonathan T. Moore, Carl A. Gunter, Trevor Jim, Scott M. Nettles, and Jonathan M. Smith.
ACM ML Workshop, Baltimore, Maryland, September 1998.
PLAN: A Packet Language for Active Networks,
Mike Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles.
ACM International Conference on Functional Programming Languages (ICFP '98), pages 86-93, Baltimore, Maryland, September 1998.
The Village Telephone System: A Case Study in Formal Software Engineering,
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, and Pamela Zave.
Theorem Proving Higher Order Logics (TPHOLs '98), volume 1479 of Lecture Notes in Computer Science, pages 49-66, Canberra, Australia, September 1998.
The SwitchWare Active Network Architecture, D. Scott Alexander, William A. Arbaugh, Michael Hicks, Pankaj Kakkar, Angelos Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles, and Jonathan M. Smith.
IEEE Network Magazine, 12(3):29-36, May/June 1998. Special issue on Active and Controllable Networks.
Network Programming Using PLAN,
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles.
Workshop on Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science, pages 127-143, Chicago, IL, May 1998.
1997
Active Network Encapsulation Protocol (ANEP),
D. Scott Alexander, Bob Braden, Carl A. Gunter, Alden W. Jackson, Angelos D. Keromytis, Gary J. Minden, and David Wetherall.
Active Networks RFC, July 1997.
The Common Order-Theoretic Structure of Version Spaces and ATMs,
Carl A. Gunter, Teow-Hin Ngair, and Devika Subramanian.
Artificial Intelligence Journal (AIJ), 95(2), pages 357-407, 1997.
Strategic Directions in Software Engineering and Programming Languages,
Carl A. Gunter, David Notkin, and John C. Mitchell.
ACM Computing Surveys, 28(4):726-737, December 1996.
1996
Sets as Antichains,
Carl A. Gunter, Teow-Hin Ngair, and Devika Subramanian.
Asian Computing Conference (ASIAN '96), Lecture Notes in Computer Science, pages 116-128, Singapore, December 1996.
Abstracting Dependencies Between Software Configuration Items,
Carl A. Gunter. ACM Symposium on the Foundations of Software Engineering (FSE '96),
pages 167-178, San Francisco, California, October 1996.
Reference Counting as a Computational Interpretation of Linear Logic,
Jawahar Chirimar, Carl A. Gunter, and Jon G. Riecke.
Journal of Functional Programming, 6(2):195-244, March 1996.
1995
A Generalization of Exceptions and Control in ML-Like Languages,
Carl A. Gunter, Didier Remy, and Jon G. Riecke.
ACM Conference on Functional Programming Languages and Computer Architecture (FPCA '95), pages 12-23, La Jolla, California, June 1995.
1994
Semantics of Types in Programming Languages,
Carl A. Gunter.
Oxford University Press Handbook of Logic in Theoretical Computer Science, Volume 3 Semantic Structures, pages 395-475, 1994.
Theoretical Aspects of Object-Oriented Programming: Types, Semantics and Language Design,
Carl A. Gunter and John C. Mitchell, editors.
The MIT Press, 1994.
1993
Forms of Semantic Specification,
Carl A. Gunter.
Current Trends in Theoretical Computer Science: Essays and Tutorials, World Scientific Series in Computer Science, pages 332-353, 1993.
Computing ML Equality Kinds Using Abstract Interpretation,
Carl A. Gunter, Elsa L. Gunter, and David B. MacQueen.
Information and Computation, 107(2):303-323, December 1993.
1992
Semantics of Programming Languages: Structures and Techniques,
Carl A. Gunter.
The MIT Press, 1992.
The Mixed Powerdomain,
Carl A. Gunter.
Theoretical Computer Science, 103(2):311-334, 1992.
Xpnet: A Graphical Interface of Proof Nets with an Efficient Proof Checker,
Jawahar Chirimar, Carl A. Gunter, and Myra VanInwegen.
Conference on Automated Deduction (CADE '92), volume 607 of Springer Lecture Notes in Artificial Intelligence, pages 711-715, Saratoga Springs, New York, June 1992.
Proving Memory Management Invariants for Language Based on Linear Logic,
Jawahar Chirimar, Carl A. Gunter, and Jon G. Riecke.
ACM Conference on Lisp and Functional Programming (LFP '92), pages 139-150, San Francisco, California, June 1992.
1991
An Abstract Interpretation for ML Equality Kinds,
Carl A. Gunter, Elsa L. Gunter, and David B. MacQueen.
Theoretical Aspects of Computer Software International Conference (TACS '91), volume 526 of Springer Lecture Notes in Computer Science, pages 112-130, Sendai, Japan, September 1991.
Inheritance as Implicit Coercion,
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov.
Information and Computation, 93(1):172-221, July 1991. Invited from LICS '89.
The Common Order-Theoretic Structure of Version Spaces and ATMS's,
Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, and Devika Subramanian.
AAAI Ninth National Conference on Artificial Intelligence (AAAI '91), volume 1, pages 500-505, Anaheim, California, July 1991.
1990
Semantic Domains,
Carl A. Gunter and Dana S. Scott.
Handbook of Theoretical Computer Science, pages 633-674, North-Holland, 1990.
Coherence and Consistency in Domains,
Carl A. Gunter and Achim Jung.
Journal of Pure and Applied Algebra, 63:49-66, 1990.
Normal Process Representatives,
Vijay Gehlot and Carl A. Gunter.
IEEE Symposium on Logic on Computer Science (LICS '90), pages 200-207, Philadelphia, Pennsylvania, June 1990.
Computing with Coercions,
Val Breazu-Tannen, Carl A. Gunter and Andre Scedrov.
ACM Conference on Lisp and Functional Programming (LFP '90), pages 44-60, Nice, France, June 1990.
Relating Partial and Total Correctness Interpretations of Nondeterministic Programs,
Carl A. Gunter.
ACM Symposium on Principles of Programming Languages (POPL '90), pages 306-319, San Francisco, California, January 1990.
1989
Nets as Tensor Theories,
Carl A. Gunter and Vijay Gehlot.
G. DeMichelis, editor, Applications of Petri Nets, pages 174-191, 1989.
Inheritance and Explicit Coercion,
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, and A. Scedrov.
IEEE Fourth Annual Symposium on Logic in Computer Science (LICS '89), pages 112-129, Pacific Grove, California, June 1989. [BIB]
Domain Theoretic Models of Polymorphism,
Thierry Coquand, Carl A. Gunter, and Glynn Winskel.
Information and Computation, 82(2):123-167, May 1989.
1988
Coherence and Consistency in Domains,
Carl A. Gunter and Achim Jung.
Logic in Computer Science (LICS '08), pages 309-317, Edinburgh, Scotland, July 1988.
Typed Functional Programming for the Rapid Development of Reliable Software, Val Breazu-Tannen, O. Peter Buneman, and Carl A. Gunter.
ACM Productivity: Progress, Prospects and Payoff, pages 115-125, Gaithersberg, Maryland, June 1988. [BIB]
1987
DI-domains as a Model of Polymorphism,
Thierry Coquand, Carl A. Gunter, and Glynn Winskel.
Mathematical Foundations of Programming Language Semantics (MFPS '87), volume 298 of Lecture Notes in Computer Science, pages 344-363, New Orleans, Louisiana, April 1987. Springer. [BIB]
Universal Profinite Domains,
Carl A. Gunter.
Information and Computation, 72:1-30, January 1987.
1986
The Largest First-Order Axiomatizable Cartesian Closed Category of Domains,
Carl A. Gunter.
IEEE Symposium on Logic on Computer Science (LICS '86), pages 142-148, Cambridge, Massachusetts, June 1986. [BIB]
1985
Profinite Solutions for Recursive Domain Equations,
Carl A. Gunter.
Doctoral Dissertation, University of Wisconsin at Madison, 1985.
A Universal Domain Technique for Profinite Posets,
Carl A. Gunter.
International Colloquium on Automata Languages and Programs (ICALP '85), volume 194 of Springer Lecture Notes in Computer Science, pages 232-243, Nafplion, Greece, July 1985.
Comparing Categories of Domains,
Carl A. Gunter.
Mathematical Foundations of Programming Semantics (MFPS '85), volume 239 of Springer Lecture Notes in Computer Science, pages 101-121, Manhattan, Kansas, April 1985.