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.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000B86 (2014-05-01)	Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]	Universal Point Sets for Planar Graph Drawing with Circular Arcs
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
001073 (2013-08-08)	Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne]	Universal Point Sets for Planar Graph Drawings with Circular Arcs
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
002610 (2011)	Violeta I. Pérez-Nueno [France, Allemagne] ; Vishwesh Venkatraman [France] ; Lazaros Mavridis [France] ; Tim Clark [Allemagne] ; David W. Ritchie [France]	Using Spherical Harmonic Surface Property Representations for Ligand‐Based Virtual Screening
002F98 (2010)	Ralf Ellner [Allemagne] ; Samir Al-Hilank [Allemagne] ; Johannes Drexler [Allemagne] ; Martin Jung [Allemagne] ; Detlef Kips [Allemagne] ; Michael Philippsen [Allemagne]	eSPEM – A SPEM Extension for Enactable Behavior Modeling
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
005467 (2006)	Antonia Albani [Allemagne] ; Jan L. G. Dietz [Pays-Bas] ; Johannes Maria Zaha [Allemagne]	Identifying Business Components on the Basis of an Enterprise Ontology
005488 (2006)	Bettina Bazijanec [Allemagne] ; Johannes Maria Zaha [Allemagne] ; Antonia Albani [Allemagne] ; Klaus Turowski [Allemagne]	Establishing Interoperability of Coordination Protocols in ad hoc Inter-Organizational Collaborations
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

---

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