District de Giessen < District de Haute-Bavière < District de Karlsruhe

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 District de Haute-Bavière

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

Ident.	Authors (with country if any)	Title
000E36 (2014)	John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne]	Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots
001540 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer
001676 (2013)	Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]	A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
003042 (2010)	Xavier Goaoc [France] ; Stefan König [Allemagne] ; Sylvain Petitjean [France]	Pinning a Line by Balls or Ovaloids in ℝ3
004278 (2008)	Tobias Blum [Allemagne, États-Unis] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]	Workflow mining for visualization and analysis of surgeries
004320 (2008)	Christian Urban [Allemagne] ; Bozhi Zhu	Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
004357 (2008)	Tobias Blum [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]	Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models
004417 (2008)	Ulrich Klank [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feussner [Allemagne] ; Nassir Navab [Allemagne]	Automatic feature generation in endoscopic images
004C29 (2007)	Andreas Abel [Allemagne]	Mixed Inductive/Coinductive Types and Strong Normalization
005238 (2006)	Martin Groher [Allemagne] ; Nicolas Padoy [Allemagne] ; Tobias F. Jakobs [Allemagne] ; Nassir Navab [Allemagne]	New CTA Protocol and 2D-3D Registration Method for Liver Catheterization
005589 (2006)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France]	Specification and refinement of mobile systems in MTLA and mobile UML
006165 (2005)	Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]	Truly On-the-Fly LTL Model Checking
006182 (2005)	A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France]	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
006302 (2005)	Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]	Automated Reasoning for Security Protocol Analysis
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
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

---

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	Andreas Rausch
2	Eric Monfroy
2	Frank Marschall
2	Gerhard Popp
2	Hubertus Feu Ner
2	Klaus U. Schulz
2	M. Broy
2	M. Wirsing
2	Michael Gnatz
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	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	Dominique Cansell
1	Dominique Méry
1	E. D. Miller
1	E. H. Bünger
1	E. Horvath
1	E. T Ndevold
1	E. T. Habermann
1	E. Warda
1	F. Blotman
1	F. Bonnel
1	F. Burny
1	F. Huber
1	F. Jacqueline
1	F. Paolaggi
1	F. Schuind
1	F. Sombo
1	F. Vigoni

---

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "District de Haute-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é=    District de Haute-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