AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffRegion.i » - entrée « Rhénanie-du-Nord-Westphalie »
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.
Rhénanie-Palatinat < Rhénanie-du-Nord-Westphalie < Rhône-Alpes  Facettes :

List of bibliographic references indexed by Rhénanie-du-Nord-Westphalie

Number of relevant bibliographic references: 39.
[0-20] [0 - 20][0 - 39][20-38][20-40]
Ident.Authors (with country if any)Title
000148 (2016) 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?
001D45 (2012) Mélanie Uth [Allemagne]L’évolution diachronique des suffixes –ment et –(ai)son et la question de la correspondance vernaculaire de –(at)ion
001D84 (2012) Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis]Theoretical Aspects of Computer Science
001E91 (2012) Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne]Labelling logical structures of document images using a dynamic perceptive neural network
002564 (2011) R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France]Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth
002647 (2011) Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne]Proving Termination by Dependency Pairs and Inductive Theorem Proving
002673 (2011) Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis]Labelling logical structures of document images using a dynamic perceptive neural network
003009 (2010) Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne]Tool Support for Dynamic Development Processes
003030 (2010) Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche]SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
003080 (2010) Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France]Factorization of a 768-Bit RSA Modulus
003126 (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
003883 (2009) Wolfgang Thomas [Allemagne]The Reachability Problem over Infinite Graphs
003886 (2009) Christian Schmitt [Allemagne]The French Language and Questions of Identity, Edited by Wendy Ayres-Bennett and Mari C. Jones
006A45 (2004) Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne]Transformation techniques for context-sensitive rewrite systems
006B88 (2004) René Thiemann [Allemagne] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Allemagne]Improved Modular Termination Proofs Using Dependency Pairs
008748 (2002) Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]SCIL — Symbolic Constraints in Integer Linear Programming
008762 (2002) Volker Gruhn [Allemagne]Process-Centered Software Engineering Environments, A Brief History and Future Challenges
009309 (2001) Volker Gruhn [Allemagne] ; Ursula Wellen [Allemagne]Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
009403 (2001) Simon Becker [Allemagne] ; Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne]A Delegation Based Model for Distributed Software Process Management
009F40 (2000) Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne]AHEAD: A Graph-Based System for Modeling and Managing Development Processes
00A903 (1999) Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne]UniMoK: A System for Combining Equational Unification Algorithms

List of associated Author.i

Nombre de
documents		Descripteur
7Bernhard Westfechtel
5Volker Gruhn
4Harald Ganzinger
4Jürgen Giesl
3Peter Schneider-Kamp
3Wilhelm Sch Fer
2Andrey Timofeev
2Ansgar Schleicher
2Arjen K. Lenstra
2Dag Arne Osvik
2Dirk J Ger
2Emmanuel Thomé
2Jens Franke
2Joppe W. Bos
2Kazumaro Aoki
2Peter L. Montgomery
2René Thiemann
2Szilárd Vajda
2Thorsten Kleinjung
2Wolfgang Deiters
2Yves Rangoni
1A K Shukla
1Aart Middeldorp
1Abdel Belaïd
1Abdet Belaïd
1Adam Cichon
1Alexander Bockmayr
1Alexander Kruppa
1Alfred Bröckers
1Andreas Weiermann
1Carsten Fuhs
1Cesare Tinelli
1Christian Schmitt
1David Goldsmith
1Ernst Althaus
1Franz Baader
1Gaudry
1Gernot Starke
1Heinz Stockinger
1Herman Te Riele
1Hubert Bertling
1J-M Dubois
1J. Ledieu
1Jean-Yves Marion
1Jim Welsh
1Jörn Richts
1Jürgen Floege
1Klaus Pohl
1Klaus Weidenhaupt
1Kurt Mehlhorn
1Leon J. Schurgers
1M. Feuerbacher
1M. Heggen
1Marc Vervloet
1Mario Castellucci
1Mario Cozzolino
1Markus Heller
1Matthias Elf
1Michael Codish
1Michael Jünger
1Michael Parting
1Michael Von Der Beeck
1Michela Thiémard
1Mélanie Uth
1O. Grning
1Pablo Ure A-Torres
1Pascal Jermini
1Paul Bischof
1Paul Leyland
1Paul Zimmermann
1Peter Kaufmann
1Pierrick Gaudry
1Pieter Evenepoel
1R. Addou
1R. Widmer
1Rafael Kramann
1Renate Sch Fers
1René Wörzberger
1S. Alarcn Villaseca
1Sandro Mazzaferro
1Scott Contini
1Simon Becker
1Smeeta Sinha
1Stephan Kepser
1Stephan Swiderski
1Th Deniozou
1Thomas Heer
1Thomas Kasper
1Thomas Schwentick
1Ursula Wellen
1V. Fourne
1Vicens Torregrosa
1Vincent M. Brandenburg
1Wilfried Buchholz
1Wolfgang Emmerich
1Wolfgang Thomas
1Ziad Massy

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Rhénanie-du-Nord-Westphalie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Rhénanie-du-Nord-Westphalie" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Rhénanie-du-Nord-Westphalie
}}
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