AffVille.i
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « AffVille.i » - entrée « Amsterdam »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Amiens < Amsterdam < Angers  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
000647 (2011) 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
000888 (2010) 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
001560 (2005) Balder Ten Cate [Pays-Bas]Interpolation for extended modal languages
001870 (2004) Gilles Barthe [France] ; Jan Cederquist [Pays-Bas] ; Sabrina Tarento [France]A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
001963 (2003) 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
001A50 (2003) 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
001A55 (2003) Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas]Environments for Term Rewriting Engines for Free!
001B73 (2002) Patrick Blackburn [France] ; Maarten Marx [Pays-Bas]Tableaux for Quantified Hybrid Logic
001C50 (2002) 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
001E28 (2001) Patrick Blackburn [France] ; Jaap Kamps [Pays-Bas] ; Maarten Marx [Pays-Bas]Situation Calculus as Hybrid Logic: First Steps
002150 (2000) Stefania Cavallar [Pays-Bas] ; Bruce Dodson [États-Unis] ; Arjen K. Lenstra [États-Unis] ; Walter Lioen [Pays-Bas] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Brian Murphy [Australie] ; Herman Te Riele [Pays-Bas] ; Karen Aardal [Pays-Bas] ; Jeff Gilchrist [Canada] ; Gérard Guillerm [France] ; Paul Leyland [Royaume-Uni] ; Jöel Marchand [France] ; François Morain [France] ; Alec Muffett [Royaume-Uni] ; Chris And Craig Putnam [États-Unis] ; Paul Zimmermann [France]Factorization of a 512-Bit RSA Modulus
002187 (2000) W. J. Fokkink [Pays-Bas] ; S. P. Luttik [Pays-Bas]An ω-Complete Equational Specification of Interleaving
002202 (2000) Carlos Castro [France] ; Eric Monfroy [Pays-Bas]A Control Language for Designing Constraint Solvers
002308 (1999) Herman Hendriks [Pays-Bas]The Logic of Tune A Proof-Theoretic Analysis of Intonation
002375 (1999) Femke Van Raamsdonk [Pays-Bas]Higher-Order Rewriting
002385 (1999) 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
002773 (1997) Zena M. Ariola ; Jan Willem Klop [Pays-Bas]Lambda Calculus with Explicit Recursion
002A13 (1996) J. A. Bergstra [Pays-Bas] ; T. B. Dinesh [Pays-Bas] ; J. Field [États-Unis] ; J. Heering [Pays-Bas]A complete transformational toolkit for compilers
002D24 (1994) Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni]Compilation of functional languages using flow graph analysis
002D69 (1993) 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
003117 (1991) Pieter H. Hartel [Pays-Bas, Royaume-Uni]Performance of lazy combinator graph reduction

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffVille.i -k "Amsterdam" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffVille.i  \
                -Sk "Amsterdam" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Amsterdam
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022