Basse-Saxe < Bavière < Berlin

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 Bavière

Number of relevant bibliographic references: 57.
[20-40] [0 - 20][0 - 50][40-56][40-60]

Ident.	Authors (with country if any)	Title
006B43 (2004)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]	Refining Mobile UML State Machines
006B93 (2004)	Reinhold Letz [Allemagne] ; Gernot Stenz [Allemagne]	Generalised Handling of Variables in Disconnection Tableaux
006C94 (2004)	M. Hofmann [Allemagne] ; P. J. Scott [Canada]	Realizability models for BLL-like languages
006D23 (2004)	Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]	An arithmetic for non-size-increasing polynomial-time computation
007B09 (2003)	Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Júlia Zappe [Allemagne]	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
008780 (2002)	B. Sch Tz [Allemagne] ; A. Pretschner [Allemagne] ; F. Huber [Allemagne] ; J. Philipps [Allemagne]	Model-Based Development of Embedded Systems
008861 (2002)	Dominik Haneberg [Allemagne] ; Wolfgang Reif [Allemagne] ; Kurt Stenzel [Allemagne]	A Method for Secure Smartcard Applications
009258 (2001)	Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]	Towards a Living Software Development Process Based on Process Patterns
009329 (2001)	Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]	Modular Process Patterns Supporting an Evolutionary Software Development Process
009370 (2001)	Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]	Combining Constraint Solving
009E00 (2000)	Klaus U. Schulz [Allemagne]	Why Combined Decision Problems Are Often Intractable
009F87 (2000)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne]	Predicate diagrams for the verification of reactive systems
00AA41 (1999)	Yassine Mokhtari [France] ; Stephan Merz [Allemagne]	Animating TLA Specifications
00AA57 (1999)	Emmanuel Olivier [France] ; Emmanuelle Soury [France] ; Jean-Loup Risler [France] ; Fatima Smih [France] ; Kurt Schneider [Allemagne] ; Klaus Lochner [Allemagne] ; Jean-Yves Jouzeau [France] ; Georg H. Fey [Allemagne] ; Jean-Philippe Salier [France]	A Novel Set of Hepatic mRNAs Preferentially Expressed during an Acute Inflammation in Rat Represents Mostly Intracellular Proteins
00B361 (1998)	Rolf Backofen [Allemagne] ; Ralf Treinen [France]	How to Win a Game with Features
00BC90 (1997)	Ludwig Fahrmeir [Allemagne] ; Leonhard Knorr-Held [Allemagne]	9. Dynamic Discrete-Time Duration Models: Estimation Viamarkov Chain Monte Carlo
00BF60 (1996)	Martin Russling [Allemagne]	Deriving a class of layer-oriented graph algorithms
00C631 (1995)	María J. Carrascal [Allemagne] ; Louis F. Pau [France] ; Ludwig Reiner [Allemagne]	Knowledge and information transfer in agriculture using hypermedia: a system review
00C694 (1995)	Josef Brüederl [Allemagne] ; Andreas Diekmann [Suisse]	The Log-Logistic Rate Model
00C786 (1995)	Alexander Clemm [Allemagne]	Adding value to MIBs: A relationship layer for management platforms
00C796 (1995)	Martin Russling [Allemagne]	A general scheme for breadth-first graph traversal

---

List of associated Author.i

Nombre de documents	Descripteur
7	Martin Wirsing
6	Stephan Merz
4	Nassir Navab
4	Nicolas Padoy
3	Alexander Knapp
3	Manfred Broy
2	Alexander Wolff
2	Andreas Rausch
2	Antonia Albani
2	David Eppstein
2	Eric Monfroy
2	Fabrizio Frati
2	Frank Marschall
2	Gerhard Popp
2	Hubertus Feu Ner
2	Johannes Maria Zaha
2	Klaus U. Schulz
2	M. Broy
2	M. Wirsing
2	Martin Russling
2	Michael Gnatz
2	Michael Kaufmann
2	Monique Teillaud
2	Patrizio Angelini
2	Sylvain Lazard
2	Tamara Mchedlidze
2	Tobias Blum
2	Wolfgang Schwerin
1	A. Alavi
1	A. Armando
1	A. Bertrand
1	A. Blasco
1	A. Cazelas
1	A. Eleftérion
1	A. Gaucher
1	A. Gilbert
1	A. J. Malcolm
1	A. Lortat-Jacob
1	A. Pretschner
1	A. Quéré
1	A. R. Penix
1	A. Schoutens
1	A. Schreiber
1	A. Trias
1	A. Verschaeren
1	Adam Cichon
1	Alessandro Armando
1	Alexander Clemm
1	Alexander Herold
1	Andreas Abel
1	Andreas Diekmann
1	Andreas Weiermann
1	Andrei Popescu
1	Andrzej Tarlecki
1	Arlet
1	B. A. Rahn
1	B. Frisch
1	B. Moysses
1	B. Rahn
1	B. Sch Tz
1	B. Slaven
1	B. Stromqvist
1	Bernhard Möller
1	Bettina Bazijanec
1	Bouzet
1	Bozhi Zhu
1	Bru
1	C. A. L. Bassett
1	C. Alexandre
1	C. Arnoldi
1	C. B. Clayton
1	C. Bünger
1	C. Colette
1	C. F. Barker
1	C. Ficat
1	C. H. Bauer
1	C. Hocquard
1	C. M. Schnitzler
1	C. Nedjar
1	C. T. Brighton
1	Ch. Fauchier
1	Christian Urban
1	D. Barres
1	D. Basin
1	D. Chakkalakal
1	D. Chappard
1	D. Mendelsohn
1	D. Mess
1	D. N. Walder
1	D. Pavel
1	D. R. Steinberg
1	D. Robles Marin
1	D. Von Oheimb
1	Dang Tran Lac
1	David Basin
1	David W. Ritchie
1	Detlef Kips
1	Dominik Haneberg
1	Dominique Cansell
1	Dominique Méry

---

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 "Bavière" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Bavière" \
         | 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é=    Bavière
}}

---

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