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

Enabling analysis for Event-B

Science of computer programming, 2018-06, Vol.158, p.81-99

2018

Volltextzugriff (PDF)

Optimising the ProB model checker for B using partial order reduction

Formal aspects of computing, 2016-04, Vol.28 (2), p.295-323

2016

Volltextzugriff (PDF)

Enabling Analysis for Event-B

Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.102-118

Volltextzugriff (PDF)

LTL Model Checking under Fairness in ProB

Software Engineering and Formal Methods, p.204-211

Volltextzugriff (PDF)

An Approach for Creating Domain Specific Visualisations of CSP Models

Software Engineering and Formal Methods, p.20-35

Volltextzugriff (PDF)

Optimising the ProB Model Checker for B Using Partial Order Reduction

Software Engineering and Formal Methods, p.220-234

Volltextzugriff (PDF)

Structure and Conformational Mobility of OLED-Relevant 1,3,5-Triazine Derivatives

Molecules (Basel, Switzerland), 2023-01, Vol.28 (3), p.1248

2023

Volltextzugriff (PDF)

Molecular Insight into Mycobacterium tuberculosis Resistance to Nitrofuranyl Amides Gained through Metagenomics-like Analysis of Spontaneous Mutants

Pharmaceuticals (Basel, Switzerland), 2022-09, Vol.15 (9), p.1136

2022

Volltextzugriff (PDF)

Base-promoted direct amidation of esters: beyond the current scope and practical applications

RSC advances, 2022-07, Vol.12 (32), p.2555-2562

2022

Volltextzugriff (PDF)

Antioxidant and Prooxidant Effects of Curcumin, Piperine and Semi-synthetic Amides with Antimycobacterial Activity on the Lipid Oxidation Process

Proceedings of the Bulgarian Academy of Sciences, 2024-01, Vol.77 (3)

2024

Volltextzugriff (PDF)

In Vitro Anticancer Activity of Two Ferrocene-Containing Camphor Sulfonamides as Promising Agents against Lung Cancer Cells

Biomedicines, 2022-06, Vol.10 (6), p.1353

2022

Volltextzugriff (PDF)

Tetra dansylamides substituted cyclen and cyclam macrocycles as fluorescent sensing probes for metal ions and temperature-responsive materials in dopped polymers

Dyes and pigments, 2025-01, Vol.232, p.112461, Article 112461

2025

Volltextzugriff (PDF)

Evaluation of Acute and Sub-Acute Toxicity, Oxidative Stress and Molecular Docking of Two Nitrofuranyl Amides as Promising Anti-Tuberculosis Agents

Biomolecules (Basel, Switzerland), 2023-07, Vol.13 (8), p.1174

2023

Volltextzugriff (PDF)

Antimycobacterial activity generated by the amide coupling of (−)-fenchone derived aminoalcohol with cinnamic acids and analogues

Bioorganic & medicinal chemistry letters, 2014-11, Vol.24 (21), p.5030-5033

2014

Volltextzugriff (PDF)

Synthesis and anti-enterovirus activity of new analogues of MDL-860

Bioorganic & medicinal chemistry letters, 2017-10, Vol.27 (19), p.4540-4543

2017

Volltextzugriff (PDF)

Molecular Insight into IMycobacterium tuberculosis/I Resistance to Nitrofuranyl Amides Gained through Metagenomics-like Analysis of Spontaneous Mutants

Pharmaceuticals (Basel, Switzerland), 2022-09, Vol.15 (9)

2022

Volltextzugriff (PDF)

Anti-enteroviral activity of new MDL-860 analogues: Synthesis, in vitro/in vivo studies and QSAR analysis

Bioorganic chemistry, 2019-04, Vol.85, p.487-497

2019

Volltextzugriff (PDF)

Synthesis of ferrocenylmethylidene and arylidene substituted camphane based compounds as potential anticancer agents

New journal of chemistry, 2017, Vol.41 (17), p.9103-9112

2017

Volltextzugriff (PDF)

Synthesis and QSAR Analysis of Diaryl Ethers and Their Analogues as Potential Antiviral Agents

ChemistrySelect (Weinheim), 2022-09, Vol.7 (34), p.n/a

2022

Volltextzugriff (PDF)

Synthesis of ferrocenylmethylidene and arylidene substituted camphane based compounds as potential anticancer agentsElectronic supplementary information (ESI) available. CCDC 1519986. For ESI and crystallographic data in CIF or other electronic format see DOI: 10.1039/c7nj00619e

2017-08

Volltextzugriff (PDF)

Screening of compounds containing aminobutanol and camphane moieties against mycobacterium tuberculosis clinical isolates of different genotypes

International journal of mycobacteriology, 2021-01, Vol.10 (Suppl 1), p.S14

2021

Volltextzugriff (PDF)

Synthesis, Characterization and Complex Evaluation of Antibacterial Activity and Cytotoxicity of New Arylmethylidene Ketones and Pyrimidines with Camphane Skeletons

ChemistrySelect (Weinheim), 2022-05, Vol.7 (17), p.n/a

2022

Volltextzugriff (PDF)

Computer Controlled System for Impedance Measurements

2019 42nd International Spring Seminar on Electronics Technology (ISSE), 2019, p.1-5

2019

Volltextzugriff (PDF)

White Light AC Electroluminescent Displays

2019 42nd International Spring Seminar on Electronics Technology (ISSE), 2019, p.1-5

2019

Volltextzugriff (PDF)

Voltage source for AC electroluminescent measurements

2017 XXVI International Scientific Conference Electronics (ET), 2017, p.1-4

2017

Volltextzugriff (PDF)

1 – 25 von 25

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(21)
Mit Volltextzugriff
(20)

Publikationsform

Sprache

Englisch
(25)

Erscheinungsjahr

n.n

Thema

Science & Technology
(20)
Chemistry
(9)
Physical Sciences
(9)
Technology
(8)
Life Sciences & Biomedicine
(7)
Chemistry, Multidisciplinary
(5)
Computer Science
(5)
Computer Science, Software Engineering
(5)
Model Checking
(5)
Tuberculosis
(5)
Biochemistry & Molecular Biology
(4)
Event-B
(4)
Pharmacology & Pharmacy
(4)
Static Analysis
(4)
Antibiotics
(3)
Chemistry, Medicinal
(3)
Chemistry, Organic
(3)
Computer Science, Theory & Methods
(3)
Engineering
(3)
Humans
(3)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Enabling analysis for Event-B

Optimising the ProB model checker for B using partial order reduction

Enabling Analysis for Event-B

LTL Model Checking under Fairness in ProB

An Approach for Creating Domain Specific Visualisations of CSP Models

Optimising the ProB Model Checker for B Using Partial Order Reduction

Structure and Conformational Mobility of OLED-Relevant 1,3,5-Triazine Derivatives

Molecular Insight into Mycobacterium tuberculosis Resistance to Nitrofuranyl Amides Gained through Metagenomics-like Analysis of Spontaneous Mutants

Base-promoted direct amidation of esters: beyond the current scope and practical applications

Antioxidant and Prooxidant Effects of Curcumin, Piperine and Semi-synthetic Amides with Antimycobacterial Activity on the Lipid Oxidation Process

In Vitro Anticancer Activity of Two Ferrocene-Containing Camphor Sulfonamides as Promising Agents against Lung Cancer Cells

Tetra dansylamides substituted cyclen and cyclam macrocycles as fluorescent sensing probes for metal ions and temperature-responsive materials in dopped polymers

Evaluation of Acute and Sub-Acute Toxicity, Oxidative Stress and Molecular Docking of Two Nitrofuranyl Amides as Promising Anti-Tuberculosis Agents

Antimycobacterial activity generated by the amide coupling of (−)-fenchone derived aminoalcohol with cinnamic acids and analogues

Synthesis and anti-enterovirus activity of new analogues of MDL-860

Molecular Insight into IMycobacterium tuberculosis/I Resistance to Nitrofuranyl Amides Gained through Metagenomics-like Analysis of Spontaneous Mutants

Anti-enteroviral activity of new MDL-860 analogues: Synthesis, in vitro/in vivo studies and QSAR analysis

Synthesis of ferrocenylmethylidene and arylidene substituted camphane based compounds as potential anticancer agents

Synthesis and QSAR Analysis of Diaryl Ethers and Their Analogues as Potential Antiviral Agents

Synthesis of ferrocenylmethylidene and arylidene substituted camphane based compounds as potential anticancer agentsElectronic supplementary information (ESI) available. CCDC 1519986. For ESI and crystallographic data in CIF or other electronic format see DOI: 10.1039/c7nj00619e

Screening of compounds containing aminobutanol and camphane moieties against mycobacterium tuberculosis clinical isolates of different genotypes

Synthesis, Characterization and Complex Evaluation of Antibacterial Activity and Cytotoxicity of New Arylmethylidene Ketones and Pyrimidines with Camphane Skeletons

Computer Controlled System for Impedance Measurements

White Light AC Electroluminescent Displays

Voltage source for AC electroluminescent measurements

Suchergebnisse filtern