Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Liviu-Virgil Ciortuz |
On Compilation of the Quick-Check Filter for Feature Structure Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPT ![In: Proceedings of the Seventh International Workshop on Parsing Technologies (IWPT-2001), 17-19 October 2001, Beijing, China, 2001, Tsinghua University Press, 7-302-04925-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz |
On Specialised Compilation of Parsing Rules in Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPT ![In: Proceedings of the Seventh International Workshop on Parsing Technologies (IWPT-2001), 17-19 October 2001, Beijing, China, 2001, Tsinghua University Press, 7-302-04925-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
22 | Virgil Ivaschescu |
Small sinusoidal vibrations amplitude measurements with the Michelson interferometer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 49(3), pp. 643-647, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Grigore Rosu |
Weak Inclusion Systems: Part Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 6(1), pp. 5-21, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Virgil L. P. Blake, Thomas T. Surprenant |
Navigating the Parallel Universe: Education for Collection Management in the Electronic Age. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Libr. Trends ![In: Libr. Trends 48(4), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
22 | Alessandro Bogliolo, Enrico Macii, Virgil Mihailovici, Massimo Poncino |
Power Models for Semi-autonomous RTL Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit Design, Power and Timing Modeling, Optimization and Simulation, 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000, Proceedings, pp. 14-23, 2000, Springer, 3-540-41068-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor |
Review and Revocation of Access Privileges Distributed with PKI Certificates (Transcript of Discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers, pp. 113-124, 2000, Springer, 3-540-42566-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Himanshu Khurana, Virgil D. Gligor |
Review and Revocation of Access Privileges Distributed with PKI Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers, pp. 100-112, 2000, Springer, 3-540-42566-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz |
Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000., pp. 85-98, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
22 | Virgil Andronache, Edwin Hsing-Mean Sha, Nelson L. Passos |
Design and analysis of efficient application-specific on-line page replacement techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 123-128, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Crispin Cowan, Steve Beattie, Greg Kroah-Hartman, Calton Pu, Perry Wagle, Virgil D. Gligor |
SubDomain: Parsimonious Server Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Proceedings of the 14th Conference on Systems Administration (LISA 2000), New Orleans, Louisiana, USA, December 3-8, 2000, pp. 355-368, 2000, USENIX. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
22 | Virgil P. Stokes, Håkan Lanshammar, Alf Thorstensson |
Dominant pattern extraction from 3-D kinematic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 46(1), pp. 100-106, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor, Pompiliu Donescu |
Integrity-Aware PCBC Encryption Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 7th International Workshop, Cambridge, UK, April 19-21, 1999, Proceedings, pp. 153-171, 1999, Springer, 3-540-67381-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Stephen Ruth, Jeffrey Theobald, Virgil Frizzell |
A university-based approach to the diffusion of knowledge management concepts and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCPR ![In: Proceedings of the ACM SIGCPR Conference on Computer Personnel Research, New Orleans, Louisiana, USA, April 8-10, 1999, pp. 283-290, 1999, ACM, 1-58113-063-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
chief knowledge officer, diffusion of IT practice, knowledge codification and classification, trust-based organizations, knowledge management, knowledge transfer, knowledge generation, corporate strategy |
22 | Virgil D. Gligor |
20 Years of Operating Systems Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1999 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 9-12, 1999, pp. 108-110, 1999, IEEE Computer Society, 0-7695-0176-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Virgil P. Stokes, Peter Händel |
Comments on "On amplitude and frequency demodulation using energy operators". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 46(2), pp. 506-507, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Moise Cocan, Virgil Proscanu |
The special degree of a node in a graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Cuza Univ. ![In: Sci. Ann. Cuza Univ. 8, pp. 44-52, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Virgil D. Gligor, Peter Landrock, T. Mark A. Lomas, Raphael Yahalom, John P. Warne |
Discussion Session: Differences Between Academic and Commercial Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings, pp. 177-192, 1998, Springer, 3-540-65663-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Roger M. Needham, E. Stewart Lee, Joan Feigenbaum, Virgil D. Gligor, Bruce Christianson |
Panel Session - Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings, pp. 227-239, 1998, Springer, 3-540-65663-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor |
Application-Oriented Security Policies and Their Composition (Transcript of Discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings, pp. 75-82, 1998, Springer, 3-540-65663-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor, Serban I. Gavrila |
Application-Oriented Security Policies and Their Composition (Position Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 6th International Workshop, Cambridge, UK, April 15-17, 1998, Proceedings, pp. 67-74, 1998, Springer, 3-540-65663-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz |
DF - a feature constraint system and its extension to a logic concurrent language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France, pp. 215-230, 1998, Hermes, 2-86601-691-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
22 | Virgil D. Gligor, Serban I. Gavrila, David F. Ferraiolo |
On the Formal Definition of Separation-of-Duty Policies and their Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Security and Privacy - 1998 IEEE Symposium on Security and Privacy, Oakland, CA, USA, May 3-6, 1998, Proceedings, pp. 172-183, 1998, IEEE Computer Society, 0-8186-8386-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Matthew B. Dwyer, Virgil Wallentine |
A Framework for Parallel Adaptive Grid Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Pract. Exp. ![In: Concurr. Pract. Exp. 9(11), pp. 1293-1310, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Grigore Rosu |
Weak Inclusion Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 7(2), pp. 195-206, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Shiuh-Pyng Shieh, Virgil D. Gligor |
On a Pattern-Oriented Model for Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(4), pp. 661-667, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Access misuse, audit analysis, context-dependent intrusion, operational security problems, rule-based methods, intrusion detection, statistical methods, secure systems |
22 | Virgil Emil Cazanescu |
The Structure of the Basic Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Formal Languages ![In: New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday), pp. 422-429, 1997, Springer, 3-540-62844-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Matthew B. Dwyer, Virgil Wallentine |
Object-Oriented Coordination Abstractions for Parallel Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, pp. 1034-1043, 1997, CSREA Press, 0-9648666-8-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
22 | Douglas Herrmann, Virgil Sheets, Justine Wells, Carol Yoder |
Palmtop Computerized Reminding Devices: The Effectiveness of the Temporal Properties of Warning Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 10(3), pp. 289-302, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Domocos |
A combinatorial method for the enumeration of column-convex polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 152(1-3), pp. 115-123, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Domocos |
Minimal coverings of uniform hypergraphs and P-recursiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 159(1-3), pp. 265-271, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Serban N. Buzeteanu, Virgil Domocos |
Polynomial identities from weighted lattice path counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 150(1-3), pp. 421-425, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Shiuh-Pyng Shieh, Virgil D. Gligor |
Detecting Illicit Leakage of Information in Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 4(2/3), pp. 123-148, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Domocos, Serban N. Buzeteanu |
The generating function of irreducible coverings by edges of complete k-partite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 147(1-3), pp. 287-292, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz |
DF Constraint System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCP ![In: First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995., pp. 11:1-11:18, 1995, INRIA Rocquencourt. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz, Mihaela Juganaru |
Towords a Constraint-based Implementation of F-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Deductive Databases / Abduction in Deductive Databases ![In: Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995, pp. 97-109, 1995, Gesellschaft für Mathematik und Datenverarbeitung MbH, 3-88457-266-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
22 | Andrew Berman, Virgil Bourassa, Erik Selberg |
TRON: Process-Specific File Protection for the UNIX Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX ![In: USENIX 1995 Technical Conference on UNIX and Advanced Computing Systems, New Orleans, Louisiana, USA, January 16-20, 1995, Conference Proceedings, pp. 165-175, 1995, USENIX Association, 1-880446-67-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
22 | Virgil D. Gligor |
Characteristics of role-based access control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Workshop on Role-Based Access Control ![In: Proceedings of the First ACM Workshop on Role-Based Access Control, RBAC 1995, Gaithersburg, MD, USA, November 30 - December 2, 1995, 1995, ACM, 0-89791-759-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Diodato |
User Preferences for Features in Back of Book Indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 45(7), pp. 529-536, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Gheorghe Stefanescu |
Classes of finite relations as initial abstract data types - II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 126(1-3), pp. 47-65, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Domocos, William R. Schmitt |
An application of linear species. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 132(1-3), pp. 377-381, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Gheorghe Stefanescu |
Feedback, Iteration, and Repetition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Aspects of Natural and Formal Languages ![In: Mathematical Aspects of Natural and Formal Languages, pp. 43-61, 1994, World Scientific, 978-981-02-1914-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | J. E. Butler, Virgil Wallentine |
A Performance Study of the RPE Mechanism for PDES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31 - February 2, 1994, Durham, North Carolina, USA, pp. 214-220, 1994, IEEE Computer Society, 0-8186-5292-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz |
Object-Oriented Inferences in a Logical Framework for Feature Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference and Applications, Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994, Proceedings, pp. 45-56, 1994, Springer, 3-540-58473-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz, Mirela Petrea |
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, Norges, 1994, Tekniske Høgskole, University of Trondheim, Trondheim, Norway. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Virgil Diodato, Fran Smith |
Obsolescence of Music Literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 44(2), pp. 101-112, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Domocos, Florentina Hristea |
A codification of column-convex polyominoes which generates a regular language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 50, pp. 197-208, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Virgil Domocos |
The generating function of completely bracketed expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 51, pp. 202-211, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Virgil Domocos |
The generating function of completely bracketed expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 49, pp. 202-211, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Liviu-Virgil Ciortuz |
Logic Programming with Built-in Object-Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Cuza Univ. ![In: Sci. Ann. Cuza Univ. 2, pp. 73-92, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Virgil Diodato, Georgianna Henry |
The rates of assignment of narrower terms in the Thesaurus of ERIC Descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. ![In: J. Inf. Sci. 19(2), pp. 137-141, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato |
On Inter-Realm Authentication in Large Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 2(2-3), pp. 137-158, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu |
Local Equational Logic II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, At the Crossroads of Mathematics, Computer Science and Biology, Turku, Finland, 12-15 July 1993, pp. 210-221, 1993, World Scientific, Singapore. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Virgil Emil Cazanescu |
Local Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings, pp. 162-170, 1993, Springer, 3-540-57163-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Stuart G. Stubblebine, Virgil D. Gligor |
Protocol design for integrity protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1993 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 24-26, 1993, pp. 41-53, 1993, IEEE Computer Society, 0-8186-3370-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Rodica Ceterchi |
Initial and Final Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 10(3), pp. 199-215, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Charles J. Fleckenstein, Helen Gill, David Hemmendinger, Carolyn McCreary, John D. McGregor, Roy P. Pargas, Arthur M. Riehl, Virgil Wallentine |
Multiprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. ![In: Adv. Comput. 35, pp. 255-324, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Gheorghe Stefanescu |
A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 99(1), pp. 1-63, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Bardan |
Migration and dip-moveout seismic processes expressed as an invariant two-dimensional convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Imaging Syst. Technol. ![In: Int. J. Imaging Syst. Technol. 4(2), pp. 69-79, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Sarbari Gupta, Virgil D. Gligor |
Towards a Theory of Penetration-Resistant Systems and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 1(2), pp. 133-158, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Jagan P. Agrawal, Vijay Kumar, Virgil Wallentine (eds.) |
Proceedings of the ACM 20th Annual Conference on Computer Science, CSC '92, Kansas City, MO, USA, March 3-5, 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![ACM, 0-89791-472-4 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
22 | Jingsha He, Virgil D. Gligor |
Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings, pp. 57-76, 1992, Springer, 3-540-56246-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor, Shyh-Wei Luan, Joseph N. Pato |
On inter-realm authentication in large distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992, pp. 2-17, 1992, IEEE Computer Society, 0-8186-2825-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Stuart G. Stubblebine, Virgil D. Gligor |
On message integrity in cryptographic protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992, pp. 85-104, 1992, IEEE Computer Society, 0-8186-2825-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | C. J. Testa, B. D. Wilner, Virgil D. Gligor |
Trusted RUBIX architecture and policy model interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Eighth Annual Computer Security Applications Conference, ACSAC 1992, November 30 - December 4, 1992, San Antonio, Texas, USA, pp. 97-110, 1992, IEEE. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Diodato, Gretchen Gandt |
Back of book indexes and the characteristics of author and nonauthor indexing: Report of an exploratory study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Soc. Inf. Sci. ![In: J. Am. Soc. Inf. Sci. 42(5), pp. 341-350, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Marilyn M. Levine, Virgil Diodato |
Book production: Patterns and predictors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 27(5), pp. 559-573, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Mehmet Yanilmaz, Virgil Eveleigh |
Numerical device modeling for electronic circuit simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(3), pp. 366-375, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Georgianna Henry, Virgil Diodato |
The rates of Assignment of Thesaurus Terms in the Eric Information Retrieval System: an Analysis of Hierarchies and Levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Documentation ![In: J. Documentation 47(3), pp. 276-283, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Gheorghe Stefanescu |
Classes of finite relations as initial abstract data types I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 90(3), pp. 233-265, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor, Rajashekar Kailar, Stuart G. Stubblebine, Li Gong |
Logics for Cryptographic Protocols - Virtues and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 4th IEEE Computer Security Foundations Workshop - CSFW'91, Franconia, New Hampshire, USA, June 18-20, 1991, Proceedings, pp. 219-226, 1991, IEEE Computer Society, 0-8186-2215-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Rajashekar Kailar, Virgil D. Gligor |
On Belief Evolution in Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 4th IEEE Computer Security Foundations Workshop - CSFW'91, Franconia, New Hampshire, USA, June 18-20, 1991, Proceedings, pp. 103-116, 1991, IEEE Computer Society, 0-8186-2215-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Sarbari Gupta, Virgil D. Gligor |
Towards a Theory of Penetration-Resistant Systems and its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 4th IEEE Computer Security Foundations Workshop - CSFW'91, Franconia, New Hampshire, USA, June 18-20, 1991, Proceedings, pp. 62-78, 1991, IEEE Computer Society, 0-8186-2215-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Shiuh-Pyng Shieh, Virgil D. Gligor |
A Pattern-Oriented Intrusion-Detection Model and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1991 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 20-22, 1991, pp. 327-342, 1991, IEEE Computer Society, 0-8186-2168-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu, Gheorghe Stefanescu |
A note on axiomatizing flowchart schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 9(4), pp. 349-359, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
22 | Shyh-Wei Luan, Virgil D. Gligor |
A Fault-Tolerant Protocol for Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(3), pp. 271-285, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
22 | Che-Fn Yu, Virgil D. Gligor |
A Specification and Verification Method for Preventing Denial of Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 581-592, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
22 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
On the Identification of Covert Storage Channels in Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 569-580, 1990. The full citation details ...](Pics/full.jpeg) |
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 |
22 | Virgil L. P. Blake, Thomas T. Surprenant |
Electronic Immigrants in the Information Age: Public Policy Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 7(3), pp. 233-244, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Jingsha He, Virgil D. Gligor |
Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Third IEEE Computer Security Foundations Workshop - CSFW'90, Franconia, New Hampshire, USA, June 12-14, 1990, Proceedings, pp. 139-149, 1990, IEEE Computer Society, 0-8186-2071-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Shyh-Wei Luan, Virgil D. Gligor |
On Replay Detection in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28 - June 1, 1990, Paris, France, pp. 188-195, 1990, IEEE Computer Society, 0-8186-2048-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Pau-Chen Cheng, Virgil D. Gligor |
On the Formal Specification and Verification of a Multiparty Session Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1990 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 7-9, 1990, pp. 216-233, 1990, IEEE Computer Society, 0-8186-2060-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Shiuh-Pyng Shieh, Virgil D. Gligor |
Auditing the Use of Covert Storage Channels in Secure Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1990 IEEE Symposium on Security and Privacy, Oakland, California, USA, May 7-9, 1990, pp. 285-295, 1990, IEEE Computer Society, 0-8186-2060-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Bardan |
Sampling 3-D seismic data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Imaging Syst. Technol. ![In: Int. J. Imaging Syst. Technol. 1(1), pp. 73-77, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Wan-Hong S. Cheng, Virgil Wallentine |
DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 32(9), pp. 1079-1084, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Wan-Hong S. Cheng, Virgil Wallentine |
DEBL: A Knowledge-Based Language for Specifying and Debugging Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 70-77, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Mohammed M. Aman, Wilfred W. Fong, Virgil Diodato |
The Use of LAN in Improving Management and Services in an Academic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essen Symposium ![In: Developments in Microcomputing: Discovering New Opportunities for Libraries in the 1990s. 12th International Essen Symposium., pp. 71-84, 1989, Universitäsbibliothek Essen, 3-922602-13-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
22 | Dean M. Young, Danny W. Turner, Virgil R. Marco |
On the robustness of the equal-mean discrimination rule with uniform covariance structure against serially correlated training data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 21(2), pp. 189-194, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Virgil R. Marco, Dean M. Young, Danny W. Turner |
Predictive discrimination for autoregressive processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 7(3), pp. 145-149, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Che-Fu Yu, Virgil D. Gligor |
A formal specification and verification method for the prevention of denial of service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1988 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 18-21, 1988, pp. 187-202, 1988, IEEE Computer Society, 0-8186-0850-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Chii-Ren Tsai, Virgil D. Gligor |
A bandwidth computation model for covert storage channels and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1988 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 18-21, 1988, pp. 108-121, 1988, IEEE Computer Society, 0-8186-0850-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Shyh-Wei Luan, Virgil D. Gligor |
A Fault-Tolerant Protocol for Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: Seventh Symposium on Reliable Distributed Systems, SRDS 1988, Columbus, Ohio, USA, October 10-12, 1988, Proceedings, pp. 112-126, 1988, IEEE Computer Society, 0-8186-0875-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 13(2), pp. 208-221, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 13(2), pp. 169-183, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Shau-Ping Lo, Virgil D. Gligor |
A Comparative Analysis of Multiprocessor Scheduling Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 7th International Conference on Distributed Computing Systems, Berlin, Germany, September 1987, pp. 356-363, 1987, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
22 | Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran |
A Formal Method for the Identification of Covert Storage Channels in Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1987 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 27-29, 1987, pp. 74-87, 1987, IEEE Computer Society, 0-8186-0771-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Shau-Ping Lo, Virgil D. Gligor |
Properties of Multiprocessor Scheduling Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: International Conference on Parallel Processing, ICPP'87, University Park, PA, USA, August 1987., pp. 867-870, 1987, Pennsylvania State University Press. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
22 | Virgil D. Gligor, Radu Popescu-Zeletin |
Transaction management in distributed heterogeneous database management systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 11(4), pp. 287-297, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Virgil D. Gligor |
On Denial-of-Service in Computer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA, pp. 608-617, 1986, IEEE Computer Society, 0-8186-0655-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Virgil Emil Cazanescu |
Iterative Systems of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings, pp. 239-246, 1986, Springer, 3-540-16783-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|