1,512 Works
Errors in dialog design and how to avoid them
Jürg Nievergelt
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 47
Semantic meaning in information retrieval
H.P. Giger, Hans-Peter Frei & Peter Schäuble
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Informationssysteme, 84
Numerische Prozeduren I: COMFOU, RELFOU, REMEZA
Walter Gander & Andrea Mazzario
Berichte der Fachgruppe Computerwissenschaften, 4
Algebraic Intruder Deductions
David Basin, Sebastian Mödersheim & Luca Viganò
Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally analyzing protocols, since basic problems like the equality of terms that represent cryptographic messages are undecidable, even for relatively simple algebraic theories. We present a framework for security protocol analysis that can handle algebraic properties of cryptographic operators in a uniform and modular way. Our framework is based on two ideas: the use...
Power shifts: Emerging markets emerged, geopolitics fractured
Matthew Hulbert
Strategic Trends
Affine and polynomial processes
Christa CuchieroXRS: ein erweitertes relationales Datenbanksystem zur Verwaltung von technischen Objekten und Versionen
Andreas Meier, K. Durrer, Gernot Heiser, Erwin Petry, A. Wälchli, A. Wälchli & Carl August Zehnder
ETH Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 76
XS-O: A self-explanatory school computer
Jürg Nievergelt
Berichte des Instituts für Informatik, 21
MODULA-2
Niklaus Wirth
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 36
PASCAL-S: a subset and its implementation
Niklaus Wirth
Berichte des Instituts für Informatik, 12
HOST: An abstract machine for Modula-2 programs
Michel Kiener & Alfred G.H. Ultsch
ETH Zürich, Institut für Informatik, 73
Implementation of an adaptive algorithm for Richardson's method
Paul E. Saylor & Dennis C. Smolarski
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches Rechnen, 139
Modula-2 and object-oriented programming
Niklaus Wirth
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 117
Solving linear equations by extrapolation
Dominik Gruntz, Walter Gander & Gene Howard Golub
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, 115
The Use of MODULA and Design and implementation of MODULA
Niklaus Wirth
Berichte des Instituts für Informatik, 19
Recursive data types and report on the Mona notation for algorithms
Martin Odersky
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 102
The graphics editor Condor
Cuno Pfister
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 124
Stepwise refinement of mixed specifications of concurrent programs
Beverly A. Sanders
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 116
The Oberon guide
Jürg Gutknecht
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 108
A constrained eigenvalue problem
Walter Gander, Gene Howard Golub & Urs Von Matt
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Wissenschaftliches Rechnen, 92
Write: an extensible text editor for the Oberon system
Clemens A. Szyperski
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 151
N-Poisson document modelling revisited
Eugene L. Margulis
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Informationssysteme, 166
From Modula to Oberon: The programming language Oberon
Niklaus Wirth
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 111