Pays
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « Pays » - entrée « Allemagne »
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.
Algérie < Allemagne < Andorre  Facettes :

List of bibliographic references indexed by Allemagne

Number of relevant bibliographic references: 605.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000426 (2015-08) Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [France] ; Christian Wurm [Allemagne]Quantification in Frame Semantics with Hybrid Logic
000427 (2015-08) Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne]Linear Integer Arithmetic Revisited
000434 (2015-07-25) Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne]Workshop NotesInternational Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015)
000446 (2015-07-13) Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne]Mining the Archive of Formal Proofs
000452 (2015-07-06) Thomas Sturm [Allemagne]Subtropical Real Root Finding
000494 (2015-06-17) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne]Improved algorithms for solving bivariate systems via Rational Univariate Representations
000516 (2015-06) Hassan Errami [Allemagne] ; Markus Eiswirth [Allemagne] ; Dima Grigoriev [France] ; Werner M. Seiler [Allemagne] ; Thomas Sturm [Allemagne] ; Andreas Weber [Allemagne]Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
000526 (2015-05-26) Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Deisenroth [Royaume-Uni] ; Elmar Rueckert [France] ; Jan Peters [Allemagne]Learning Inverse Dynamics Models with Contacts
000576 (2015-04-19) Thomas Pr Tzlich [Allemagne] ; Rachel Bittner [États-Unis] ; Antoine Liutkus [France] ; Meinard Müller [Allemagne]Kernel additive modeling for interference reduction in multi-channel music recordings
000582 (2015-04-14) Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne]Witnessing (Co)datatypes
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000667 (2015-01) Stefan Canzar [France] ; Khaled Elbassioni [Allemagne] ; Gunnar W. Klau [Pays-Bas] ; Julián Mestre [France]On Tree-Constrained Matchings and Generalizations
000671 (2015-01) Marco Voigt [Allemagne] ; Christoph Weidenbach [Allemagne]Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
000673 (2015-01) Marek Kosta [France] ; Thomas Sturm [Allemagne]A Generalized Framework for Virtual Substitution
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000719 (2015) An Lu [France] ; Sylvain Lefebvre [France] ; Jérémie Dumas [France] ; Jun Wu [Allemagne] ; Christian Dick [Allemagne]By-example synthesis of structurally sound patterns
000727 (2015) Maximilian Jaroschek [Allemagne] ; Pablo Federico Dobal [Allemagne] ; Pascal Fontaine [France]Adapting Real Quantifier Elimination Methods for Conflict Set Computation
000757 (2015) Cordula Schwappach [Allemagne] ; Axel Hutt [France] ; Peter Beim Graben [Allemagne]Metastable dynamics in heterogeneous neural fields
000758 (2015) Francesco Giovannini [France] ; Motoharu Yoshida [Allemagne] ; Laure Buhry [France]Mathematical modelling of ICAN-mediated persistent firing in hippocampal neurons
000766 (2015) Tamara Toši [France] ; Peter Beim Graben [Allemagne] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Axel Hutt [France]Dynamics analysis of neural univariate time series by recurrence plots

List of associated Author.i

Nombre de
documents		Descripteur
22Olivier Festor
20Juergen Schoenwaelder
19Aiko Pras
19George Pavlou
18Joan Serrat
17Stephan Merz
16Burkhard Stiller
14Christoph Weidenbach
14David Hausheer
13Maritta Heisel
13René Schott
13Uwe Franz
12Volker Gruhn
11Gabi Dreo
11Jeanine Souquières
11Ramin Sadre
10Thomas Sturm
9Axel Hutt
9Harald Ganzinger
9Laura Kallmeyer
9Laurent Romary
9Nassir Navab
9Nicolas Padoy
9Wolfgang Maier
9Yannick Parmentier
8Ernst Althaus
8Franz Baader
8Martin Wirsing
8Radu State
8Sylvain Lazard
8Uwe Waldmann
7Alexander Bockmayr
7Bernhard Westfechtel
7François Charoy
7Jens Gustedt
7Jürgen Giesl
7Khaled Gaaloul
7Peter Beim Graben
6Bruno Lévy
6Gabi Dreo Rodosek
6Joerg Hoffmann
6Jürgen Schönw Lder
6Mathieu Turuani
6Matthias Horbach
6Rémi Badonnel
6Yannick Chevalier
5Alexander Koller
5Amedeo Napoli
5Anthéa Mayzaud
5Anuj Sehgal
5Dieter Hofbauer
5Emmanuel Thomé
5Emmanuel Vincent
5Isabelle Chrisment
5Jasmin Christian Blanchette
5Jorge Cuellar
5Luca Compagna
5Marc Glisse
5Marek Kosta
5Olivier Devillers
5Sebastian Rudolph
5Stefan Canzar
5Sylvain Lefebvre
5Timm Lichte
4Alessandro Armando
4Alexander Knapp
4Andreas Schaad
4Andreas Werner
4Andrei Popescu
4Denys Duchier
4Gerd Bumiller
4Hubertus Feussner
4Laurent Vigneron
4Manfred Broy
4Mario Thron
4Mathieu Hoyrup
4Michael Hemmer
4Michaël Rusinowitch
4Peter Schneider-Kamp
4Petra Hofstedt
4Pierrick Gaudry
4Tobias Nipkow
4Viorica Sofronie-Stokkermans
4Xavier Goaoc
4Xavier Rebeuf
4Ye-Qiong Song
3Andrea Sattler-Klein
3Anis Charfi
3Cesare Tinelli
3Christophe Lang
3Claire Gardent
3Claus Diem
3David Basin
3David W. Ritchie
3Denis Hatebur
3Dominique Cansell
3Elizabeta Fourneret
3Eric Clavier
3Fabrice Bouquet
3Gerd Stumme

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/AffPays.i -k "Allemagne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffPays.i  \
                -Sk "Allemagne" \
         | 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=    AffPays.i
   |clé=    Allemagne
}}
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