sign in · help · news · about ·

BibSonomy :: author :: Wolter ::

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

(427)

<< < 1 | 2 | 3 > >>

On Stochastic Fault-Injection for IP-Packet Loss Emulation.
Philipp Reinecke, and Katinka Wolter EPEW, volume 6977 of Lecture Notes in Computer Science, page 163-173. Springer, (2011)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Model-Based Evaluation and Improvement of PTP Syntonisation Accuracy in Packet-Switched Backhaul Networks for Mobile Applications.
Katinka Wolter, Philipp Reinecke, and Alfons Mittermaier EPEW, volume 6977 of Lecture Notes in Computer Science, page 219-234. Springer, (2011)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, and Frank Wolter CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Modal Logics of Topological Relations
Carsten Lutz, and Frank Wolter CoRR (2006)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Undecidability of the unification and admissibility problems for modal and description logics
Frank Wolter, and Michael Zakharyaschev CoRR (2006)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics
Carsten Lutz, and Frank Wolter CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Description Logic TBoxes: Model-theoretic Characterizations and Rewritability
Carsten Lutz, Robert Piro, and Frank Wolter CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Social Construction of Information Security.
Wolter Pieters Inf. Soc. 27(5):326-335 (2011)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Quantitative temporal logics over the reals: PSpace and below.
Carsten Lutz, Dirk Walther 0002, and Frank Wolter Inf. Comput. 205(1):99-123 (2007)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
ATL Satisfiability is Indeed EXPTIME-complete.
Dirk Walther 0002, Carsten Lutz, Frank Wolter, and Michael Wooldridge J. Log. Comput. 16(6):765-787 (2006)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies.
Boris Konev, Dirk Walther 0002, and Frank Wolter IJCAI, page 830-835. (2009)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Conservative Extensions in Expressive Description Logics.
Carsten Lutz, Dirk Walther 0002, and Frank Wolter IJCAI, page 453-458. (2007)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Quantitative Temporal Logics: PSPACE and Below.
Carsten Lutz, Dirk Walther 0002, and Frank Wolter TIME, page 138-146. IEEE Computer Society, (2005)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Formal Properties of Modularisation.
Boris Konev, Carsten Lutz, Dirk Walther 0002, and Frank Wolter Modular Ontologies, volume 5445 of Lecture Notes in Computer Science, Springer, (2009)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Logical Difference and Module Extraction with CEX and MEX.
Boris Konev, Carsten Lutz, Dirk Walther 0002, and Frank Wolter Description Logics, volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.
Boris Konev, Dirk Walther 0002, and Frank Wolter Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Semantic Modularity and Module Extraction in Description Logics.
Boris Konev, Carsten Lutz, Dirk Walther 0002, and Frank Wolter ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 55-59. IOS Press, (2008)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
An Assessment of Alternative Wireless Access Technologies for PCS Applications.
Douglas Duet, Jean-Fu Kiang, and David R. Wolter IEEE Journal on Selected Areas in Communications 11(6):861-869 (1993)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Interactive Blood Damage Analysis for Ventricular Assist Devices.
Bernd Hentschel, Irene Tedjo, Markus Probst, Marc Wolter, Marek Behr, Christian H. Bischof, and Torsten Kuhlen IEEE Trans. Vis. Comput. Graph. 14(6):1515-1522 (2008)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX

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