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)

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

The FCRAO Extragalactic CO Survey. I. The Data

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

1995

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)

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)

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)

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)

A CSP Account of Event-B Refinement

Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.139-154

2011

Volltextzugriff (PDF)

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

1, 2013

Volltextzugriff (PDF)

Anonymous Single Sign-On With Proxy Re-Verification

IEEE transactions on information forensics and security, 2020, Vol.15 (1), p.223-236

2020

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)

Specifying authentication using signal events in CSP

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

2009

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)

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)

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-2

2014

Volltextzugriff (PDF)

Editorial

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

2014

Volltextzugriff (PDF)

Editorial

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

2014

Volltextzugriff (PDF)

Cryptographic protocols with everyday objects

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

2014

Volltextzugriff (PDF)

1 – 25 von 932

Suche als RSS-Feed

Aktive Filter

KollektionIngentaConnect Journals

KollektionSpringer Book Series

Zeitschrift / SerieAmerican Journal Of Human Genetics

ThemaSoftware Engineering

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(443)
Mit Volltextzugriff
(832)

Publikationsform

6 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(303)
Life Sciences & Biomedicine
(164)
Humans
(112)
Technology
(101)
Social Sciences
(71)
Computer Science
(63)
Female
(61)
Male
(59)
Physical Sciences
(55)
Cable Television
(48)
Engineering
(42)
Animals
(33)
Psychology
(33)
Engineering, Electrical & Electronic
(30)
Computer Science, Software Engineering
(29)
Adult
(27)
Astronomy & Astrophysics
(23)
Computer Science, Information Systems
(23)
Exact Sciences And Technology
(23)
Life Sciences
(23)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(16)
... seit 90 Tagen
(18)

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

Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings

The FCRAO Extragalactic CO Survey. I. The Data

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

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

On the feasibility of crawling-based attacks against recommender systems1

A formal framework for security analysis of NFC mobile coupon protocols

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials

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

A CSP Account of Event-B Refinement

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

Anonymous Single Sign-On With Proxy Re-Verification

A Survey of Practical Formal Methods for Security

Specifying authentication using signal events in CSP

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting 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

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

Editorial

Editorial

Editorial

Cryptographic protocols with everyday objects

Aktive Filter

Suchergebnisse filtern