Karl N. Levitt

129 papers A* 8A 17B 6C 15Journal 31Unranked 51
YearRankTypeTitle / Venue / Authors
2024 — conf
Conceptual modeling to advance agrifood cybersecurity ontologies.
JOWO
Richard Hull, Matt Bishop, Joseph Gendreau, Karl N. Levitt, Mohammad Sadoghi, Matthew Lange
2022 C conf
Autonomous Vehicle Security: Composing Attack, Defense, and Policy Surfaces.
NSPW
Michael Clifford, Miriam Heller, Karl N. Levitt, Matt Bishop
2022 J jnl
Explaining RADAR features for detecting spoofing attacks in Connected Autonomous Vehicles.
CoRR
Nidhi Rastogi, Sara Rampazzi, Michael Clifford, Miriam Heller, Matt Bishop, Karl N. Levitt
2018 C conf
Augmenting Machine Learning with Argumentation.
NSPW
Matt Bishop, Carrie Gates, Karl N. Levitt
2016 — conf
Automated cross layer feature selection for effective intrusion detection in networked systems.
CNS
Azeem Aqil, Ahmed Osama Fathy Atya, Srikanth V. Krishnamurthy, Paul L. Yu, Ananthram Swami, Jeff Rowe, Karl N. Levitt, Alexander Poylisher, Constantin Serban, Ritu Chadha
2016 B conf
Cost sensitive moving target consensus.
NCA
Sisi Duan, Yun Li, Karl N. Levitt
2016 J jnl
Firewall configuration: An application of multiagent metalevel argumentation.
Argument Comput.
Andy Applebaum, Zimi Li, Karl N. Levitt, Simon Parsons, Jeff Rowe, Elizabeth I. Sklar
2016 — conf
Is Anybody Home? Inferring Activity From Smart Home Network Traffic.
IEEE Symposium on Security and Privacy Workshops
Bogdan Copos, Karl N. Levitt, Matt Bishop, Jeff Rowe
2016 — conf
Mapping sample scenarios to operational models.
MILCOM
Z. Berkay Celik, Nan Hu, Yun Li, Nicolas Papernot, Patrick D. McDaniel, Robert J. Walls, Jeff Rowe, Karl N. Levitt, Novella Bartolini, Thomas F. La Porta, Ritu Chadha
2016 — conf
Privacy-preserving coordination for smart communities.
INFOCOM Workshops
Parisa Kianmajd, Jeff Rowe, Karl N. Levitt
2016 — conf
Security and Privacy for Emerging Smart Community Infrastructures.
IoTBD
Bogdan Copos, Karl N. Levitt, Jeff Rowe, Parisa Kianmajd, Chen-Nee Chuah, George Kesidis
2015 — conf
A diagnosis based intrusion detection approach.
MILCOM
Conner Jackson, Karl N. Levitt, Jeff Rowe, Srikanth V. Krishnamurthy, Trent Jaeger, Ananthram Swami
2015 — conf
Cyber reasoning with argumentation: Abstracting from incomplete and contradictory evidence.
MILCOM
Andy Applebaum, Karl N. Levitt, Zimi Li, Simon Parsons, Jeff Rowe, Elizabeth Sklar
2015 — conf
Detection of stealthy TCP-based DoS attacks.
MILCOM
Azeem Aqil, Ahmed Osama Fathy Atya, Trent Jaeger, Srikanth V. Krishnamurthy, Karl N. Levitt, Patrick D. McDaniel, Jeff Rowe, Ananthram Swami
2015 J jnl
Generation bidding game with potentially false attestation of flexible demand.
EURASIP J. Adv. Signal Process.
Yuquan Shan, Jayaram Raghuram, George Kesidis, David J. Miller, Anna Scaglione, Jeff Rowe, Karl N. Levitt
2015 J jnl
Security vulnerabilities of connected vehicle streams and their impact on cooperative driving.
IEEE Commun. Mag.
Mani Amoozadeh, Arun Raghuramu, Chen-Nee Chuah, Dipak Ghosal, H. Michael Zhang, Jeff Rowe, Karl N. Levitt
2015 J jnl
hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost.
IEEE Trans. Dependable Secur. Comput.
Sisi Duan, Sean Peisert, Karl N. Levitt
2014 — conf
A Bidding Game for Generators in the Presence of Flexible Demand.
Feedback Computing
Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione
2014 J jnl
Argument schemes for reasoning about trust.
Argument Comput.
Simon Parsons, Katie Atkinson, Zimi Li, Peter McBurney, Elizabeth Sklar, Munindar P. Singh, Karen Zita Haigh, Karl N. Levitt, Jeff Rowe
2014 B conf
ByzID: Byzantine Fault Tolerance from Intrusion Detection.
SRDS
Sisi Duan, Karl N. Levitt, Hein Meling, Sean Peisert, Haibin Zhang
2014 J jnl
Generation bidding game with flexible demand.
CoRR
Yuquan Shan, Jayaram Raghuram, George Kesidis, Christopher Griffin, Karl N. Levitt, David J. Miller, Jeff Rowe, Anna Scaglione
2014 J jnl
Scalable and Anonymous Modeling of Large Populations of Flexible Appliances.
CoRR
Mahnoosh Alizadeh, Anna Scaglione, Andy Applebaum, George Kesidis, Karl N. Levitt
2013 — conf
An Argumentation-Based Approach to Handling Trust in Distributed Decision Making.
AAAI Spring Symposium: Trust and Autonomous Systems
Simon Parsons, Elizabeth Sklar, Munindar P. Singh, Karl N. Levitt, Jeff Rowe
2013 C conf
Towards the realization of a public health system for shared secure cyber-space.
NSPW
Jeff Rowe, Karl N. Levitt, Mike Hogarth
2012 C conf
Arguing About Firewall Policy.
COMMA
Andy Applebaum, Karl N. Levitt, Jeff Rowe, Simon Parsons
2012 C conf
Argument Schemes for Reasoning about Trust.
COMMA
Simon Parsons, Katie Atkinson, Karen Zita Haigh, Karl N. Levitt, Peter McBurney, Jeff Rowe, Munindar P. Singh, Elizabeth Sklar
2012 C conf
Argumentation logic to assist in security administration.
NSPW
Jeff Rowe, Karl N. Levitt, Simon Parsons, Elizabeth Sklar, Andy Applebaum, Sharmin Jalal
2011 B conf
Design and Implementation of FAITH, An Experimental System to Intercept and Manipulate Online Social Informatics.
ASONAM
Ruaylong Lee, Roozbeh Nia, Jason Hsu, Karl N. Levitt, Jeff Rowe, Shyhtsun Felix Wu, Shaozhi Ye
2008 — conf
A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols.
SECURWARE
Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu
2008 A conf
Optimal Cost, Collaborative, and Distributed Response to Zero-Day Worms - A Control Theoretic Approach.
RAID
Senthilkumar G. Cheetancheri, John Mark Agosta, Karl N. Levitt, Shyhtsun Felix Wu, Jeff Rowe
2008 — conf
Using Soft-Line Recursive Response to Improve Query Aggregation in Wireless Sensor Networks.
ICC
Xiaoming Lu, Matt Spear, Karl N. Levitt, Norman S. Matloff, Shyhtsun Felix Wu
2008 A* conf
iBubble: Multi-Keyword Routing Protocol for Heterogeneous Wireless Sensor Networks.
INFOCOM
Xiaoming Lu, Matt Spear, Karl N. Levitt, Shyhtsun Felix Wu
2007 A conf
A framework for diversifying windows native APIs to tolerate code injection attacks.
AsiaCCS
Lynette Qu Nguyen, Tufan Demir, Jeff Rowe, Francis Hsu, Karl N. Levitt
2007 A conf
Cost-Sensitive Intrusion Responses for Mobile Ad Hoc Networks.
RAID
Shiau-Huey Wang, Chinyang Henry Tseng, Karl N. Levitt, Matt Bishop
2007 A conf
DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET.
AsiaCCS
Chinyang Henry Tseng, Shiau-Huey Wang, Karl N. Levitt
2007 A* conf
Trusted Hardware: Can It Be Trustworthy?
DAC
Cynthia E. Irvine, Karl N. Levitt
2006 — conf
A distributed host-based worm detection system.
LSAD@SIGCOMM
Senthilkumar G. Cheetancheri, John Mark Agosta, Denver Dash, Karl N. Levitt, Jeff Rowe, Eve M. Schooler
2006 A conf
DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET.
RAID
Chinyang Henry Tseng, Shiau-Huey Wang, Calvin Ko, Karl N. Levitt
2006 C conf
Sanitization models and their limitations.
NSPW
Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt
2006 C conf
Some Problems in Sanitizing Network Data.
WETICE
Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt
2006 C conf
Towards a framework for worm-defense evaluation.
IPCCC
Senthilkumar G. Cheetancheri, Denys L. Ma, Karl N. Levitt, Todd L. Heberlein
2006 B conf
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs.
DIMVA
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl N. Levitt, Matt Bishop
2005 — conf
A General Cooperative Intrusion Detection Architecture for MANETs.
IWIA
Daniel F. Sterne, Poornima Balasubramanyam, David Carman, Brett Wilson, Rajesh Talpade, Calvin Ko, Ravindra Balupari, Chinyang Henry Tseng, Thomas F. Bowen, Karl N. Levitt, Jeff Rowe
2005 — conf
A Network-Based Response Framework and Implementation.
IWAN
Marcus Tylutki, Karl N. Levitt
2005 A conf
A Specification-Based Intrusion Detection Model for OLSR.
RAID
Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt
2005 — conf
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks.
Formal Aspects in Security and Trust
Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt
2004 — conf
A hybrid quarantine defense.
WORM
Phillip A. Porras, Linda Briesemeister, Keith Skinner, Karl N. Levitt, Jeff Rowe, Yu-Cheng Allen Ting
2004 — conf
Buttercup: on network-based detection of polymorphic buffer overflow vulnerabilities.
NOMS (1)
Archana Pasupulati, Jason Coit, Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, J. C. Kuo, K. P. Fan
2004 J jnl
Cyber defense technology networking and evaluation.
Commun. ACM
Ruzena Bajcsy, Terry Benzel, Matt Bishop, Robert Braden, Carla E. Brodley, Sonia Fahmy, Sally Floyd, Wes Hardaker, Anthony D. Joseph, George Kesidis, Karl N. Levitt, Robert Lindell, Peng Liu, David J. Miller, Russ Mundy, Clifford Neuman, Ron Ostrenga, Vern Paxson, Phillip A. Porras, Catherine Rosenberg, J. Doug Tygar, Shankar Sastry, Daniel F. Sterne, Shyhtsun Felix Wu
2004 A conf
Formal Reasoning About Intrusion Detection Systems.
RAID
Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt
2004 C conf
How to Sanitize Data.
WETICE
Matt Bishop, Bhume Bhumiratana, Rick Crawford, Karl N. Levitt
2003 — conf
A specification-based intrusion detection system for AODV.
SASN
Chinyang Henry Tseng, Poornima Balasubramanyam, Calvin Ko, Rattapon Limprasittiporn, Jeff Rowe, Karl N. Levitt
2003 A conf
Automated Analysis for Digital Forensic Science: Semantic Integrity Checking.
ACSAC
Tye Stallard, Karl N. Levitt
2003 — conf
Cooperative Response Strategies for Large Scale Attack Mitigation.
DISCEX (1)
D. Nojiri, Jeff Rowe, Karl N. Levitt
2003 C conf
Immune System Model for Detecting Web Server Attacks.
ICMLA
Melissa Danforth, Karl N. Levitt
2003 A conf
Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller.
RAID
Marcus Tylutki, Karl N. Levitt
2003 — conf
System Health and Intrusion Monitoring (SHIM): Project Summary.
DISCEX (2)
Calvin Ko, Karl N. Levitt
2003 A conf
Using Specification-Based Intrusion Detection for Automated Response.
RAID
Ivan Balepin, Sergei Maltsev, Jeff Rowe, Karl N. Levitt
2002 A conf
Detecting and Defending against Web-Server Fingerprinting.
ACSAC
Dustin Lee, Jeff Rowe, Calvin Ko, Karl N. Levitt
2002 A conf
Intrusion Detection: Current Capabilities and Future Directions.
ACSAC
Karl N. Levitt
2002 A conf
Learning Unknown Attacks - A Start.
RAID
James E. Just, James C. Reynolds, Larry A. Clough, Melissa Danforth, Karl N. Levitt, Ryan Maglich, Jeff Rowe
2002 A conf
The Design and Implementation of an Intrusion Tolerant System.
DSN
James C. Reynolds, James E. Just, Ed Lawson, Larry A. Clough, Ryan Maglich, Karl N. Levitt
2001 — conf
System Health and Intrusion Monitoring Using a Hierarchy of Constraints.
Recent Advances in Intrusion Detection
Calvin Ko, Paul Brutch, Jeff Rowe, Guy Tsafnat, Karl N. Levitt
2000 A conf
A Formal-Specification Based Approach for Protecting the Domain Name System.
DSN
Steven Cheung, Karl N. Levitt
2000 B conf
Discovery of Multi-Level Security Policies.
DBSec
Christina Yip Chung, Michael Gertz, Karl N. Levitt
2000 J jnl
Intrusion detection inter-component adaptive negotiation.
Comput. Networks
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
1999 — conf
DEMIDS: A Misuse Detection System for Database Systems.
IICIS
Christina Yip Chung, Michael Gertz, Karl N. Levitt
1999 J jnl
Formal Verification of a Programming Logic for a Distributed Programming Language.
Theor. Comput. Sci.
Cui Zhang, Ronald A. Olsson, Karl N. Levitt
1999 — conf
Intrusion Detection Inter-component Adaptive Negotiation.
Recent Advances in Intrusion Detection
Richard J. Feiertag, Stuart Staniford-Chen, Karl N. Levitt, Mark R. Heckman, Dave Peticolas, Rick Crawford, Lee A. Benzinger, Sue Rho, Stephen Wu
1999 J jnl
LVT: A Layered Verification Technique for Distributed Computing Systems.
Softw. Test. Verification Reliab.
Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
1999 — conf
Misuse Detection in Database Systems Through User Profiling.
Recent Advances in Intrusion Detection
Christina Yip Chung, Michael Gertz, Karl N. Levitt
1998 — conf
Applying the Composition Principle to Verify a Hierarchy of Security Servers.
HICSS (3)
Mark R. Heckman, Karl N. Levitt
1998 — conf
Data Level Inference Detection in Database Systems.
CSFW
Raymond W. Yip, Karl N. Levitt
1998 J jnl
Security Policy Specification Using a Graphical Approach
CoRR
James A. Hoagland, Raju Pandey, Karl N. Levitt
1998 B conf
The Design and Implementation of a Data Level Database Inference Detection System.
DBSec
Raymond W. Yip, Karl N. Levitt
1997 — conf
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.
S&P
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt
1997 C conf
Protecting routing infrastructures from denial of service using cooperative intrusion detection.
NSPW
Steven Cheung, Karl N. Levitt
1997 J jnl
Validation of Array Accesses: Integration of Flow Analysis and Program Verification Techniques.
Softw. Test. Verification Reliab.
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
1997 — conf
Verification of a Distributed Computing.
HICSS (5)
Cui Zhang, Brian R. Becker, Dave Peticolas, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
1996 A* conf
NetKuang - A Multi-Host Configuration Vulnerability Checker.
USENIX Security Symposium
Dan Zerkle, Karl N. Levitt
1996 — conf
Towards Applying the Composition Principle to Verify a Microkernel Operating System.
TPHOLs
Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
1995 — conf
A Hierarchical Method for Reasoning about Distributed Programming Languages.
TPHOLs
Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson
1995 J jnl
MCF: a malicious code filter.
Comput. Secur.
Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson
1994 A conf
Automated detection of vulnerabilities in privileged programs by execution monitoring.
ACSAC
Calvin Ko, George Fink, Karl N. Levitt
1994 J jnl
Network intrusion detection.
IEEE Netw.
Biswanath Mukherjee, Todd L. Heberlein, Karl N. Levitt
1994 A conf
Property-based testing of privileged programs.
ACSAC
George Fink, Karl N. Levitt
1993 A* conf
Analysis of an Algorithm for Distributed Recognition and Accountability.
CCS
Calvin Ko, Deborah A. Frincke, Terrance Goan, Todd L. Heberlein, Karl N. Levitt, Biswanath Mukherjee, Christopher Wee
1993 — conf
Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.
HUG
Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson
1993 — conf
Report on the UCD Microcoded Viper Verification Project.
HUG
Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley
1992 — conf
A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language.
TPHOLs
William L. Harrison, Myla Archer, Karl N. Levitt
1992 — conf
Implementation and Use of Annotations in HOL.
TPHOLs
Saraswati Kalvala, Myla Archer, Karl N. Levitt
1992 — ed.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA
TPHOLs
Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley
1992 — conf
Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit.
TPHOLs
Jing Pan, Karl N. Levitt, Myla Archer, Saraswati Kalvala
1991 — conf
A system for distributed intrusion detection.
Compcon
Steven R. Snapp, James Brentano, Gihan V. Dias, Terrance Goan, Tim Grance, Todd L. Heberlein, Che-Lin Ho, Karl N. Levitt, Biswanath Mukherjee, Douglass L. Mansur, Kenneth L. Pon, Stephen E. Smaha
1991 C conf
An application of template methodology: rapid prototyping of user interface management systems.
RSP
Deborah A. Frincke, Genc L. Fisher, Myla Archer, Karl N. Levitt
1991 — conf
CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms.
KBSE
Deborah A. Frincke, Myla Archer, Karl N. Levitt
1991 C conf
Effectiveness of operating system prototyping from a template: application to MINIX.
RSP
Myla Archer, James Bock, Deborah A. Frincke, Karl N. Levitt
1991 — conf
Mechanical Verification of Secure Distributed Systems in Higher Order Logic.
TPHOLs
Jim Alves-Foss, Karl N. Levitt
1991 — conf
Mechanizing Security in HOL.
TPHOLs
William L. Harrison, Karl N. Levitt
1991 — conf
The verification of secure distributed systems.
Compcon
Jim Alves-Foss, Karl N. Levitt
1991 — conf
Towards a testbed for malicious code detection.
Compcon
Raymond W. Lo, P. Kerchen, Richard H. Crawford, W. Wilson Ho, J. Crossley, George Fink, Karl N. Levitt, Ronald A. Olsson, Myla Archer
1991 — conf
Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components.
S&P
Jim Alves-Foss, Karl N. Levitt
1990 — conf
A Network Security Monitor.
S&P
L. Todd Herberlein, Gihan V. Dias, Karl N. Levitt, Biswanath Mukherjee, Jeff Wood, David Wolber
1990 C conf
A template for rapid prototyping of operating systems.
RSP
Myla Archer, Deborah A. Frincke, Karl N. Levitt
1985 J jnl
Overview of applications.
ACM SIGSOFT Softw. Eng. Notes
Karl N. Levitt, R. Alan Whitehurst
1981 J jnl
Recent SRI work in verification.
ACM SIGSOFT Softw. Eng. Notes
Karl N. Levitt, Peter G. Neumann
1979 — conf
Writing Simulatable Specifications in SPECIAL.
The Use of Formal Specification of Software
Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg
1978 J jnl
An Example of Hierarchical Design and Proof.
Commun. ACM
Jay M. Spitzen, Karl N. Levitt, Lawrence Robinson
1977 J jnl
Proof Techniques for Hierarchically Structured Programs.
Commun. ACM
Lawrence Robinson, Karl N. Levitt
1977 A* conf
Proving Multilevel Security of a System Design.
SOSP
Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
1976 A* conf
Software Development and Proofs of Multi-Level Security.
ICSE
Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
1976 A* conf
The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.
ICSE
John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak
1975 — conf
On attaining reliable software for a secure operating system.
Reliable Software
Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena
1975 — conf
SELECT - a formal system for testing and debugging programs by symbolic execution.
Reliable Software
Robert S. Boyer, Bernard Elspas, Karl N. Levitt
1974 J jnl
An Organization for a Highly Survivable Memory.
IEEE Trans. Computers
Jack Goldberg, Karl N. Levitt, John H. Wensley
1974 J jnl
Reasoning about Programs.
Artif. Intell.
Richard J. Waldinger, Karl N. Levitt
1973 A* conf
Reasoning About Programs.
POPL
Richard J. Waldinger, Karl N. Levitt
1973 — conf
Report of evening session on hierarchical methods.
SIGPLAN-SIGOPS Interface Meeting
Karl N. Levitt
1972 J jnl
An Assessment of Techniques for Proving Program Correctness.
ACM Comput. Surv.
Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman
1972 J jnl
Cellular Arrays for the Solution of Graph Problems.
Commun. ACM
Karl N. Levitt, William H. Kautz
1972 — conf
The application of program-proving techniques to the verification of synchronization processes.
AFIPS Fall Joint Computing Conference (1)
Karl N. Levitt
1971 J jnl
Software Reliability.
Computer
Bernard Elspas, Milton W. Green, Karl N. Levitt
1970 J jnl
R70-38 The Time Required for Group Multiplication.
IEEE Trans. Computers
Karl N. Levitt
1969 J jnl
A survey of progress in coding theory in the Soviet Union.
IEEE Trans. Inf. Theory
William H. Kautz, Karl N. Levitt
1969 J jnl
Cellular arrays for the parallel implementation of binary error-correcting codes.
IEEE Trans. Inf. Theory
Karl N. Levitt, William H. Kautz
1969 J jnl
Module Clustering to Minimize Delay in Digital Networks.
IEEE Trans. Computers
Eugene L. Lawler, Karl N. Levitt, James Turner
1968 — conf
A study of the data commutation problems in a self-repairable multiprocessor.
AFIPS Spring Joint Computing Conference
Karl N. Levitt, Milton W. Green, Jack Goldberg
1968 J jnl
Cellular Interconnection Arrays.
IEEE Trans. Computers
William H. Kautz, Karl N. Levitt, Abraham Waksman
1967 J jnl
A class of nonlinear error correcting codes based upon interleaved two-level sequences (Corresp.).
IEEE Trans. Inf. Theory
Karl N. Levitt, Jack K. Wolf