Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Lecture notes in computer science, 2015, Vol.9036, p.11-31
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
When a Thin Language Is Definable in wmso
Descriptive Set Theoretic Methods in Automata Theory, p.93-119
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Collapse for Unambiguous Automata
Descriptive Set Theoretic Methods in Automata Theory, p.37-43
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Descriptive Complexity of mso+u
Descriptive Set Theoretic Methods in Automata Theory, p.159-171
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Uniformization on Thin Trees
Descriptive Set Theoretic Methods in Automata Theory, p.137-156
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Undecidability of mso+u
Descriptive Set Theoretic Methods in Automata Theory, p.173-181
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Recognition by Thin Algebras
Descriptive Set Theoretic Methods in Automata Theory, p.121-135
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
When a Büchi Language Is Definable in wmso
Descriptive Set Theoretic Methods in Automata Theory, p.45-69
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Index Problems for Game Automata
Descriptive Set Theoretic Methods in Automata Theory, p.71-89
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Basic Notions
Descriptive Set Theoretic Methods in Automata Theory, 2016, Vol.9802, p.1-26
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A delegation-based object calculus with subtyping
Fundamentals of Computation Theory, 2005, p.42-61
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Notes on sconing and relators
Computer Science Logic, 2005, p.352-378
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Notes on typed object-oriented programming
Theoretical Aspects of Computer Software, 2005, p.844-885
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
TBA : A Hybrid of Logic and Extensional Access Control Systems
Formal Aspects of Security and Trust, p.198-213
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Second-order logical relations: Extended abstract
Logics of Programs, 2005, p.225-236
2005
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Relationships Between Notions of Simulation-Based Security
Theory of Cryptography, p.476-494
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Foreword
Principles of Security and Trust, 2013, Vol.7796
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organization
Principles of Security and Trust, 2013, Vol.7796
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Regular Papers
Principles of Security and Trust, 2013, Vol.7796
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Invited Talks
Principles of Security and Trust, 2013, Vol.7796
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Intro
Principles of Security and Trust, 2013, Vol.7796
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Scallop Shell Mineralogy and Crystalline Characteristics: Proxy Records for Interpreting Antarctic Nearshore Marine Hydrochemical Variability
Contributions to Antarctic Research III, 1992, p.27-38
1992
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Program Analysis for Web Security
Static Analysis, p.4-4
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
ch-22.pdf
Trust Management II, 2008, Vol.263
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
ch-19.pdf
Trust Management II, 2008, Vol.263
2008
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 99.224
Suche als RSS-Feed
Aktive Filter
KollektionMEDLINE
ThemaComputer Science
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen