Algérie < Allemagne < Andorre

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000011 (2014)	John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne]	Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots
000032 (2013)	SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie]	La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services
000104 (2012)	Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne]	Labelling logical structures of document images using a dynamic perceptive neural network
000136 (2011)	Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]	Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
000222 (2009)	H. Schmidt [Allemagne] ; A. Hutt [France] ; L. Schimansky-Geier [Allemagne]	Wave fronts in inhomogeneous neural field models
000284 (2008)	Mohamed Khalgui [Allemagne, France]	A deployment methodology of real-time industrial control applications in distributed controllers
000348 (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
000359 (2006)	Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France]	PROTEUS : Creating distributed maintenance systems through an integration platform
000369 (2006)	Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne]	Modular proof systems for partial functions with Evans equality
000402 (2006)	Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France]	Compositional analysis of contract-signing protocols
000417 (2006)	Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis]	A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
000442 (2005)	Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]	Truly on-the-fly LTL model checking
000450 (2005)	Peter Bürgisser [Allemagne] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France]	The complexity of semilinear problems in succinct representation
000451 (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. Heam [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. Vigano [Suisse] ; L. Vigneron [France]	The AVISPA tool for the automated validation of internet security protocols and applications
000465 (2005)	Dieter Zöbel [Allemagne] ; David Polock [Allemagne]	Priority inheritance revisited : Towards the conformance of real-time protocols
000476 (2005)	Francois Lamarche [France] ; Lutz Strassburger [Allemagne]	Naming proofs in classical propositional logic
000478 (2005)	Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne]	Multi-dimensional graph configuration for natural language processing
000520 (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
000525 (2005)	Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]	An NP decision procedure for protocol insecurity with XOR
000575 (2004)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]	Refining mobile UML state machines
000576 (2004)	M. Hofmann [Allemagne] ; P. J. Scott [Canada]	Realizability models for BLL-like languages

---

List of associated Author.i

Nombre de documents	Descripteur
4	R. Schott
4	Stephan Merz
4	U. Franz
3	Alexander Knapp
3	Mathieu Turuani
2	A. Bockmayr
2	D. Neuenschwander
2	Ernst Althaus
2	F. Eisenbrand
2	Harald Ganzinger
2	J. Souquieres
2	Jeanine Souquieres
2	M. Heisel
2	Maritta Heisel
2	Martin Wirsing
2	Mohamed Khalgui
2	Thomas Santen
2	Yannick Chevalier
1	A. Armando
1	A. Hutt
1	A. Napoli
1	A. S. Schulz
1	Abdet Belaïd
1	Alessandro Armando
1	Alexander Bockmayr
1	Andreas Schulze
1	Andrzej Tarlecki
1	Anis Charfi
1	Ante Derek
1	Anupam Datta
1	Bernd Krieg-Brückner
1	Cesare Tinelli
1	Claire Gardent
1	D. Basin
1	D. Hofbauer
1	D. Von Oheimb
1	David Basin
1	David Polock
1	Denis Reboul
1	Denys Duchier
1	Dieter Zöbel
1	Dominique Cansell
1	Dominique Méry
1	Donald Sannella
1	E. Melis
1	Edgar A. Ramos
1	Egidio Astesiano
1	Elias Dahlhaus
1	Eric Meyer
1	F. Jacquemard
1	Farah Bellaaj
1	Felipe Cucker
1	Fethi Benouezdou
1	Francois Lamarche
1	Franz Baader
1	Gerd Stumme
1	Gordon Cheng
1	H. Ganzinger
1	H. Schmidt
1	Helmut Schwichtenberg
1	Hélène Kirchner
1	J. Cuellar
1	J. Lieber
1	J. Mantovani
1	J. Santiago
1	Jacek Szymanski
1	Jean-Pierre Thomesse
1	Jens Gustedt
1	Jochen Könemann
1	John C. Mitchell
1	John Nassour
1	Julia Zappe
1	Jürgen Stuber
1	K.-H. Niggl
1	Klaus Aehlig
1	Kurt Mehlhorn
1	L. Compagna
1	L. Kristiansen
1	L. Schimansky-Geier
1	L. Vigano
1	L. Vigneron
1	Laurent Vigneron
1	Lotfi Lakhal
1	Luca Compagna
1	Luca Vigano
1	Lutz Strassburger
1	M. Hartmann
1	M. Heisell
1	M. Hofmann
1	M. Huber
1	M. Rusinowitch
1	M. Turuani
1	M. Veanes
1	Marco Kuhlmann
1	Mario Thron
1	Martin Hofinann
1	Martin Skutella
1	Matthias Elf
1	Mehdi Bouallagui
1	Michael Backes

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffPays.i -k "Allemagne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/AffPays.i  \
                -Sk "Allemagne" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Allemagne
}}

---

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