Santa Catarina < Sarre (Land) < Saxe (Land)

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Sarre (Land)

Number of relevant bibliographic references: 43.
[0-20] [0 - 20][0 - 43][20-40]

Ident.	Authors (with country if any)	Title
001512 (2013)	Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne]	Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
001527 (2013)	Matthias Horbach [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne]	Obtaining Finite Local Theory Axiomatizations via Saturation
002618 (2011)	Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]	Towards Verification of the Pastry Protocol Using TLA +
003077 (2010)	Matthias Daum [Allemagne] ; Norbert W. Schirmer [Allemagne] ; Mareike Schmidt [Allemagne]	From Operating-System Correctness to Pervasively Verified Applications
003091 (2010)	Matthias Horbach [Allemagne]	Disunification for Ultimately Periodic Interpretations
003114 (2010)	Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne]	Automatic Verification of Parametric Specifications with Complex Topologies
003969 (2009)	Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]	Deciding the Inductive Validity of ∀ ∃ * Queries
003970 (2009)	Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]	Decidability Results for Saturation-Based Model Building
004301 (2008)	Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne]	Superposition for Fixed Domains
004D28 (2007)	Ernst Althaus [Allemagne] ; Stefan Canzar [France]	A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem
005464 (2006)	Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne]	Integrating Business Processes with Peer-to-Peer Technology
005595 (2006)	Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]	Modular proof systems for partial functions with Evans equality
006177 (2005)	Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Joachim Niehren [France]	The XDG Grammar Development Kit
006212 (2005)	E. Althaus [Allemagne] ; G. C Linescu [États-Unis] ; I. I. M Ndoiu [États-Unis] ; S. Prasad [États-Unis] ; N. Tchervenski [États-Unis] ; A. Zelikovsky [États-Unis]	Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks
006226 (2005)	François Lamarche [France] ; Lutz Stra Burger [Allemagne]	Naming Proofs in Classical Propositional Logic
006227 (2005)	Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne]	Multi-dimensional Graph Configuration for Natural Language Processing
006254 (2005)	Claus-Peter Wirth [Allemagne]	History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
006310 (2005)	Markus Löckelt [Allemagne]	Action Planning for Virtual Human Performances
006377 (2005)	Ernst Althaus [France] ; Stefan Funke [Allemagne] ; Sariel Har-Peled [États-Unis] ; Jochen Könemann [Canada] ; Edgar A. Ramos [États-Unis] ; Martin Skutella [Allemagne]	Approximating k-hop minimum-spanning trees
006B66 (2004)	Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]	Modular Proof Systems for Partial Functions with Weak Equality
006C34 (2004)	Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni]	Automatic Generation of Classification Theorems for Finite Algebras

---

List of associated Author.i

Nombre de documents	Descripteur
7	Alexander Bockmayr
5	Matthias Horbach
4	Christoph Weidenbach
4	Harald Ganzinger
4	Viorica Sofronie-Stokkermans
3	Andreas Werner
3	Ernst Althaus
3	Stefan Krischer
2	Axel Schairer
2	Denys Duchier
2	Dieter Hutter
2	Erica Melis
2	Friedrich Eisenbrand
2	Jacques Loeckx
2	Jürgen Stuber
2	Ralph Debusmann
2	Thomas Lehmann
2	Uwe Waldmann
2	Volker Sorge
1	A. Zelikovsky
1	Amedeo Napoli
1	Andreas Meier
1	Andreas S. Schulz
1	Carsten Ihlemann
1	Claire Gardent
1	Claus-Peter Wirth
1	D. Galmiche
1	Dirk Werth
1	E. Althaus
1	Edgar A. Ramos
1	Florent Jacquemard
1	Florian Kupsch
1	François Lamarche
1	G. C Linescu
1	G. Delzanno
1	Hans De Nivelle
1	I. I. M Ndoiu
1	Jean Lieber
1	Joachim Niehren
1	Jochen Könemann
1	Johannes Faber
1	Jürgen Zimmer
1	Kurt Mehlhorn
1	Lutz Stra Burger
1	M. Martelli
1	Marco Kuhlmann
1	Mareike Schmidt
1	Marek Košta
1	Margus Veanes
1	Mark Hartmann
1	Markus Löckelt
1	Martin Skutella
1	Matthias Daum
1	Matthias Elf
1	Michael Jünger
1	N. Tchervenski
1	Norbert W. Schirmer
1	Ralf Karrenberg
1	Rolf Backofen
1	Roy Mccasland
1	S. Prasad
1	Sariel Har-Peled
1	Serge Autexier
1	Sergei Vorobyov
1	Simon Colton
1	Stefan Canzar
1	Stefan Funke
1	Stefan Thater
1	Stephan Merz
1	Swen Jacobs
1	Thomas Kasper
1	Thomas Sturm
1	Tianxiang Lu
1	Till Mossakowski
1	Tobias Müller
1	Veronique Cortier
1	Yevgeny Kazakov

---

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 "Sarre (Land)" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Sarre (Land)" \
         | 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é=    Sarre (Land)
}}

---

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