Mulhouse < Munich < Münster

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000166 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer
000302 (2013)	Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]	A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
000D06 (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
000D48 (2008)	Christian Urban [Allemagne] ; Bozhi Zhu	Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
000D85 (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
000E45 (2008)	Ulrich Klank [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feussner [Allemagne] ; Nassir Navab [Allemagne]	Automatic feature generation in endoscopic images
001014 (2007)	Andreas Abel [Allemagne]	Mixed Inductive/Coinductive Types and Strong Normalization
001478 (2005)	Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]	Truly On-the-Fly LTL Model Checking
001496 (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
001616 (2005)	Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]	Automated Reasoning for Security Protocol Analysis
001752 (2004)	Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne]	Refining Mobile UML State Machines
001A99 (2003)	Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Júlia Zappe [Allemagne]	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
001C16 (2002)	B. Sch Tz [Allemagne] ; A. Pretschner [Allemagne] ; F. Huber [Allemagne] ; J. Philipps [Allemagne]	Model-Based Development of Embedded Systems
001D99 (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
001E71 (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
001F12 (2001)	Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne]	Combining Constraint Solving
002053 (2000)	Klaus U. Schulz [Allemagne]	Why Combined Decision Problems Are Often Intractable
002427 (1999)	Yassine Mokhtari [France] ; Stephan Merz [Allemagne]	Animating TLA Specifications
002593 (1998)	Rolf Backofen [Allemagne] ; Ralf Treinen [France]	How to Win a Game with Features
002823 (1997)	Ludwig Fahrmeir [Allemagne] ; Leonhard Knorr-Held [Allemagne]	9. Dynamic Discrete-Time Duration Models: Estimation Viamarkov Chain Monte Carlo
002A46 (1995)	María J. Carrascal [Allemagne] ; Louis F. Pau [France] ; Ludwig Reiner [Allemagne]	Knowledge and information transfer in agriculture using hypermedia: a system review

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffVille.i -k "Munich" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffVille.i  \
                -Sk "Munich" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Munich
}}

---

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