ISSN
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « ISSN » - entrée « 0302-9743 »
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.
0302-8933 < 0302-9743 < 0304-3800  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 416.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000332 (2006) Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France]Web Service Mining and Verification of Properties : An Approach Based on Event Calculus
000334 (2006) Mohammed Attik [France]Using Ensemble Feature Selection Approach in Selecting Subset with Relevant Features
000336 (2006) Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France]Towards formal verification of web service composition
000337 (2006) G. Bonfante [France] ; R. Kahle [Portugal] ; J.-Y. Marion [France] ; I. Oitavem [Portugal]Towards an implicit characterization of NCk
000338 (2006) Abdel Belaïd [France] ; Andre Alusse [France]Toward file consolidation by document categorization
000339 (2006) Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Time constraint patterns for event B development
000340 (2006) Otfried Cheong [Corée du Sud] ; Hazel Everett [France] ; Hyo-Sil Kim [Corée du Sud] ; Sylvain Lazard [France] ; René Schott [France]Throwing stones inside simple polygons
000341 (2006) Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graqa [Portugal] ; Emmanuel Hainry [France]The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
000342 (2006) Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France]The Twist-AUgmented Technique for Key Exchange
000343 (2006) Mathieu Turuani [France]The CL-atse protocol analyser
000344 (2006) P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France]The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
000345 (2006) Adrien Coulet [France] ; Malika Smail-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France]Suggested Ontology for Pharmacogenomics (SO-Pharm) : Modular Construction and Preliminary Testing
000349 (2006) Guillaume Bonfante [France]Some programming languages for LOGSPACE and PTIME
000350 (2006) Andrea Cerri [Italie] ; Daniela Giorgi [Italie] ; Pablo Muse [France] ; Frédéric Sur [France] ; Federico Tomassini [Italie]Shape Recognition Via an a Contrario Model for Size Functions
000352 (2006) Philippe Dosch [France] ; Ernest Valveny [Espagne]Report on the second symbol recognition contest
000353 (2006) Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France]Relating two standard notions of secrecy
000354 (2006) Dominique Colnet [France] ; Guillem Marpons [Espagne] ; Frederic Merizen [France]Reconciling subtyping and code reuse in object-oriented languages : Using inherit and insert in smarteiffel, the GNU eiffel compiler
000355 (2006) Xavier Hilaire [France]RANVEC and the arc segmentation contest : Second evaluation
000356 (2006) Olivier Bournez [France] ; Florent Garnier [France]Proving positive almost sure termination under strategies
000357 (2006) Shu-Heng Chen [Taïwan] ; Nicolas Navet [Taïwan, France]Pretests for Genetic-Programming Evolved Trading Programs : "zero-intelligence" Strategies and Lottery Trading
000362 (2006) Johanne Cohen [France] ; Fedor Fomin [Norvège] ; Pinar Heggemes [Norvège] ; Dieter Kratsch [France] ; Gregory Kucherov [France]Optimal linear arrangement of interval graphs

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i -k "0302-9743" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i  \
                -Sk "0302-9743" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0302-9743
}}
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