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
Data Poisoning Attacks Against Federated Learning Systems
Computer Security – ESORICS 2020, p.480-501
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
Open Access
    Datensatz exportieren als...
  • BibTeX
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL
Integrated Formal Methods, p.50-66
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
Integrated Formal Methods, p.145-160
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
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
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
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Integrated Formal Methods, p.102-110
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Hoare-Style Reasoning from Multiple Contracts
Integrated Formal Methods, p.263-278
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Follow the Blue Bird: A Study on Threat Data Published on Twitter
Computer Security – ESORICS 2020, p.217-236
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
PGLP: Customizable and Rigorous Location Privacy Through Policy Graph
Computer Security – ESORICS 2020, p.655-676
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Triggerless Happy: Intermediate Verification with a First-Order Prover
Integrated Formal Methods, 2017, Vol.10510, p.295-311
2017
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
A Framework for Evaluating Client Privacy Leakages in Federated Learning
Computer Security – ESORICS 2020, p.545-566
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Integrated Formal Methods, p.3-17
Link zum Volltext
Verfügbarkeit prüfen
    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
    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-01, Vol.26 (1), p.1
2014
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 643
Suche als RSS-Feed
Aktive Filter
KollektionIngentaConnect Journals
ThemaComputer Science
ThemaSoftware Engineering
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
5 weitere anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt