| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Osman Yagan, Virgil D. Gligor |
Analysis of complex contagions in random multiplex networks  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor |
Two-server password-only authenticated key exchange.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chang-Han Jong, Virgil D. Gligor |
Private communication detection: a stochastic approach.  |
WISEC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Zhang, Zongwei Zhou, Geoffrey Hasker, Adrian Perrig, Virgil D. Gligor |
Network fault localization with small TCB.  |
ICNP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiffany Hyun-Jin Kim, Virgil D. Gligor, Adrian Perrig |
A Picture is Worth a Thousand Words: Improving Usability and Robustness of Online Recommendation Systems.  |
ICCCN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Jeannette M. Wing |
Towards a Theory of Trust in Networks of Humans and Computers.  |
Security Protocols Workshop  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Towards a Theory of Trust in Networks of Humans and Computers (Transcript of Discussion).  |
Security Protocols Workshop  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Editorial.  |
IEEE Trans. Dependable Sec. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan M. McCune, Yanlin Li, Ning Qu, Zongwei Zhou, Anupam Datta, Virgil D. Gligor, Adrian Perrig |
TrustVisor: Efficient TCB Reduction and Attestation.  |
IEEE Symposium on Security and Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Minimal TCB, Virtualization, Trusted Computing, TPM, Attestation, Integrity Measurement |
| 1 | Soo Bum Lee, Virgil D. Gligor, Adrian Perrig |
Dependable connection setup for network capabilities.  |
DSN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Architectures for practical security.  |
SACMAT  |
2010 |
DBLP DOI BibTeX RDF |
architectures |
| 1 | Soo Bum Lee, Virgil D. Gligor |
FLoc : Dependable Link Access for Legitimate Traffic in Flooding Attacks.  |
ICDCS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gelareh Taban, Virgil D. Gligor |
Privacy-Preserving Integrity-Assured Data Aggregation in Sensor Networks.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghita Mezzour, Adrian Perrig, Virgil D. Gligor, Panos Papadimitratos |
Privacy-Preserving Relationship Path Discovery in Social Networks.  |
CANS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, C. Sekar Chandersekaran |
Surviving Insider Attacks: A Call for System Experiments.  |
Insider Attack and Cyber Security  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Position Statement: On the Evolution of Adversary Models in Computer Systems and Networks.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxim Raya, Panagiotis Papadimitratos, Virgil D. Gligor, Jean-Pierre Hubaux |
On Data-Centric Trust Establishment in Ephemeral Ad Hoc Networks.  |
INFOCOM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Handling New Adversaries in Wireless Ad-Hoc Networks (Transcript of Discussion).  |
Security Protocols Workshop  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Farshad Bahari, Virgil D. Gligor |
Handling New Adversaries in Wireless Ad-Hoc Networks.  |
Security Protocols Workshop  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Jean-Pierre Hubaux, Radha Poovendran (eds.) |
Proceedings of the First ACM Conference on Wireless Network Security, WISEC 2008, Alexandria, VA, USA, March 31 - April 02, 2008  |
WISEC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Masayuki Abe, Virgil D. Gligor (eds.) |
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008  |
ASIACCS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gelareh Taban, Virgil D. Gligor |
Efficient Handling of Adversary Attacks in Aggregation Applications.  |
ESORICS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Sun Shin, Virgil D. Gligor |
A New Privacy-Enhanced Matchmaking Protocol.  |
NDSS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Farooq Anjum, S. Choi, Virgil D. Gligor, Ralf Guido Herrtwich, Jean-Pierre Hubaux, P. R. Kumar, Rajeev Shorey, Chin-Tau Lea |
Guest Editorial Vehicular Networks.  |
IEEE Journal on Selected Areas in Communications  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Luk, Ghita Mezzour, Adrian Perrig, Virgil D. Gligor |
MiniSec: a secure sensor network communication architecture.  |
IPSN  |
2007 |
DBLP DOI BibTeX RDF |
secure communication architecture, sensor network security |
| 1 | Virgil D. Gligor |
On the evolution of adversary models in security protocols: from the beginning to sensor networks.  |
ASIACCS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel (eds.) |
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007  |
FMSE  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, Thomas Haigh, Dick Kemmerer, Carl E. Landwehr, Steven B. Lipner, John D. McLean |
Information Assurance Technology Forecast 2005.  |
IEEE Security & Privacy  |
2006 |
DBLP DOI BibTeX RDF |
security, attack, information assurance |
| 1 | Gelareh Taban, Alvaro A. Cárdenas, Virgil D. Gligor |
Towards a secure and interoperable DRM architecture.  |
Digital Rights Management Workshop  |
2006 |
DBLP DOI BibTeX RDF |
interoperability, home networks, DRM |
| 1 | Levente Buttyán, Virgil D. Gligor, Dirk Westhoff (eds.) |
Security and Privacy in Ad-Hoc and Sensor Networks, Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers  |
ESAS  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Emergent properties in ad-hoc networks: a security perspective.  |
ASIACCS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Haowen Chan, Virgil D. Gligor, Adrian Perrig, Gautam Muralidharan |
On the Distribution and Revocation of Cryptographic Keys in Sensor Networks.  |
IEEE Trans. Dependable Sec. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
security, Sensor networks, distributed algorithms, key management, key distribution, revocation |
| 1 | Bryan Parno, Adrian Perrig, Virgil D. Gligor |
Distributed Detection of Node Replication Attacks in Sensor Networks.  |
IEEE Symposium on Security and Privacy  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Advances in sensor and ad-hoc network security: perspective and status.  |
SASN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rakeshbabu Bobba, Serban I. Gavrila, Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva |
Administering Access Control in Dynamic Coalitions.  |
LISA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Emergent properties in ad-hoc networks: a security perspective.  |
Workshop on Wireless Security  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Keynote: On the Security of Emergent Properties in Traditional and Ad-Hoc Networks.  |
MADNES  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Burmester, Virgil D. Gligor, Evangelos Kranakis, J. D. Tygar, Yuliang Zheng |
Panel: Authentication in Constrained Environments.  |
MADNES  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike).  |
Security Protocols Workshop  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Katz, Philip D. MacKenzie, Gelareh Taban, Virgil D. Gligor |
Two-Server Password-Only Authenticated Key Exchange.  |
ACNS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Himanshu Khurana, Virgil D. Gligor |
A Model for Access Negotiations in Dynamic Coalitions.  |
WETICE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Security of Emergent Properties in Ad-Hoc Networks (Transcript of Discussion).  |
Security Protocols Workshop  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Himanshu Khurana, Serban I. Gavrila, Rakeshbabu Bobba, Radostina K. Koleva, Anuja Sonalker, Emilian Dinu, Virgil D. Gligor, John S. Baras |
Integrated Security Services for Dynamic Coalitions.  |
DISCEX  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Guaranteeing Access in Spite of Distributed Service-Flooding Attacks (Discussion).  |
Security Protocols Workshop  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Guaranteeing Access in Spite of Distributed Service-Flooding Attacks.  |
Security Protocols Workshop  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Horvitz, Virgil D. Gligor |
Weak Key Authenticity and the Computational Completeness of Formal Encryption.  |
CRYPTO  |
2003 |
DBLP DOI BibTeX RDF |
Weak Key Authenticity, Authentication, Cryptography, Encryption, Completeness, Formal Reasoning |
| 1 | Agnes Hui Chan, Virgil D. Gligor (eds.) |
Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings  |
ISC  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Laurent Eschenauer, Virgil D. Gligor, John S. Baras |
On Trust Establishment in Mobile Ad-Hoc Networks.  |
Security Protocols Workshop  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Himanshu Khurana, Virgil D. Gligor, John Linn |
Reasoning about Joint Administration of Access Policies for Coalition Resources. (PDF / PS)  |
ICDCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Eschenauer, Virgil D. Gligor |
A key-management scheme for distributed sensor networks.  |
ACM Conference on Computer and Communications Security  |
2002 |
DBLP DOI BibTeX RDF |
sensor networks, key management, random graphs, probabilistic key sharing |
| 1 | Virgil D. Gligor, Pompiliu Donescu |
Fast Encryption and Authentication: XCBC Encryption and XECB Authentication Modes.  |
FSE  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor |
Non-Interference: Who Needs It? (PDF / PS)  |
CSFW  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Negotiation of Access Control Policies (Transcript of Discussion).  |
Security Protocols Workshop  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Himanshu Khurana, Radostina K. Koleva, Vijay G. Bharadwaj, John S. Baras |
On the Negotiation of Access Control Policies.  |
Security Protocols Workshop  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Crispin Cowan, Steve Beattie, Greg Kroah-Hartman, Calton Pu, Perry Wagle, Virgil D. Gligor |
SubDomain: Parsimonious Server Security.  |
LISA  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion).  |
Security Protocols Workshop  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Matt Blaze, John Ioannidis |
Denial of Service - Panel Discussion.  |
Security Protocols Workshop  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Himanshu Khurana, Virgil D. Gligor |
Review and Revocation of Access Privileges Distributed with PKI Certificates.  |
Security Protocols Workshop  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
20 Years of Operating Systems Security. (PDF / PS)  |
IEEE Symposium on Security and Privacy  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Pompiliu Donescu |
Integrity-Aware PCBC Encryption Schemes.  |
Security Protocols Workshop  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Serban I. Gavrila, David F. Ferraiolo |
On the Formal Definition of Separation-of-Duty Policies and their Composition.  |
IEEE Symposium on Security and Privacy  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Application-Oriented Security Policies and Their Composition (Transcript of Discussion).  |
Security Protocols Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Serban I. Gavrila |
Application-Oriented Security Policies and Their Composition (Position Paper).  |
Security Protocols Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson |
Panel Session - Future Directions.  |
Security Protocols Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Peter Landrock, T. Mark A. Lomas, Raphael Yahalom, John P. Warne |
Discussion Session: Differences Between Academic and Commercial Security.  |
Security Protocols Workshop  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiuh-Pyng Shieh, Virgil D. Gligor |
On a Pattern-Oriented Model for Intrusion Detection.  |
IEEE Trans. Knowl. Data Eng.  |
1997 |
DBLP DOI BibTeX RDF |
Access misuse, audit analysis, context-dependent intrusion, operational security problems, rule-based methods, intrusion detection, statistical methods, secure systems |
| 1 | Shiuh-Pyng Shieh, Virgil D. Gligor |
Detecting Illicit Leakage of Information in Operating Systems.  |
Journal of Computer Security  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor |
Characteristics of role-based access control.  |
ACM Workshop on Role-Based Access Control  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Shyh-Wei Luan, Joe Pato |
On Inter-Realm Authentication in Large Distributed Systems.  |
Journal of Computer Security  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Sarbari Gupta, Virgil D. Gligor |
Towards a Theory of Penetration-Resistant Systems and its Applications.  |
Journal of Computer Security  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jingsha He, Virgil D. Gligor |
Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code.  |
ESORICS  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiuh-Pyng Shieh, Virgil D. Gligor |
A Pattern-Oriented Intrusion-Detection Model and Its Applications.  |
IEEE Symposium on Security and Privacy  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rajashekar Kailar, Virgil D. Gligor |
On Belief Evolution in Authentication Protocols.  |
CSFW  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sarbari Gupta, Virgil D. Gligor |
Towards a Theory of Penetration-Resistant Systems and its Applications.  |
CSFW  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong |
Logics for Cryptographic Protocols - Virtues and Limitations.  |
CSFW  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
On the Identification of Covert Storage Channels in Secure Systems.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages |
| 1 | Che-Fn Yu, Virgil D. Gligor |
A Specification and Verification Method for Preventing Denial of Service.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
failure absence, integrity violations, user agreements, simultaneity conditions, denial-of-service prevention, formal specification, concurrent programs, security of data, specification method, verification method |
| 1 | Shyh-Wei Luan, Virgil D. Gligor |
A Fault-Tolerant Protocol for Atomic Broadcast.  |
IEEE Trans. Parallel Distrib. Syst.  |
1990 |
DBLP DOI BibTeX RDF |
delay of messages, fail-stop sites, Byzantine site behavior, majority-concensus decisions, decentralized termination protocol, performanceanalysis, performance evaluation, protocols, fault tolerant computing, network partitioning, duplication, reordering, atomic broadcast, loss, arbitrary network, fault-tolerant protocol |
| 1 | Shiuh-Pyng Shieh, Virgil D. Gligor |
Auditing the Use of Covert Storage Channels in Secure Systems.  |
IEEE Symposium on Security and Privacy  |
1990 |
DBLP BibTeX RDF |
|
| 1 | P.-C. Cheng, Virgil D. Gligor |
On the Formal Specification and Verification of a Multiparty Session Protocol.  |
IEEE Symposium on Security and Privacy  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jingsha He, Virgil D. Gligor |
Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems.  |
CSFW  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Shyh-Wei Luan, Virgil D. Gligor |
On Replay Detection in Distributed Systems.  |
ICDCS  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Shyh-Wei Luan, Virgil D. Gligor |
A Fault-Tolerant Protocol for Atomic Broadcast.  |
SRDS  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, C. Sekar Chandersekaran, Robert S. Chapman, Leslie J. Dotterer, Matthew S. Hecht, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, N. Vasudevan |
Design and Implementation of Secure Xenix.  |
IEEE Trans. Software Eng.  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, C. Sekar Chandersekaran, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich |
A New Security Testing Method and Its Application to the Secure Xenix Kernel.  |
IEEE Trans. Software Eng.  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
A Formal Method for the Identification of Covert Storage Channels in Source Code.  |
IEEE Symposium on Security and Privacy  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Shau-Ping Lo, Virgil D. Gligor |
Properties of Multiprocessor Scheduling Algorithms.  |
ICPP  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Shau-Ping Lo, Virgil D. Gligor |
A Comparative Analysis of Multiprocessor Scheduling Algorithms.  |
ICDCS  |
1987 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, Radu Popescu-Zeletin |
Transaction management in distributed heterogeneous database management systems.  |
Inf. Syst.  |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, E. L. Burch, C. Sekar Chandersekaran, Robert S. Chapman, Leslie J. Dotterer, Matthew S. Hecht, Wen-Der Jiang, Gary L. Luckenbaugh, N. Vasudevan |
On the Design and the Implementation of Secure Xenix Workstations.  |
IEEE Symposium on Security and Privacy  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, C. Sekar Chandersekaran, W. Cheng, Wen-Der Jiang, Abhai Johri, Gary L. Luckenbaugh, L. Edward Reich |
A New Security Testing Method and Its Application to the Secure Xenix Kernel.  |
IEEE Symposium on Security and Privacy  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor |
On Denial-of-Service in Computer Networks.  |
ICDE  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, Peter A. Ng |
Foreword.  |
IEEE Trans. Software Eng.  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
A Note on Denial-of-Service in Operating Systems.  |
IEEE Trans. Software Eng.  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Gary L. Luckenbaugh |
Inteconnecting Heterogeneous Database Management Systems.  |
IEEE Computer  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Radu Popescu-Zeletin |
Concurrency Control Issues in Distributed Heterogeneous Database Management Systems.  |
DDSS  |
1984 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor |
The verification of the protection mechanisms of high-level language machines.  |
International Journal of Parallel Programming  |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor |
A Note on the Denial-of-Service Problem.  |
IEEE Symposium on Security and Privacy  |
1983 |
DBLP BibTeX RDF |
|
| 1 | Virgil D. Gligor, David Maier |
Finding Augmented-Set Bases.  |
SIAM J. Comput.  |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Susan H. Shattuck |
On Deadlock Detection in Distributed Systems.  |
IEEE Trans. Software Eng.  |
1980 |
DBLP DOI BibTeX RDF |
|