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
    Datensatz exportieren als...
  • BibTeX
Discovery of Novel, Induced-Pocket Binding Oxazolidinones as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors
Journal of medicinal chemistry, 2013-06, Vol.56 (11), p.4320-4342
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Structure-Based Design of 2‑Aminopyridine Oxazolidinones as Potent and Selective Tankyrase Inhibitors
ACS medicinal chemistry letters, 2013-12, Vol.4 (12), p.1218-1223
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings
1st Edition 2019, 2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings
1st Edition 2019, 2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The FCRAO Extragalactic CO Survey. I. The Data
The Astrophysical journal. Supplement series, 1995-05, Vol.98, p.219
1995
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the feasibility of crawling-based attacks against recommender systems1
Journal of computer security, 2022-08, Vol.30 (4), p.599-621
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols1
Journal of computer security, 2022-08, Vol.30 (4), p.573-598
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication1
Journal of computer security, 2022-08, Vol.30 (4), p.623-653
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A formal framework for security analysis of NFC mobile coupon protocols
Journal of computer security, 2015-12, Vol.23 (6), p.685-707
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials
IEEE transactions on dependable and secure computing, 2021-07, Vol.18 (4), p.1836-1849
2021
Open Access
    Datensatz exportieren als...
  • BibTeX
Special issue on Automated Verification of Critical Systems (AVoCS 2013)
Science of computer programming, 2015-11, Vol.111, p.213-213
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A CSP Account of Event-B Refinement
Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.139-154
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Anonymous Single Sign-On With Proxy Re-Verification
IEEE transactions on information forensics and security, 2020, Vol.15, p.223-236
2020
Open Access
    Datensatz exportieren als...
  • BibTeX
Specifying authentication using signal events in CSP
Computers & security, 2009-07, Vol.28 (5), p.310-324
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Survey of Practical Formal Methods for Security
Formal aspects of computing, 2022-07, Vol.34 (1), p.1-39
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems
IEEE transactions on dependable and secure computing, 2024-07, Vol.21 (4), p.3357-3374
2024
    Datensatz exportieren als...
  • BibTeX
Erprobung kooperativer Dienste im realen Verkehrsumfeld
ATZextra, 2019-03, Vol.24 (S1), p.24-27
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Under Pressure: Coal Industry Rhetoric and Neoliberalism
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The behavioural semantics of Event-B refinement
Formal aspects of computing, 2014-03, Vol.26 (2), p.251-280
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Discovery of a Class of Novel Tankyrase Inhibitors that Bind to Both the Nicotinamide Pocket and the Induced Pocket
Journal of medicinal chemistry, 2013-02, Vol.56 (3), p.1341-1345
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Changing system interfaces consistently: A new refinement strategy for CSP ∥ B
Science of computer programming, 2011-10, Vol.76 (10), p.837-860
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Editorial
Formal aspects of computing, 2014-01, Vol.26 (1), p.1-2
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Editorial
Formal aspects of computing, 2014, Vol.26 (1), p.1-2
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Editorial
Formal aspects of computing, 2014-01, Vol.26 (1), p.1
2014
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Refocusing crime prevention: collective action and the quest for community
Refocusing crime prevention, 2007
1, 2007
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 547
Suche als RSS-Feed
Aktive Filter
KollektionIngentaConnect Journals
KollektionSpringer Book Series
PublikationsformBuchkapitel
ThemaSoftware Engineering
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
4 weitere anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
16 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt