1998
14 references published this year.
A Lightweight Approach to Formal Methods
Sten Agerholm and others (1998) · Applied Formal Methods — FM-Trends 98 · Springer
About the Collatz conjecture
Ștefan Andrei and others (1998) · Acta Informatica
First-Order Proof Theory of Arithmetic
Samuel R. Buss (1998) · Handbook of Proof Theory · Elsevier
High-speed electrical signaling: overview and limitations
M. Horowitz and others (1998) · IEEE Micro · IEEE
ANSI/IEEE Std 802.1D, 1998 Edition: IEEE Standard for Local Area Network MAC (Media Access Control) Bridges
Institute of Electrical and Electronics Engineers (1998) · IEEE
Stalking the elusive computer bug
Peggy Aldrich Kidwell (1998) · IEEE Annals of the History of Computing
Architecture and control of an adaptive high capacity flat network
Eric Livermore and others (1998) · IEEE Communications Magazine
An Overview of Space Division Multiple Access Techniques in Cellular Systems
Lotter, Michiel P. and others (1998) · The Transactions of the S.A. Institute of Electrical Engineers
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima and others (1998) · Journal of Nuclear Science and Technology · Taylor & Francis
Quantum Information Theory
Michael Aaron Nielsen (1998)
Java_light is type-safe—definitely
Tobias Nipkow and others (1998) · Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98) · Association for Computing Machinery
Formal methods in computer technologies
I. V. Sergienko and others (1998) · Cybernetics and Systems Analysis
Transforming a Single-Valued Transducer Into a Mealy Machine
Andreas Weber (1998) · Journal of Computer and System Sciences · Academic Press
The quantitative impact of survivable network architectures on service availability
Mark R. Wilson (1998) · IEEE Communications Magazine