E-LIB Suche - Ergebnisse für: Salim, Aleksandar

1

Chemical Probe for Imaging of Polo-like Kinase 4 and Centri..:

Salim, Aleksandar ; Werther, Philipp ; Hatzopoulos, Georgios N....
JACS Au. 3 (2023) 8 - p. 2247-2256 , 2023

2

Small-Molecule Fluorescent Probes for Live-Cell Super-Resol..:

Wang, Lu ; Frei, Michelle S. ; Salim, Aleksandar.
Journal of the American Chemical Society. 141 (2018) 7 - p. 2770-2781 , 2018

Link: https://doi.org/10.1021/..

3

Chemical Probe for Imaging of Polo-like Kinase 4 and Centri..:

Salim, Aleksandar ; Werther, Philipp ; Hatzopoulos, Georgios N...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10466336/. , 2023

Link: http://www.ncbi.nlm.nih...

4

Chemical Probe for Imaging of Polo-like Kinase 4 and Centri..:

Aleksandar Salim ; Philipp Werther ; Georgios N. Hatzopoulos...
https://doi.org/10.1021/jacsau.3c00271. , 2023

Link: https://doi.org/10.1021/..

5

A lipidomic based metabolic age score captures cardiometabo..:

Wang, Tingting ; Beyene, Habtamu B. ; Yi, Changyu...
eBioMedicine. 105 (2024) - p. 105199 , 2024

Link: https://doi.org/10.1016/..

6

Lipidomic Risk Score to Enhance Cardiovascular Risk Stratif..:

Wu, Jingqin ; Giles, Corey ; Dakic, Aleksandar...
Journal of the American College of Cardiology. 84 (2024) 5 - p. 434-446 , 2024

Link: https://doi.org/10.1016/..

7

DES-TOMATO: A Knowledge Exploration System Focused On Tomat..:

Salhi, Adil ; Negrão, Sónia ; Essack, Magbubah...
Scientific Reports. 7 (2017) 1 - p. , 2017

Link: https://doi.org/10.1038/..

8

bTSSfinder: a novel tool for the prediction of promoters in..:

Shahmuradov, Ilham Ayub ; Mohamad Razali, Rozaimi ; Bougouffa, Salim...
Bioinformatics. 33 (2016) 3 - p. 334-340 , 2016

Link: https://doi.org/10.1093/..

9

DESM: portal for microbial knowledge exploration systems:

Salhi, Adil ; Essack, Magbubah ; Radovanovic, Aleksandar...
Nucleic Acids Research. 44 (2015) D1 - p. D624-D633 , 2015

Link: https://doi.org/10.1093/..

10

DEOP: a database on osmoprotectants and associated pathways:

Bougouffa, Salim ; Radovanovic, Aleksandar ; Essack, Magbubah.
Database. 2014 (2014) - p. , 2014

Link: https://doi.org/10.1093/..

11

Verification of Program Transformations with Inductive Refi..:

Al-Sibahi, Ahmad Salim ; Jensen, Thomas P. ; Dimovski, Aleksandar S..
ACM Transactions on Software Engineering and Methodology (TOSEM). 30 (2021) 1 - p. 1-33 , 2021

Link: https://dl.acm.org/doi/1..

12

Verification of Program Transformations with Inductive Refi..:

Al-Sibahi, Ahmad Salim ; Jensen, Thomas P. ; Dimovski, Aleksandar S..
ACM Transactions on Software Engineering and Methodology. 30 (2021) 1 - p. 1-33 , 2021

Link: https://doi.org/10.1145/..

13

Verification of high-level transformations with inductive r..:

Al-Sibahi, Ahmad Salim ; Jensen, Thomas P. ; Dimovski, Aleksandar S..
ACM SIGPLAN Notices. 53 (2020) 9 - p. 147-160 , 2020

Link: https://doi.org/10.1145/..

14

Verification of high-level transformations with inductive r..:

, In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Al-Sibahi, Ahmad Salim ; Jensen, Thomas P. ; Dimovski, Aleksandar S.. - p. 147-160 , 2018

Link: https://dl.acm.org/doi/1..

15

Symbolic execution of high-level transformations:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering,

Al-Sibahi, Ahmad Salim ; Dimovski, Aleksandar S. ; Wąsowski, Andrzej - p. 207-220 , 2016

Link: https://dl.acm.org/doi/1..