UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

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

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

Integrated Formal Methods, p.50-66

Volltextzugriff (PDF)

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Integrated Formal Methods, p.102-110

Volltextzugriff (PDF)

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

Integrated Formal Methods, p.145-160

Volltextzugriff (PDF)

The FCRAO Extragalactic CO Survey. I. The Data

The Astrophysical journal. Supplement series, 1995-05, Vol.98, p.219

1995

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

On the feasibility of crawling-based attacks against recommender systems1

Journal of computer security, 2022-08, Vol.30 (4), p.599-621

2022

Volltextzugriff (PDF)

A formal framework for security analysis of NFC mobile coupon protocols

Journal of computer security, 2015-12, Vol.23 (6), p.685-707

2015

Volltextzugriff (PDF)

Hoare-Style Reasoning from Multiple Contracts

Integrated Formal Methods, p.263-278

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Science of computer programming, 2015-11, Vol.111, p.213-213

2015

Volltextzugriff (PDF)

Specifying authentication using signal events in CSP

Computers & security, 2009-07, Vol.28 (5), p.310-324

2009

Volltextzugriff (PDF)

Triggerless Happy: Intermediate Verification with a First-Order Prover

Integrated Formal Methods, 2017, Vol.10510, p.295-311

2017

Volltextzugriff (PDF)

A Survey of Practical Formal Methods for Security

Formal aspects of computing, 2022-07, Vol.34 (1), p.1-39

2022

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Integrated Formal Methods, p.3-17

Volltextzugriff (PDF)

Erprobung kooperativer Dienste im realen Verkehrsumfeld

ATZextra, 2019-03, Vol.24 (S1), p.24-27

Schneider, Steve

2019

Volltextzugriff (PDF)

Under Pressure: Coal Industry Rhetoric and Neoliberalism

Jen Schneider, Steve Schwarze, Peter K. Bsumek, Jennifer Peeples

1, 2016

Volltextzugriff (PDF)

The behavioural semantics of Event-B refinement

Formal aspects of computing, 2014-03, Vol.26 (2), p.251-280

2014

Volltextzugriff (PDF)

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

Volltextzugriff (PDF)

MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams

Integrated Formal Methods, p.348-356

Volltextzugriff (PDF)

Changing system interfaces consistently: A new refinement strategy for CSP ∥ B

Science of computer programming, 2011-10, Vol.76 (10), p.837-860

2011

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2014-01, Vol.26 (1), p.1

2014

Volltextzugriff (PDF)

1 – 25 von 1.109

Suche als RSS-Feed

Aktive Filter

ThemaComputer Science, Theory & Methods

ThemaComputer Security

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(549)
Mit Volltextzugriff
(1.042)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(311)
Life Sciences & Biomedicine
(187)
Humans
(131)
Technology
(84)
Social Sciences
(75)
Male
(69)
Female
(68)
Computer Science
(59)
Physical Sciences
(58)
Animals
(41)
Engineering
(38)
Exact Sciences And Technology
(35)
Psychology
(34)
Adult
(28)
Computer Science, Software Engineering
(27)
Engineering, Electrical & Electronic
(27)
Mice
(26)
Middle Aged
(26)
Biological And Medical Sciences
(25)
Software
(25)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(13)

Menü

Weitere Dienste

Einstellungen

Discovery of Novel, Induced-Pocket Binding Oxazolidinones as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors

Structure-Based Design of 2‑Aminopyridine Oxazolidinones as Potent and Selective Tankyrase Inhibitors

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

The VerCors Tool Set: Verification of Parallel and Concurrent Software

Transient and Steady-State Statistical Analysis for Discrete Event Simulators

The FCRAO Extragalactic CO Survey. I. The Data

Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols1

Towards post-quantum security for cyber-physical systems: Integrating PQC into industrial M2M communication1

On the feasibility of crawling-based attacks against recommender systems1

A formal framework for security analysis of NFC mobile coupon protocols

Hoare-Style Reasoning from Multiple Contracts

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Specifying authentication using signal events in CSP

Triggerless Happy: Intermediate Verification with a First-Order Prover

A Survey of Practical Formal Methods for Security

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems

Erprobung kooperativer Dienste im realen Verkehrsumfeld

Under Pressure: Coal Industry Rhetoric and Neoliberalism

The behavioural semantics of Event-B refinement

Discovery of a Class of Novel Tankyrase Inhibitors that Bind to Both the Nicotinamide Pocket and the Induced Pocket

MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams

Changing system interfaces consistently: A new refinement strategy for CSP ∥ B

Editorial

Aktive Filter

Suchergebnisse filtern