| Ident. | Authors (with country if any) | Title |
|---|
| 000134 |
Philippe Gabriel Steg [France] ; Patrick W. Serruys [Royaume-Uni] ; Mohammad Abdelghani [Pays-Bas] ; William Wijns [Belgique] | The year in cardiology 2015: coronary intervention. |
| 000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
| 000D63 |
Dario Izzo ; Luís F. Sim Es [Pays-Bas] ; Chit Hong Yam [Hong Kong] ; Francesco Biscani ; David Di Lorenzo [Italie] ; Bernardetta Addis [France] ; Andrea Cassioli [France] | GTOC5: Results from the European Space Agency and University of Florence |
| 001729 |
Floris Roelofsen [Pays-Bas] | Algebraic foundations for the semantic treatment of inquisitive content |
| 001730 |
Floor Sietsma [Pays-Bas] ; Jan Van Eijck [Pays-Bas] | Action Emulation between Canonical Models |
| 002747 |
K. Joost Batenburg [Pays-Bas, Belgique] ; Wagner Fortes [Pays-Bas] ; Lajos Hajdu [Hongrie] ; Robert Tijdeman [Pays-Bas] | Bounds on the Difference between Reconstructions in Binary Tomography |
| 003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
| 003625 |
Balder Ten Cate [Pays-Bas] ; Gabelaia David [Géorgie] ; Dmitry Sustretov [France] | Modal languages for topology: Expressivity and definability |
| 004F79 |
Balder Ten Cate [Pays-Bas] ; David Gabelaia [Géorgie] ; Dmitry Sustretov [France] | Modal Languages for Topology: Expressivity and Definability |
| 005231 |
Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas] | Pure Extensions, Proof Rules, and Hybrid Axiomatics |
| 005630 |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] | Modal logic: a Semantic Perspective |
| 005766 |
Patrick Blackburn [France] ; Johan Van Benthem [Pays-Bas] ; Frank Wolter [Royaume-Uni] | Handbook of Modal Logic |
| 006246 |
Balder Ten Cate [Pays-Bas] | Interpolation for extended modal languages |
| 006C60 |
Gilles Barthe [France] ; Jan Cederquist [Pays-Bas] ; Sabrina Tarento [France] | A Machine-Checked Formalization of the Generic Model and the Random Oracle Model |
| 007973 |
Be Ne Dicte Stengel ; Solenne Billon ; Paul C. W. Van Dijk [Pays-Bas] ; Kitty J. Jager [Pays-Bas] ; Friedo W. Dekker [Pays-Bas] ; Keith Simpson [Royaume-Uni] ; J. Douglas Briggs [Pays-Bas] | Trends in the incidence of renal replacement therapy for end-stage renal disease in Europe, 1990–1999 |
| 007A60 |
Jürgen Stuber [France] ; Mark Van Den Brand [Pays-Bas] | Extracting Mathematical Semantics from ${L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}$ Documents |
| 007A65 |
Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | Environments for Term Rewriting Engines for Free! |
| 008737 |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Tableaux for Quantified Hybrid Logic |
| 008814 |
Mark G. J. Van Den Brand [Pays-Bas, France] ; Jeroen Scheerder [Pays-Bas] ; Jurgen J. Vinju [Pays-Bas] ; Eelco Visser [Pays-Bas] | Disambiguation Filters for Scannerless Generalized LR Parsers |
| 008E21 |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Bringing them all together |
| 009286 |
Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas] | Situation Calculus as Hybrid Logic: First Steps |
| 009461 |
Patrick Blackburn [France] ; Maarten De Rijke [France, Pays-Bas] ; Yde Venema [Pays-Bas] | Modal Logic |
| 009631 |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Journal of Logic and Computation. Special Issue on Hybrid Logic |
| 009F34 |
W. J. Fokkink [Pays-Bas] ; S. P. Luttik [Pays-Bas] | An ω-Complete Equational Specification of Interleaving |
| 009F49 |
Carlos Castro [France] ; Eric Monfroy [Pays-Bas] | A Control Language for Designing Constraint Solvers |
| 00A922 |
Herman Hendriks [Pays-Bas] | The Logic of Tune A Proof-Theoretic Analysis of Intonation |
| 00A989 |
Femke Van Raamsdonk [Pays-Bas] | Higher-Order Rewriting |
| 00A999 |
Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen Lenstra [États-Unis] ; Paul Leyland [Royaume-Uni] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Paul Zimmermann [France] | Factorization of RSA-140 Using the Number Field Sieve |
| 00BC40 |
Zena M. Ariola ; Jan Willem Klop [Pays-Bas] | Lambda Calculus with Explicit Recursion |
| 00C112 |
J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas] | A complete transformational toolkit for compilers |
| 00CD35 |
Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni] | Compilation of functional languages using flow graph analysis |
| 00D123 |
M. Beemster [Pays-Bas] ; P. H Hartel [Pays-Bas] ; L. O Hertzberger [Pays-Bas] ; R. F. H Hofman [Pays-Bas] ; K. G Langendoen [Pays-Bas] ; L. L Li [Allemagne] ; R. Milikowski [Pays-Bas] ; Wg Vree [Pays-Bas] ; H. P Barendregt [Pays-Bas] ; J. C Mulder [Pays-Bas] | Experience with a clustered parallel reduction machine |
| 00DA50 |
Pieter H. Hartel [Pays-Bas, Royaume-Uni] | Performance of lazy combinator graph reduction |
| 00DD78 |
M. J. Van Eenige [Pays-Bas] ; F. C. Visser [Pays-Bas] ; C. M. B. Duwel [Pays-Bas] ; J. P. Roos [Pays-Bas] | Clinical value of studies with radioiodinated heptadecanoic acid in patients with coronary artery disease |
| 00DE16 |
Jan Willem Klop [Pays-Bas] | Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond |
