Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Dimovski, Aleksandar"" wg kryterium: Autor


Tytuł:
Synthesizing Promela model sketches using abstract lifted model checking
Autorzy:
Dimovski, Aleksandar S.Aff1, IDs4187002301550x_cor1
Pokaż więcej
Źródło:
International Journal of Information Technology: An Official Journal of Bharati Vidyapeeth's Institute of Computer Applications and Management. 16(1):425-435
Czasopismo naukowe
Czasopismo naukowe
Tytuł:
Anti-inflammatory and immunomodulatory effects of rosuvastatin in patients with low-to-moderate cardiovascular risk
Autorzy:
VAVLUKIS ANA
VAVLUKIS MARIJA
DIMOVSKI ALEKSANDAR
PETRUSHEVSKA GORDANA
EFTIMOV ALEKSANDAR
DOMAZETOVSKA SASHKA
MLADENOVSKA KRISTINA
Pokaż więcej
Temat:
rosuvastatin
vascular endothelial growth factor
epidermal growth factor
cardiovascular risk
Pharmaceutical industry
HD9665-9675
Źródło:
Acta Pharmaceutica, Vol 72, Iss 2, Pp 303-315 (2022)
Opis pliku:
electronic resource
Relacje:
https://doaj.org/toc/1846-9558
Dostęp URL:
https://doaj.org/article/4c016631a3ad4511a8c11e6f0a6ff19b  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
Autorzy:
Dimovski, Aleksandar S.
Legay, Axel
Wasowski, Andrzej
Pokaż więcej
Źródło:
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11424:192-209
Książka elektroniczna
Tytuł:
AKR1D1*36 C>T (rs1872930) allelic variant is associated with variability of the CYP2C9 genotype predicted pharmacokinetics of ibuprofen enantiomers – a pilot study in healthy volunteers
Autorzy:
Kapedanovska Nestorovska Aleksandra
Jakjovski Krume
Naumovska Zorica
Sterjev Zoran
Geskovska Nadica Matevska
Mladenovska Kristina
Suturkova Ljubica
Dimovski Aleksandar
Pokaż więcej
Temat:
ibuprofen
enantiomers
pharmacokinetics
akr1d1
cyp2c9
pharmacogenetics
Pharmaceutical industry
HD9665-9675
Źródło:
Acta Pharmaceutica, Vol 69, Iss 3, Pp 399-412 (2019)
Opis pliku:
electronic resource
Relacje:
https://doaj.org/toc/1846-9558
Dostęp URL:
https://doaj.org/article/f2e49c5c14c346c89871f395269d2d7d  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Synthesizing Promelamodel sketches using abstract lifted model checking
Autorzy:
Dimovski, Aleksandar S.
Pokaż więcej
Źródło:
International Journal of Information Technology; January 2024, Vol. 16 Issue: 1 p425-435, 11p
Periodyk
Tytuł:
CTL⋆ family-based model checking using variability abstractions and modal transition systems
Autorzy:
Dimovski, Aleksandar S.
Pokaż więcej
Źródło:
International Journal on Software Tools for Technology Transfer. 22(1):35-55
Czasopismo naukowe
Tytuł:
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL
Autorzy:
Dimovski, Aleksandar S.
Pokaż więcej
Źródło:
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. 10802:301-318
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies