List of bibliographic references
Number of relevant bibliographic references: 91.
[0-20] [
0 - 20][
0 - 50][
20-40]
| Ident. | Authors (with country if any) | Title |
|---|
| 000245 (2012) |
Thorsten Kleinjung [Suisse] ; Joppe Bos [Suisse] ; Arjen 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 [États-Unis] ; Peter Montgomery [États-Unis] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A Heterogeneous Computing Environment to Solve the 768-bit RSA Challenge |
| 000492 (1998) |
Carlos Castro [France] ; Eric Monfroy [Pays-Bas] | A Strategy Language for Solving CSPs |
| 000493 (1998) |
Carlos Castro [France] ; Eric Monfroy [Pays-Bas] | A Strategy Language for Specifying Constraint Solvers and their Collaborations |
| 000690 (2005) |
Mark Van Den Brand [Pays-Bas] ; Pierre-Etienne Moreau [France] ; Jurgen Vinju [Pays-Bas] | A generator of efficient strongly typed abstract syntax trees in Java |
| 000722 (2011) |
Gaetan Bisson [Pays-Bas] ; Andrew V. Sutherland [États-Unis] | A low-memory algorithm for finding short product representations in finite groups |
| 000A30 (2000) |
Mark G. J. Van Den Brand [Pays-Bas] ; Christophe Ringeissen [France] | ASF+SDF parsing tools applied to ELAN |
| 000B87 (2016-04-11) |
Zeinab Bakhtiari [France] ; Hans Van Ditmarsch [France] ; Sabine Frittella [Pays-Bas] | Algebraic Semantics of Refinement Modal Logic |
| 000C37 (2006-05-24) |
Marc Kemps-Snijders [Pays-Bas, Allemagne] ; Julien Ducret [France] ; Laurent Romary [France] ; Peter Wittenburg [Pays-Bas, Allemagne] | An API for accessing the Data Category Registry |
| 000C78 (2007-08-28) |
Dick C. A. Bulterman [Pays-Bas] ; Jack Jansen [Pays-Bas] ; Pablo Cesar [Pays-Bas] ; Samuel Cruz-Lara [France] | An Efficient, Streamable Text Format for Multimedia Captions and Subtitles |
| 000D33 (1999) |
Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | An Open Automated Framework for Constraint Solver Extension: the SoleX Approach |
| 000F61 (2007) |
Sunayana Ghosh [Pays-Bas] ; Sylvain Petitjean [France] ; Gert Vegter [Pays-Bas] | Approximation by conic splines |
| 001013 (2015-12-01) |
Matthijs Van Leeuwen [Pays-Bas] ; Esther Galbrun [France] | Association Discovery in Two-View Data |
| 001191 (2006) |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
| 001310 (2001) |
Carlos Areces [France, Pays-Bas] ; Patrick Blackburn [France] | Bringing them all together |
| 001512 (2006-08-15) |
Frédéric Blanqui [France] ; Solange Coupet-Grimal [France] ; William Delobel [France] ; Sébastien Hinderer [France] ; Adam Koprowski [Pays-Bas] | CoLoR: a Coq library on rewriting and termination |
| 001682 (2002) |
Mark G. J. Van Den Brand [France] ; J. Heering [Pays-Bas] ; P. Klint ; P. A. Olivier [Pays-Bas] | Compiling language definitions: The ASF+SDF compiler |
| 001786 (2011-06-26) |
Gaetan Bisson [Pays-Bas] | Computing endomorphism rings of elliptic curves under the GRH |
| 001796 (2011) |
Gaetan Bisson [Pays-Bas] ; Andrew V. Sutherland [États-Unis] | Computing the endomorphism ring of an ordinary elliptic curve over a finite field |
| 001879 (2003) |
Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Constructive Interpolation in Hybrid Logic |
| 001B42 (2016-06-14) |
Mikhail Bogdanov [France] ; Monique Teillaud [France] ; Gert Vegter [Pays-Bas] | Delaunay triangulations on orientable surfaces of low genus |
| 001C93 (2003) |
Otfried Cheong [Pays-Bas] ; Xavier Goaoc [France] ; Hyeon-Suk Na [Corée du Sud] | Disjoint Unit Spheres admit at most two Line Transversals |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i -k "Pays-Bas"
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/AffPays.i \
-Sk "Pays-Bas" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Curation
|type= indexItem
|index= AffPays.i
|clé= Pays-Bas
}}
| 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 |  |
