Generalized Pickands constants (2008)
K. Debicki, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. Jaspars, E. Thijsse, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Hybrid I/O Automata (extended abstract) (2007)
N. Lynch, R. Segala, F. Va, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
C. Shankl, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Carron Shankland, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
1 Homogeneous Behaviors (2007)
Mathematisch Centrum (smc, The Dutch Foundation, M. S. Ravi, M. S. Ravi, J. Rosenthal, J. Rosenthal, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
GI/G/1 Workload, and Risk Processes (2007)
R. J. Boucherie, O. J. Boxma, K. Sigman, Mathematisch Centrum (smc, The Dutch Foundation, Richard J. Boucherie, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. R. Moonen, O. Sies, J. G. Springintveld, Issn -x, ...
Centrum voor Wiskunde en Informatica A two-level approach to automated conformance testing of VHDL designs
Epic and ARM-- User's Guide-- (2007)
Mathematisch Centrum (smc, The Dutch Foundation, H. R. Walters, H. R. Walters
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
K. E. Shahroudi, Issn -x, Mathematisch Centrum (smc, ...
exploration and modeling of large data sets: A case
Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Little Languages, Little Maintenance, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Completeness of Timed CRL # (2007)
Mathematisch Centrum (smc, The Dutch Foundation, J. F. Groote, J. F. Groote, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compiling Language Denitions: The ASF+SDF Compiler (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J. Heering, J. Heering, P. Klint, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
R. Van Stee, Mathematisch Centrum (smc, The Dutch Foundation, Rob Van Stee, Han La Poutre
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
E. Bach, J. Boyar, L. Epstein, L. M. Favrholdt, T. Jiang, ...
Tight bounds on the competitive ratio on accommodating sequences
New Results on Flow Time with Resource Augmentation (2007)
L. Epstein, R. Van Stee, Mathematisch Centrum (smc, The Dutch Foundation, Leah Epstein, Rob Van Stee
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Compositional Model for Confluent Dynamic Data-Flow Networks (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Marcello M. Bonsangue
compositional model for confluent dynamic data-flow networks
W. J. Fokkink, S. P. Luttik, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We consider the process theory PA that includes an operation for parallel composition, based on the interleaving paradigm. We prove that the standard set of axioms of PA is not !-complete by...
Relational Methods in Logic, Language and Information (2007)
P. Blackburn, M. De Rijke, Y. Venema, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
This paper discusses the use of relational methods in the interdisciplinary field of Logic, Language and Information. We first sketch the developments that lead up to the current focus on dynamics in...
Mathematisch Centrum (smc, The Dutch Foundation, Krzysztof R. Apt
We show how the constraint propagation process can be naturally explained by means of chaotic iteration. 1991 Mathematics Subject Classification: 68Q60, 68N05 1991 Computing Reviews Classification...
1 The Behavior of Convolutional Codes (2007)
J. Rosenthal, E. V. York, Mathematisch Centrum (smc, The Dutch Foundation, Joachim Rosenthal, J. M. Schumacher, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Program Comprehension Risks and Opportunities (2007)
Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen
Centrum voor Wiskunde en Informatica Program comprehension risks and opportunities in extreme programming A. van Deursen
Generalized Pickands constants (2007)
K. Debicki, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Krzysztof Debicki
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Factorizations of Cunningham Numbers with Bases 13 to 99: Millennium Edition (2007)
Millennium Edition, Mathematisch Centrum (smc, The Dutch Foundation, Richard P. Brent, Peter L. Montgomery, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, G. Kok, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
R. Helmers, I W. Mangku, R. Zitikis, Mathematisch Centrum (smc, The Dutch Foundation, Roelof Helmers, ...
Statistical properties of a kernel type estimator of the intensity
Program Comprehension Risks and Opportunities (2007)
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Selection of Problems (2007)
Mathematisch Centrum (smc, The Dutch Foundation, N. M. Temme, N. M. Temme
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Late-Breaking Papers of EuroGP-99 Edited by (2007)
R. Poli, P. Nordin, T. Fogarty (eds, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica (2007)
I. Herman, G. Melançon, M. Delest, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. Heering, Mathematisch Centrum (smc, The Dutch Foundation
Application software, domain-specific languages, and language
Branching Time and Orthogonal Bisimulation Equivalence (2007)
J. A. Bergstra, A. Ponse, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
De Jonge, Mathematisch Centrum (smc, The Dutch Foundation, Merijn De Jonge
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Operator Splitting and Approximate Factorization for Taxis-Diffusion-Reaction Models (2007)
Mathematisch Centrum (smc, The Dutch Foundation, A. Gerisch, A. Gerisch, J. G. Verwer, J. G. Verwer
Operator splitting and approximate factorization for taxis-diffusion-reaction models
Disturbance Decoupling and Robustness of Stability (2007)
Mathematisch Centrum (smc, The Dutch Foundation, U. Baser, U. Baser, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On the Structure of the Space of Product-Form Models (2007)
N. Bayer, R. J. Boucherie, Mathematisch Centrum (smc, The Dutch Foundation, Nimrod Bayer, Richard J. Boucherie
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Alternative Quantification over Data (2007)
S. P. Luttik, Mathematisch Centrum (smc, The Dutch Foundation, J. F. Groote, J. F. Groote
Centrum voor Wiskunde en Informatica Undecidability and completeness results for process algebras with alternative quantification over data
F. C. Gruau, J. T. Tromp, Mathematisch Centrum (smc, The Dutch Foundation, Frederic Gruau, John Tromp
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On the Existence and Non-Existence of Finitary Codings for a Class of Random Fields (2007)
Mathematisch Centrum (smc, The Dutch Foundation, J. E. Steif
On the existence and non-existence of finitary for a class of random fields J. van den Berg, J.E. Steif
Model Checking the HAVi Leader Election Protocol (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Verifying a Smart Design of TCAP a synergetic experience (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Izak Van Langevelde
a smart design of TCAP; A synergetic experience
Heavy-Traffic Theory for the Heavy-Tailed M/G/1 Queue and-stable L'evy Noise Traffic (2007)
Mathematisch Centrum (smc, The Dutch Foundation, J. W. Cohen, J. W. Cohen
Centrum voor Wiskunde en Informatica Heavy-traffic theory for the heavy-tailed M/G/1 queue and v-stable L'evy noise traffic
Metrics for Classifying Heterogeneous Objects (2007)
M. Bezem, K. Blok, M. Keijzer, Mathematisch Centrum (smc, The Dutch Foundation, Marc Bezem, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
T. Lach, M. A. Peletier, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, ...
The minimum of quadratic functionals of the gradient on the
Manual of the TYPO Type Checker (2007)
Mathematisch Centrum (smc, The Dutch Foundation, H. De Nivelle
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation, J. W. Cohen, J. W. Cohen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient Resource Utilization in Shared-Everything Environments (2007)
S. Manegold, J. K. Obermaier, Mathematisch Centrum (smc, The Dutch Foundation, Stefan Manegold, Johann K. Obermaier
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Density-Based Unsupervised Classification for Remote Sensing (2007)
R. J. Mokken, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation, J. K. Hoogl, J. K. Hoogl
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Bisimilarity in term graphs rewriting (2007)
Z. M. Ariola, J. W. Klop, D. Plump, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The Role of Hermite Polynomials in Asymptotic Analysis (2007)
N. M. Temme, J. L. Lpez, Mathematisch Centrum (smc, The Dutch Foundation, Nico M. Temme, Jose L. Lopez
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation, Krzysztof R. Apt, Marc Bezem
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
1 A Behavioral Approach to Singular Systems (2007)
J. Rosenthal, Mathematisch Centrum (smc, The Dutch Foundation, V. Lomadze, V. Lomadze, M. S. Ravi, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Pattern Formation in Electric Discharges (2007)
U. M. Ebert, M. Arrays, Mathematisch Centrum (smc, The Dutch Foundation, Ute Ebert
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Tree Visualisation and Navigation Clues for Information (2007)
G. Melancon, Mathematisch Centrum (smc, The Dutch Foundation, I. Herman, I. Herman, M. Delest, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
New Limit Theorems for Regular Diusion Processes with Finite Speed Measure (2007)
Mathematisch Centrum (smc, The Dutch Foundation, Harry Van Zanten
Centrum voor Wiskunde en Informatica New limit theorems for regular diffusion processes with finite speed measure J.H. van Zanten
1 Factorization of a 512--bit RSA Modulus (2007)
S. Cavallar, W. M. Lioen, B. Dodson, A. K. Lenstra, P. L. Montgomery, ...
and their applications. SMC is sponsored by the Netherlands Organization for
U. M. Ebert, W. Van Saarloos, L. A. Peletie, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
Centrum voor Wiskunde en Informatica Universal algebraic convergence in time of pulled fronts: the common mechanism for difference-differential and partial differential equation
On the Order of a Graph and its (2007)
M. Laurent, Mathematisch Centrum (smc, The Dutch Foundation, Monique Laurent
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Computing Toroidal Functions for Wide Ranges of the Parameters (2007)
A. Gil, J. Segura, N. M. Temme, Mathematisch Centrum (smc, The Dutch Foundation, Amparo Gil, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. L. Lpez, N. M. Temme, Mathematisch Centrum (smc, The Dutch Foundation, Buchholz Polynomials, Buchholz Polynomials, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
1 Zero and Pole Distribution of Diagonal Pad'e (2007)
Exponential Function, K. A. Driver, N. M. Temme, Mathematisch Centrum (smc, The Dutch Foundation, Kathy A. Driver, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
K. A. Driver, N. M. Temme, Mathematisch Centrum (smc, The Dutch Foundation, Kathy A. Driver, Nico M. Temme
Asymptotics and zero distribution of Pad'e polynomials associated
The Wouthuysen Equation (2007)
M. Hazewinkel, Mathematisch Centrum (smc, The Dutch Foundation, Michiel Hazewinkel
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Infinitary Lambda Calculus (2007)
Infinitary Lambda Calculus, R. Kennaway, J. W. Klop, R. Sleep, Issn -x, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems (2007)
Mathematisch Centrum (smc, The Dutch Foundation, W. J. Fokkink, W. J. Fokkink, ...
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
Centrum voor Wiskunde en Informatica An organic database system (2007)
M. L. Kersten, Mathematisch Centrum (smc, The Dutch Foundation, Martin L. Kersten
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
1 On Polynomials Related With Hermite--Pad'e Approximations to the Exponential Function (2007)
K. A. Driver, N. M. Temme, Mathematisch Centrum (smc, The Dutch Foundation, Kathy A. Driver, Nico M. Temme
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Dimensioning large call centers (2004)
S. C Borst, M. I. Reiman, Mathematisch Centrum (smc, The Dutch Foundation, Sem Borst, Avi Mandelbaum, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Package-based software development (2003)
M. De Jonge, E. Visser, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. M. Bonsangue, J. N. Kok, G. Zavattaro, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Error-backpropagation in Temporally Encoded Networks of Spiking Neurons (2002)
S. M. Bohte, J. N. Kok, Mathematisch Centrum (smc, The Dutch Foundation, Sander M. Bohte, ...
Centrum voor Wiskunde en Informatica
S. M. Bohte, J. N. Kok, Mathematisch Centrum (smc, The Dutch Foundation, Sander M. Bohte, ...
Centrum voor Wiskunde en Informatica Unsupervised clustering with spiking neurons by sparse temporal coding and multi-layer RBF networks
Hypermedia and the Semantic Web: A Research Agenda (2002)
H. L. Hardman, L. Rutledge, Mathematisch Centrum (smc, The Dutch Foundation, Jacco Van Ossenbruggen, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A timed verification of the IEEE 1394 leader election protocol (2001)
Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
XT: A bundle of program transformation tools (2001)
M. De Jonge, E. Visser, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Critical conditions for phytoplankton blooms (2001)
U. M. Ebert, M. Arrays, N. M. Temme, B. P. Sommeijer, J. Huisman, Mathematisch Centrum (smc, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Generating Robust Parsers using Island Grammars (2001)
Mathematisch Centrum (smc, The Dutch Foundation, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The XML Benchmark Project (2001)
A. R. Schmidt, F. Waas, M. L. Kersten, D. Florescu, I. Manolescu, M. J. Carey, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
State-dependent M/G/1 type queueing analysis for congestion control in data networks (2001)
E. Altman, K. Avrachenkov, C. Barakat, R. Nez Queija, Mathematisch Centrum (smc, The Dutch Foundation, ...
Centrum voor Wiskunde en Informatica State-dependent M/G/1 type queueing analysis for congestion control in data networks
Overflow behavior in queues with many long-tailed inputs (2001)
S. C. Borst, Mathematisch Centrum (smc, The Dutch Foundation, Michel M, Sem Borst
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A timed verification of the IEEE 1394 leader election protocol (2001)
Mathematisch Centrum (smc, The Dutch Foundation, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A correlation inequality for connection events in percolation (2001)
Mathematisch Centrum (smc, The Dutch Foundation, J. Kahn, J. Kahn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. De Jonge, E. Visser, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of ERCIM, the European Research Consortium for
Factorization of a 512-bit RSA modulus (2000)
S. Cavallar, W. M. Lioen, B. Dodson, A. K. Lenstra, P. L. Montgomery, ...
and their applications. SMC is sponsored by the Netherlands Organization for
A logical interface description language for components (2000)
F. Arbab, M. M. Bonsangue, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient annotated terms (2000)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT A Compositional Model for Con uent Dynamic Data-Flow Networks (2000)
M. M. Bonsangue, Mathematisch Centrum (smc, The Dutch Foundation, Marcello M. Bonsangue
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Factorization of a 512-bit RSA modulus (2000)
S. Cavallar, W. M. Lioen, B. Dodson, A. K. Lenstra, P. L. Montgomery, ...
and their applications. SMC is sponsored by the Netherlands Organization for
M. De Jonge, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Merijn De Jonge, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ASF+SDF parsing tools applied to ELAN (2000)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, C. Ringeissen, C. Ringeissen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploring legacy systems using types (2000)
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Deursen, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Using domain decomposition in the Jacobi–Davidson method (2000)
M. Genseberger, Mathematisch Centrum (smc, The Dutch Foundation, Menno Genseberger, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Virtual context - relating media objects to their real world subjects (2000)
L. W. Rutledge, A. Elns, Mathematisch Centrum (smc, The Dutch Foundation, Lloyd Rutledge, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Semantics of programming languages: a tool-oriented approach (2000)
J. Heering, P. Klint, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Paul Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On the construction of deflation-based preconditioners (2000)
J. E. Frank, Mathematisch Centrum (smc, The Dutch Foundation, J. Frank, C. Vuik, C. Vuik
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Binary decision diagrams by shared rewriting (2000)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, H. Zantema, H. Zantema
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A geometric proof of confluence by decreasing diagrams (2000)
J. W. Klop, V. Van Oostrom, R. De Vrijer, Mathematisch Centrum (smc, The Dutch Foundation, Jan Willem Klop, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient annotated terms (2000)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A logical interface description language for components (2000)
F. Arbab, M. M. Bonsangue, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Random Generation of Dags for Graph Drawing (2000)
I. Dutour, M. Bousquet-Mélou, Mathematisch Centrum (smc, The Dutch Foundation, G. Melançon, G. Melancon
The Graph Drawing community uses test suites for comparing layout quality and efficiency. Those suites often claim to collect randomly generated graphs, although in most cases randomness is a loosely...
Linearization in Parallel pCRL (2000)
J. F. Groote, A. Ponse, Y. S. Usenko, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote, ...
We describe a linearization algorithm for parallel pCRL processes similar to the one implemented in the linearizer of the CRL Toolset. This algorithm finds its roots in formal language theory: the...
CharToon 2.1 Extensions; Expression repertoire and lip sync (2000)
Zs. M. Ruttkay, Mathematisch Centrum (smc, The Dutch Foundation, Zsfia Ruttkay, Alban Lelivre
CharToon is a modular system to design and animate 2 1 / 2 D faces and other graphical objects. This report contains the extensions made for version 2.1, effecting only the Animation Editor module....
CharToon 2.1 Extensions (2000)
Expression Repertoire And, Zs. M. Ruttkay, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
CharToon is a modular system to design and animate 2 1 / 2 D faces and other graphical objects. This report contains the extensions made for version 2.1, effecting only the Animation Editor module....
Exploring legacy systems using types (2000)
A. Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
STS: A Structural Theory of Sets (1999)
A. Baltag, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Alexandru Baltag
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9902 (1999)
Merijn De Jonge, Tobias Kuipers, Joost Visser, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Scheduling sport tournaments using constraint logic programming (1999)
A. Schaerf, Mathematisch Centrum (smc, The Dutch Foundation, Andrea Schaerf
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On estimation of Poisson intensity functions (1999)
R. Helmers, I W. Mangku, Mathematisch Centrum (smc, The Dutch Foundation, Roelof Helmers, I Wayan Mangku
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Consistent estimation of the intensity function of a cyclic Poisson process (1999)
R. Helmers, I W. Mangku, R. Zitikis, Mathematisch Centrum (smc, The Dutch Foundation, Roelof Helmers, ...
Consistent estimation of the intensity function of a cyclic Poisson process
Resource augmentation in load balancing (1999)
Y. Azar, L. Epstein, R. Van Stee, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
STS: A Structural Theory of Sets (1999)
A. Baltag, Mathematisch Centrum (smc, The Dutch Foundation, Alexandru Baltag
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Understanding COBOL Systems using Inferred Types (1999)
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Induced burstiness in generalized processor sharing queues with long-tailed traffic flows (1999)
S. C. Borst, O. J. Boxma, P. R. Jelenkovic, Mathematisch Centrum (smc, The Dutch Foundation, Sem Borst, ...
Induced burstiness in generalized processor sharing queues
Compilation and memory management for ASF+SDF (1999)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Skeletal images as visual cues in graph visualization (1999)
G. Melanon, M. Delest, Mathematisch Centrum (smc, The Dutch Foundation, I. Herman, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Random Sampling for the Monomer-Dimer Model on a Lattice (1999)
Mathematisch Centrum (smc, The Dutch Foundation, R. Brouwer, R. Brouwer
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Multi-relational data mining (1999)
A. J. Knobbe, H. Blockeel, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On estimation of Poisson intensity functions (1999)
Mathematisch Centrum (smc, The Dutch Foundation, R. Helmers, R. Helmers, R. Zitikis, R. Zitikis
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Factorization of RSA-140 Using the Number Field Sieve (1999)
S. Cavallar, B. Dodson, A. K. Lenstra, P. C. Leyl, W. M. Lioen, P. L. Montgomery, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Late-breaking papers of EuroGP-99 (1999)
R. Poli, P. Nordin, T. Fogarty (eds.), Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In the paper a method that moderates code growth in genetic programming is presented. The addressed problem is symbolic regression. A special mutation operator is used for the simplification of...
The Propositional Formula Checker HeerHugo (1999)
J. F. Groote, J. P. Warners, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote
HeerHugo is a propositional formula checker that determines whether a given formula is satisfiable or not. Its main ingredient is the branch/merge rule, that is inspired by an algorithm proposed by...
Relaxations of the Satisfiability Problem using Semidefinite Programming (1999)
Etienne De Klerk, H. Van Maaren, J. P. Warners, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We derive a semidefinite relaxation of the satisfiability (SAT) problem and discuss its strength. We give both the primal and dual formulation of the relaxation. The primal formulation is an...
Research Issues in the Renovation of Legacy Systems (1999)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Arie Van Deursen, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
I. Herman, I. Herman, G. Melançon, M. Delest, Mathematisch Centrum (smc, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
ABSTRACT Understanding COBOL Systems using Inferred Types (1999)
Arie Van Deursen, Leon Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Exploiting symmetry in protocol testing (1998)
J. G. Springintveld, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Judi Romijn
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Transmission function models of infinite population genetic algorithms (1998)
J. N. Kok, H La Poutr, D. Thierens, Issn -x, Mathematisch Centrum (smc, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Feature Database for Multimedia Objects (1998)
M. L. Kersten, M. A. Windhouwer, Mathematisch Centrum (smc, The Dutch Foundation, M. Kersten, N. Nes, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation, J. F. Groote, J. F. Groote, S. P. Luttik, S. P. Luttik
Centrum voor Wiskunde en Informatica A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data
Type inference for COBOL systems (1998)
A. Van Deursen, L. Moonen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen, Leon Moonen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Coordination Models and Languages (1998)
G. A. Papadopoulos, F. Arbab, Mathematisch Centrum (smc, The Dutch Foundation, George A. Papadopoulos, Farhad Arbab
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Basic theorems for parallel processes in timed CRL (1998)
J. F. Groote, J. Van Wame, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Jan Friso Groote
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Liere. A Survey of Computational Steering Environments (1998)
J. D. Mulder, R. Van Liere, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Analysis of three hybrid systems in timed CRL (1998)
J. F. Groote, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Asymptotic density in a coalescing random walk model (1998)
H. Kesten, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Harry Kesten, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Numerical time integration for air pollution models (1998)
Mathematisch Centrum (smc, The Dutch Foundation, J. G. Verwer, J. G. Verwer, W. H. Hundsdorfer, W. H. Hundsdorfer, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Discrete-time Process Algebra and the Semantics of SDL (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J.A. Bergstra, J. A. Bergstra, C. A. Middelburg, ...
We present an extension of discrete time process algebra with relative timing where recursion, propositional signals and conditions, a counting process creation operator, and the state operator are...
Verification of Temporal Properties of Processes in a Setting with Data (1998)
Mathematisch Centrum (smc, The Dutch Foundation, J. F. Groote, J. F. Groote, R. Mateescu, R. Mateescu
We define a value-based modal -calculus, built from first-order formulas, modalities, and fixed point operators parameterized by data variables, which allows to express temporal properties involving...
Automata and Coinduction (an exercise in coalgebra) (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to...
A note on Coinduction and Weak Bisimilarity for While Programs (1998)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, ...
An illustration of coinduction in terms of a notion of weak bisimilarity is presented. First, an operational semantics O for while programs is defined in terms of a final automaton. It identifies any...
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach (1998)
Mathematisch Centrum (smc, The Dutch Foundation
The notion of bisimulation as proposed by Larsen and Skou for discrete probabilistic transition systems is shown to coincide with a coalgebraic definition in the sense of Aczel and Mendler in terms...
Coordination of a Parallel Proposition Solver (1998)
Mathematisch Centrum (smc, The Dutch Foundation, B. Lisser, B. Lisser
In this paper we describe an experiment in which MANIFOLD is used to coordinate the interprocess communication in a parallelized proposition solver. MANIFOLD is very well suited for applications...
N. M. Temme, Mathematisch Centrum (smc, The Dutch Foundation, Nico M. Temme
The paper discusses asymptotic methods for integrals, in particular uniform approximations. We discuss several examples, where we apply the results to Tricomi's \Psi\Gammafunction, in particular...
ABSTRACT Type Inference for COBOL Systems ∗ (1998)
A. Van Deursen, L. Moonen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9807 (1998)
A. Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, Mathematisch Centrum, Weak Bisimilarity
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9805 (1998)
A. Van Deursen, T. Kuipers, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems (1997)
W. J. Fokkink, H. R. Walters, Mathematisch Centrum (smc, The Dutch Foundation, Copyright Stichting, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Rijke. Why combine logics (1997)
P. Blackburn, M. De Rijke, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Patrick Blackburn, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A slicing-based approach for locating type errors (1997)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, T. B. Dinesh, T. B. Dinesh, Frank Tip, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The wavelet X-ray transform (1997)
Mathematisch Centrum (smc, The Dutch Foundation, R. A. Zuidwijk, R. A. Zuidwijk
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
M. A. Kirkilionis, O. Diekmann, B. Lisser, M. Nool, B. P. Sommeijer, ...
continuation of equilibria of physiologically structured
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Description and Formal Specification of the Link Layer of P1394 (1997)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, S. P. Luttik, S. P. Luttik
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Program plan recognition for year 2000 tools (1997)
A. Van Deursen, S. Woods, A. Quilici, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
On a Crossroad of Resampling Plans: Bootstrapping Elementary Symmetric Polynomials (1997)
M. Huskova, Mathematisch Centrum (smc, The Dutch Foundation, R. Helmers, ...
We investigate the validity of the bootstrap method for the elementary symmetric polynomials S (k) n = i n k j \Gamma1 P 1i 1 !:::!i k n X i 1 :::X i k of i.i.d. random variables X 1 ; : : : ; X n ....
Weighted Colimits and Formal Balls in Generalized Metric Spaces (1997)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
(a) Limits of Cauchy sequences in a (possibly non-symmetric) metric space are shown to be weighted colimits (a notion introduced by Borceux and Kelly, 1975). As a consequence, further insights from...
The Busy Period in the Fluid Queue (1997)
V. Dumas, Mathematisch Centrum (smc, The Dutch Foundation, O.J. Boxma, O. J. Boxma
Consider a fluid queue fed by N on/off sources. It is assumed that the silence periods of the sources are exponentially distributed, whereas the activity periods are generally distributed. The inflow...
Frames, Riesz Systems and MRA in Hilbert Spaces (1997)
Mathematisch Centrum (smc, The Dutch Foundation, P. J. Oonincx, P. J. Oonincx
The concept of multiresolution analysis (MRA) is introduced for arbitrary separable Hilbert spaces H. It is put in the general terms of unitary operators U 1 and U 2;1 ; : : : ; U 2;d ; d 2 ZZ and a...
The M/G/1 Fluid Model with Heavy-tailed Message Length Distributions (1997)
Mathematisch Centrum (smc, The Dutch Foundation, J. W. Cohen, J. W. Cohen
For the M=G=1 fluid model the stationary distribution of the buffer content is investigated for the case that the message length distribution B(t) has a Pareto-type tail, i.e. behaves as 1 \Gamma O(t...
Alma-0: An Imperative Language that Supports Declarative Programming (1997)
R. Apt, J. Brunekreef, V. Partington, A. Schaerf, Mathematisch Centrum (smc, The Dutch Foundation, ...
We describe here an implemented small programming language, called Alma-0, that augments the expressive power of imperative programming by a limited number of features inspired by the logic...
A heavy-traffic theorem for the GI/G/1 queue with a Pareto-type service time distribution (1997)
Mathematisch Centrum (smc, The Dutch Foundation, J. W. Cohen, J. W. Cohen
For the GI=G=1-queueing model with traffic load a ! 1, service time distribution B(t) and interarrival time distribution A(t) holds, whenever for t !1: 1 \Gamma B(t) c (t=fi) + O(e \Gammaffit ); c ?...
Search and Imperative Programming (1997)
Krzysztof Apt Cwi, K. R. Apt, A. Schaerf, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We augment the expressive power of imperative programming in order to make it a more attractive vehicle for problems that involve search. The proposed additions are limited yet powerful and are...
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A. Van Deursen, S. Woods, A. Quilici, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Mathematisch Centrum (smc, The Dutch Foundation
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
System identification with information theoretic criteria (1996)
Mathematisch Centrum (smc, The Dutch Foundation, A. A. Stoorvogel, A. A. Stoorvogel
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Truth of duration calculus formulae in timed frames (1996)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, C. A. Middelburg, C. A. Middelburg
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Remarks on food chain dynamics (1996)
Yu. A, Mathematisch Centrum (smc, The Dutch Foundation, S. Rinaldi
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
High Performance Support for OO Traversals in Monet (1996)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, P.A. Boncz, P. A. Boncz, F. Kwakkel, ...
In this paper we discuss how Monet, a novel multimodel database system, can be used to efficiently support OODB applications. We show how Monet's offbeat view on key issues in database...
Evolutionary Air Traffic Flow Management for Large 3D-problems (1996)
Van Kemenade Cwi, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
We present an evolutionary tool to solve free-route Air Traffic Flow Management problems within a threedimensional air space [5]. This is the first evolutionary tool which solves free-route planning...
J. Field, J. Heering, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In an earlier paper, one of the present authors presented a preliminary account of an equational logic called PIM. PIM is intended to function as a "transformational toolkit" to be used by...
Compact Dynamisch Busstation (1996)
A.S. Klusener, A. Schrijver, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In opdracht van Nederland Haarlem hebben de Universiteit Utrecht (UU) en het Centrum voor Wiskunde en Informatica (CWI) een studie gemaakt naar het ontwerp van een Compact Dynamisch Busstation (CDB)....
J. Jaspars, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation
In this paper, reasoning with ambiguous representations is explored in a formal way, with ambiguities at the level of propositions in propositional logic and predicate logic, and ambiguous...
Test set for IVP solvers (1996)
Mathematisch Centrum (smc, The Dutch Foundation, W. M. Lioen, W. M. Lioen, ...
In this paper a collection of Initial Value test Problems for systems of Ordinary Differential Equations, Implicit Differential Equations and Differential-Algebraic Equations is presented. This test...
Multi-Authority Secret-Ballot Elections with Linear Work (1996)
M. Franklin, M. Yung, Issn -x, Mathematisch Centrum (smc, ...
We present new cryptographic protocols for multi-authority secret ballot elections that guarantee privacy, robustness, and universal verifiability. Application of some novel techniques, in particular...
Self-stabilizing mutual exclusion on directed graphs (1995)
D. Alstein, J. H. Hoepman, B. E. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
Self-stabilizing mutual exclusion on directed graphs
A complete equational axiomatization for mpa with string iteration (1995)
L. Aceto, J. F. Groote, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Luca Aceto, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
A Proof System for Finite Trees (1995)
P. Blackburn, W. Meyer-Viol, M. De Rijke, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In this paper we introduce a description language for finite trees. Although we briefly note some of its intended applications, the main goal of the paper is to provide it with a sound and complete...
A Reference Model for Teleconferencing Systems (1995)
Cinzia Bonini, W. J. Fokkink, A. Lesch, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
We present a specification in Z of the framework of a teleconferencing system, which combines text, computer graphics, video, audio and other features in a computer display. Teleconferencing systems...
Proving Termination of Logic Programs with Delay Declarations (1995)
Elena Marchiori And, E. Marchiori, F. Teusink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In this paper we propose a method for proving termination of logic programs with delay declarations. The method is based on the notion of recurrent logic program, which is used to prove programs...
The Bakery Protocol: A Comparative Case-Study in Formal Verification (1995)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, H.P. Korver, ...
Groote and the second author verified (a version of) the Bakery Protocol in CRL. Their process-algebraic verification is rather complex compared to the protocol. Now the question is: How do other...
abstract rewriting machine (1993)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, H. R. Walters, H. R. Walters
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
F. Arbab, Mathematisch Centrum (smc, The Dutch Foundation, C. L. Blom, C. L. Blom, S. Hummel, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of