sign in · help · news · about ·

BibSonomy :: author :: Henke ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(165)

<< < 1 | 2 | 3 > >>

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, and Friedrich W. von Henke FTCS, page 68-75. IEEE Computer Society, (1999)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Formal Verification of Algorithms for Critical Systems.
John M. Rushby, and Friedrich W. von Henke IEEE Trans. Software Eng. 19(1):13-23 (1993)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.
Sam Owre, John M. Rushby, Natarajan Shankar, and Friedrich W. von Henke IEEE Trans. Software Eng. 21(2):107-125 (1995)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Preliminary results of a low-frequency 3D-sar approach for glacier volume mapping.
Daniel Henke, and Erich Meier IGARSS, page 2027-2030. IEEE, (2010)
to dblp by dblp on Oct 28, 2011, 12:00 AM
URL | BibTeX
Functional Composition and Its Challenges.
Abbas Ali Siddiqui, M. Rahamatullah Khondoker, Bernd Reuther, Paul Müller, Christian Henke, and Helge Backhaus IMIS, page 336-340. IEEE, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
Remote and Virtual Laboratories in Problem-Based Learning Scenarios.
Heinz-Dietrich Wuttke, Raimund Ubar, and Karsten Henke ISM, page 377-382. IEEE Computer Society, (2010)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Multipath Routing Slice Experiments in Federated Testbeds.
Tanja Zseby, Thomas Zinner, Kurt Tutschku, Yuval Shavitt, Phuoc Tran-Gia, Christian Schwartz, Albert Rafetseder, Christian Henke, and Carsten Schmoll Future Internet Assembly, volume 6656 of Lecture Notes in Computer Science, page 247-258. Springer, (2011)
to dblp by dblp on Aug 23, 2011, 12:00 AM
URL | BibTeX
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.
Holger Pfeifer, and Friedrich W. von Henke SAFECOMP, volume 3219 of Lecture Notes in Computer Science, page 240-253. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Ausländer in der DDR
Dagmar Henke Informationsdienst zur Ausländerarbeit 11(3):61--63 (1990)
to 70er 80er DDR Deutschland Geschichte Migration Überblick by sophia-theodor on Aug 5, 2011, 5:45 PM
BibTeX
Fremde Nähe - nahe Fremde: Ein Beitrag zur Ausländerarbeit der Kirchen in der ehemaligen DDR
Dagmar Henke Berliner Theologische Zeitschrift 9(1):121 (1992)
to DDR Deutschland Geschichte Kirche Migration Rechtsextremismus Zivilgesellschaft by sophia-theodor on Aug 5, 2011, 5:45 PM
BibTeX
Mechanical Verification of Clock Synchronization Algorithms.
Detlef Schwier, and Friedrich W. von Henke FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 262-271. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Towards automation of proofs by induction.
Friedrich W. von Henke Theoretical Computer Science, volume 48 of Lecture Notes in Computer Science, page 208-214. Springer, (1977)
to dblp by dblp on Jun 9, 2011, 12:00 AM
URL | BibTeX
PROQOS - Dynamic SLA Management in DiffServ Space Links.
Manuel Pessoa, Antonio Alves, Gonçalo Quadros, Fernando Boavida, Michael Henke, Milva Natcheva, Patrick Halke, Peter Maurutschek, Zenon Huskic, Kurt Wagner, Frank Zeppenfeldt, and Roberto Donadio J. Network Syst. Manage. 12(4):441-461 (2004)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Lernen mit Online-Praktika.
Heinz-Dietrich Wuttke, and Karsten Henke Leipziger Informatik-Tage, volume 72 of LNI, page 481-490. GI, (2005)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
VIScover: Visualizing, exploring, and analysing structured data.
Thorsten Liebig, Olaf Noppens, and Friedrich W. von Henke IEEE VAST, page 259-260. IEEE, (2009)
to dblp by dblp on May 5, 2011, 12:00 AM
URL | BibTeX
Finanzwissenschaft: Eine Einführung in die Lehre von der öffentlichen Finanzwirtschaft
Horst Zimmermann, and Klaus-Dirk Henke (2005)
to (condition-type), (feature{\_}two{\_}browse-bin), AAS, Allgemein, Alter Ausgabe, Condition Finanzwissenschaft, Gebundene General Gr{\"o}se Normale {\"U}berblick, by iww on May 3, 2011, 5:01 PM
BibTeX
Learning management systems: Coupled simulations and assessments in a digital systems course.
Heinz-Dietrich Wuttke, and Karsten Henke Interact. Techn. Smart Edu. 6(2):97-107 (2009)
to dblp by dblp on Apr 21, 2011, 12:00 AM
URL | BibTeX
Future Internet Assembly FIA Book Future Internet: Achievements and Promising Technology
Tanja Zseby, Thomas Zinner, Kurt Tutschku, Yuval Shavitt, Phuoc Tran-Gia, Christian Schwartz, Albert Rafetseder, Christian Henke, and Carsten Schmoll chapter Multipath Routing Slice Experiments in Federated Testbeds, Springer, (May 2011)
to info3 myown by uniwue_info3 on Apr 5, 2011, 2:55 PM
BibTeX
IT-gestützte Experteninterviews zur Exploration von Spezialwissen in landwirtschaftlichen Wertschöpfungsketten am Beispiel des Braugerstenmarktes.
Sören Henke, and Ludwig Theuvsen GIL Jahrestagung, volume 181 of LNI, page 93-96. GI, (2011)
to dblp by dblp on Mar 25, 2011, 12:00 AM
URL | BibTeX
Bewusstsein für Lernen unnötig
Simone Duss, and Katharina Henke Spektrum der Wissenschaft (1):16-18 (2011)
to Gedächtnis Implizites_Lernen Lernen Unbewusstes_Lernen by powidl on Mar 2, 2011, 6:51 PM
BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100