Претрага
251 items
-
Characterization, axial anisotropy and formation conditions of celestine from the Jabal Eghei (Nuqay) late Neogene – Pleistocene volcanic province, southern Libya: Constraints on the mineralogical geothermometer
Pavle Tančić, Maja Milošević, Darko Spahić, Bojan Kostić, Aleksandar Kremenović, Maja Poznanović-Spahić, Jovan Kovačević (2023)Pavle Tančić, Maja Milošević, Darko Spahić, Bojan Kostić, Aleksandar Kremenović, Maja Poznanović-Spahić, Jovan Kovačević. "Characterization, axial anisotropy and formation conditions of celestine from the Jabal Eghei (Nuqay) late Neogene – Pleistocene volcanic province, southern Libya: Constraints on the mineralogical geothermometer" in Mineralogical Magazine (2023). https://doi.org/10.1180/mgm.2023.88
-
Geoenvironmental Investigations at a Smelter Location in Bor (Serbia)
Petar Papić, Zvonimir Milijić, Jana Stojković, Jovana Milosavljević, Maja Todorović, Marina Ćuk, Željko Kamberović (2014)Petar Papić, Zvonimir Milijić, Jana Stojković, Jovana Milosavljević, Maja Todorović, Marina Ćuk, Željko Kamberović. "Geoenvironmental Investigations at a Smelter Location in Bor (Serbia)" in Challenges : Sustainable Land Management – Climate Change, Advances in Geoecology 43, Catena Verlag GMBH (2014)
-
Седиментологија и биостратиграфија миоцена Краљевице (источна Србија)
Васић Небојша, Бањешевић Миодраг, Рундић Љупко, Гајић Виолета, Јовановић Марија, Пантелић Немања, Прелевић Дејан, Костић Бојан (2018)Васић Небојша, Бањешевић Миодраг, Рундић Љупко, Гајић Виолета, Јовановић Марија, Пантелић Немања, Прелевић Дејан, Костић Бојан. "Седиментологија и биостратиграфија миоцена Краљевице (источна Србија)" in Зборник апстраката 17. Конгреса геолога Србије с међународним учешћем, Врњачка Бања, 17-20. мај 2018. 1, Београд:Српско-геолошко друштво (2018): 102-108
-
Assessment of spa mineral water quality from Vrnjačka Banja, Serbia: geochemical, bacteriological, and health risk aspects
Nebojša Đ. Pantelić, Simona Jaćimović, Jana Štrbački, Danijela B. Milovanović, Biljana P. Dojčinović, Aleksandar Ž. Kostić (2019)The goal of this study is to evaluate the quality of seven natural mineral water sources in the Vrnjačka Banja area used in the treatment of various diseases. The 24 macro- and microelements were determined by inductively coupled plasma optical emission spectrometry (ICP-OES). The results show that element content was within allowed limits of concentration, except for B, As, and Se. The evaluated content of these elements can be associated with geological and anthropogenic factors. The sample S6 contains ...Nebojša Đ. Pantelić, Simona Jaćimović, Jana Štrbački, Danijela B. Milovanović, Biljana P. Dojčinović, Aleksandar Ž. Kostić. "Assessment of spa mineral water quality from Vrnjačka Banja, Serbia: geochemical, bacteriological, and health risk aspects" in Environmental Monitoring and Assessment, Springer Science and Business Media LLC (2019). https://doi.org/10.1007/s10661-019-7848-7
-
Arsenopirit iz rudnih ležišta Šumadijsko-kopaoničke oblasti: paregeneza, sastav i produkti oksidacije
Ivana N. Jelić (2023)Arsenopirit, FeAsS je čest pratilac polimetaličnih orudnjenja Šumadijsko-kopaoničke oblasti. Jedan je od sulfida koji u najvećoj meri koncentriše zlato. Nepoželjan je u rudama jer njegovom oksidacijom na jalovištima može doći do oslobađanja arsena koji spada u elemente toksične za životnu sredinu. U okviru ovog doktorata sistematski su ispitivani arsenopiriti iz različitih stadijuma i tipova orudnjenja rudnih ležišta i mineralizacija Šumadijsko-kopaoničke oblasti (Rudnik, Sastavci, Trepča, Gokčanica – Drenjak i Rujak, Golijska reka i Jurija). Uzorci arsenopirita ispitivani su polarizacionom mikroskopijom ...... paregeneza, sastav i produkti oksidacije Ivana N. Jelić Дигитални репозиторијум Рударско-геолошког факултета Универзитета у Београду [ДР РГФ] Arsenopirit iz rudnih ležišta Šumadijsko-kopaoničke oblasti: paregeneza, sastav i produkti oksidacije | Ivana N. Jelić | | 2023 | | http://dr.rgf.bg.ac ...
... BEOGRADU RUDARSKO-GEOLOŠKI FAKULTET Ivana N. Jelić ARSENOPIRIT IZ RUDNIH LEŽIŠTA ŠUMADIJSKO-KOPAONIČKE OBLASTI: PARAGENEZA, SASTAV I PRODUKTI OKSIDACIJE doktorska disertacija Beograd, 2023. UNIVERSITY OF BELGRADE FACULTY OF MINING AND GEOLOGY Ivana N. Jelić ARSENOPYRITE FROM THE ORE ...
... -| 2000 | x T 40 20 =s T T 6 ” T1-2 In te nz it et w \ | f WJJ\}·ILJ» J.;.L uin 20 | 30 | 40 50 60 70 20 BIOGRAFIJA Ivana Jelić rođena je 02. maja 1981. godine u Beogradu. Osnovnu i srednju Pravno-birotehničku školu „9. Maj“ završila je u Beogradu, a 2001. godine upisala ...Ivana N. Jelić. Arsenopirit iz rudnih ležišta Šumadijsko-kopaoničke oblasti: paregeneza, sastav i produkti oksidacije, Beograd : [I. Jelić], 2023
-
Organic geochemical study of the upper layer of Aleksinac oil shale in the Dubrava block, Serbia
Gajica Gordana, Šajnović Aleksandra, Stojanović Ksenija, Kostić Aleksandar, Slipper Ian, Antonijević Milan, Nytoft Hans Peter, Jovančićević Branimir (2017)Gajica Gordana, Šajnović Aleksandra, Stojanović Ksenija, Kostić Aleksandar, Slipper Ian, Antonijević Milan, Nytoft Hans Peter, Jovančićević Branimir. "Organic geochemical study of the upper layer of Aleksinac oil shale in the Dubrava block, Serbia" in Oil Shale 34 no. 3, :Estonian Academy Publishers (2017): 197-218
-
Cretaceous ultrapotassic magmatism from the Sava-Vardar Zone of the Balkans
Kristijan Sokol, Dejan Prelević, Rolf Romer, Milica Božović, Paul van den Bogaard, Elitsa Stefanova, Bojan Kostić, Nenad Čokulov (2020)Late Cretaceous global plate reorganization associated with the inception of counterclockwise rotation of Africa relative to Europe initiated in the Balkan region small-volume magmatism of diverse geochemical signature along the enigmatic Sava-Vardar Zone. We study a Late Cretaceous lamprophyric sill in Ripanj village near Belgrade to constrain this magmatic episode. The lamprophyre is characterized by high contents of Na, P, Fe and Al, and low contents of K, Ca and Mg. Its original nature (Na, K, Ca and Mg) is ...Kristijan Sokol, Dejan Prelević, Rolf Romer, Milica Božović, Paul van den Bogaard, Elitsa Stefanova, Bojan Kostić, Nenad Čokulov. "Cretaceous ultrapotassic magmatism from the Sava-Vardar Zone of the Balkans" in Lithos (2020)
-
Cyanobacterial Potential for Restoration of Loess Surfaces through Artificially Induced Biocrusts
Tamara Palanački Malešević, Tamara Dulić, Igor Obreht, Zorana Trivunović, Rastko Marković, Bojan Kostić, Tamara Važić, Jussi Meriluoto, Zorica Svirčev (2020)Tamara Palanački Malešević, Tamara Dulić, Igor Obreht, Zorana Trivunović, Rastko Marković, Bojan Kostić, Tamara Važić, Jussi Meriluoto, Zorica Svirčev. "Cyanobacterial Potential for Restoration of Loess Surfaces through Artificially Induced Biocrusts" in Applied Sciences, MDPI AG (2020). https://doi.org/10.3390/app11010066
-
Depositional environment and hydrocarbon source potential of the Lower Miocene oil shale deposit in the Aleksinac Basin (Serbia)
Bechtel Achim, Oberauer Klaus, Kostić Aleksandar, Gratzer Reinhard, Milisavljević Vladimir, Aleksić Nikoleta, Stojanović Ksenija, Groß Doris, Sachsenhofer Reinhard F. (2018)Bechtel Achim, Oberauer Klaus, Kostić Aleksandar, Gratzer Reinhard, Milisavljević Vladimir, Aleksić Nikoleta, Stojanović Ksenija, Groß Doris, Sachsenhofer Reinhard F.. "Depositional environment and hydrocarbon source potential of the Lower Miocene oil shale deposit in the Aleksinac Basin (Serbia)" in Organic Geochemistry no. 115, :Elsevier (2018): 93-112
-
Глаголи у кухињи и за столом
Цветана Крстев, Биљана Лазић (2015)У раду је приказано истраживање лексике на српском језику кулинарског домена које се заснива на коришћењу доменског корпуса, електронских лексичких ресурса, пре свега WordNet-а и морфолошких речника, и локалних граматика. Приказане су доменске специфичности ових ресурса, како се користе, и међусобно употпуњују. Посебно је приказано како се коришћењем доменског корпуса могу екстраховати глаголи специфични за кулинарски домен и описати начини њиховог коришћења. Дат је попис глагола са основним подацима који је добијен применом представљених метода.аутоматска обрада, коначни трансдуктори, електронски речници, семантичке мреже, локалне граматике, кулинарство... кулинарске лексике - прженице, моче, пофезне, бундаш... "[У:] Лексикологија, ономастика, синтакса, стр. 219-226. ISBN 978-86-6065-099-5 6. ИКОНИЋ 2013: Ивана Т. Иконић. „Калорије из Српског кувара на трпези Поп Ћире и поп Спире." [У:] Zbornik za jezike i književnosti Filozofskog fakulteta u Novom Sadu, Год ...Цветана Крстев, Биљана Лазић. "Глаголи у кухињи и за столом" in Научни састанак слависта у Вукове дане - Српски језик и његови ресурси: теорија, опис и преимене, Вол. 44/3, Београд : Међународни славистички центар (2015)
-
Uniaxial compressive strength test before and after standard fire test on rock mass
Stefan Mitrović, Goran Todorović, Bojan Kostić, Milica Mirković-Marjanović, Nikola Božović, Marija Krstić, Aleksandar Erić, Radovan Gospavić, Snežana Ilić, Aleksandar Kijanović (2022)... Измењено: 2023-11-24 09:19:20 Uniaxial compressive strength test before and after standard fire test on rock mass Stefan Mitrović, Goran Todorović, Bojan Kostić, Milica Mirković-Marjanović, Nikola Božović, Marija Krstić, Aleksandar Erić, Radovan Gospavić, Snežana Ilić, Aleksandar Kijanović Дигитални ре ...
... у Београду [ДР РГФ] Uniaxial compressive strength test before and after standard fire test on rock mass | Stefan Mitrović, Goran Todorović, Bojan Kostić, Milica Mirković-Marjanović, Nikola Božović, Marija Krstić, Aleksandar Erić, Radovan Gospavić, Snežana Ilić, Aleksandar Kijanović | Fifth symposium ...Stefan Mitrović, Goran Todorović, Bojan Kostić, Milica Mirković-Marjanović, Nikola Božović, Marija Krstić, Aleksandar Erić, Radovan Gospavić, Snežana Ilić, Aleksandar Kijanović. "Uniaxial compressive strength test before and after standard fire test on rock mass" in Fifth symposium of the Macedonian Association for Geotechnics, Ohrid, North Macedonia, 23-25. 06. 2022, Macedonian Association for Geotechnics (2022)
-
Model inteligentnog sistema adaptivnog upravljanja procesom prerade rude
Ivana M. Jovanović (2016-01-13)U oblasti procesa prerade rude, flotacijska koncentracija predstavlja jednu od najznačajnijih i najčešće primenjivanih metoda separacije korisnih od nekorisnih minerala. Samim tim, veoma je važno osigurati uspešan rad flotacijskog postrojenja kroz dostizanje zadovoljavajućih tehno-ekonomskih pokazatelja. Cilj upravljanja procesom flotacijske koncentracije je upravo optimizacija kvaliteta i iskorišćenja korisne komponente u koncentratu uz maksimizaciju profita. Shodno tome, istraživanja na polju modelovanja i upravljanja ovim procesom zauzimaju značajno mesto u praksi kontolnog inženjenringa.Teorijska istraživanja u okviru doktorske disertacije obuhvatila su analizu položaja ...flotacijska koncentracija, modelovanje, upravljanje, inteligentni sistem, soft kompjuting, fazi logika, veštačke neuronske mreže... treatment process Ivana M. Jovanović Дигитални репозиторијум Рударско-геолошког факултета Универзитета у Београду [ДР РГФ] Model inteligentnog sistema adaptivnog upravljanja procesom prerade rude;Model of intelligent adaptive control system for ore treatment process | Ivana M. Jovanović | Универзитет ...
... FAKULTET Ivana M. Jovanović MODEL INTELIGENTNOG SISTEMA ADAPTIVNOG UPRAVLJANJA PROCESOM PRERADE RUDE doktorska disertacija Beograd, 2015 UNIVERSITY OF BELGRADE FACULTY OF MINING AND GEOLOGY Ivana M. Jovanović MODEL ...
... i Sanji, koji su me sa mnogo ljubavi bodrili u najtežim trenucima i pomogli da istrajem na ovom, nimalo jednostavnom, putu do uspeha. Ivana Jovanović Pregled skraćenica AI – veštačka inteligencija (engl. Artificial Intelligence) AIS – veštački imuni sistem (eng ...Ivana M. Jovanović. "Model inteligentnog sistema adaptivnog upravljanja procesom prerade rude" in Универзитет у Београду, Универзитет у Београду, Рударско-геолошки факултет (2016-01-13)
-
Чији је пример? Анализа лексичких обележја на примерима Речника САНУ
У овом раду поставља се питање: да ли се може утврдити ко је аутор неког текста уколико се анализирају искључиво његова лексичка обележја? Како бисмо покушали да добијемо одговор на ово питање, посматрали смо примере у оквиру речничког чланка појединачне лексеме Речника САНУ, који су забележени у пет томова (и то: I, II, XVIII, XIX и XX). Сваки пример је преузет из неког извора на шта упућују скраћенице, наведене у заградама. Од преко 5.000 понуђених извора, определили смо се ...... Case(s) of GDEX, International Journal of Lexicography. Чији је пример? анализа лексичких обележја на примерима речника сану 315 Лазић-Коњик 2009: Ивана Лазић-Коњик, „О лексици народних говора у Речнику САНУ”, у: Дијалекат ‒ дијалекатска књижевност: зборник радова, Лесковац: Лесковачки културни центар ...Бранислава Б. Шандрих, Ранка М. Станковић, Мирјана С. Гочанин. "Чији је пример? Анализа лексичких обележја на примерима Речника САНУ" in Српски језик и његови ресурси, Међународни славистички центар, Филолошки факултет, Универзитет у Београду (2019). https://doi.org/10.18485/msc.2019.48.3.ch13
-
Cyanobacterial diversity and toxicity of biocrusts from the Caspian Lowland loess deposits, North Iran
Tamara Dulić, Jussi Meriluoto, Tamara Palanački Malešević, Violeta Gajić, Tamara Važić, Nada Tokodi, Igor Obreht, Bojan Kostić, Petar Kosijer, Farhad Khormali, Zorica Svirčev (2016)Biocrusts and adjacent sediments were collected from the so-called loess plateau of Northern Iran and the loess deposits on the foothills of Alborz Mountains. The mineralogical and granulometric analyses characterized sediments as quartz-rich clayey or sandy silts. Cyanobacterial diversity, colony morphology and grain stabilization were studied by light and scanning electron microscopy, which showed glue-like layers of cyanobacterial EPS and dense networks of filamentous cyanobacteria immobilizing finer and bigger grains, respectively. Amorphous, tuft and globular cyanobacterial colony structures were also detected. 15 cyanobacterial genera were ...Tamara Dulić, Jussi Meriluoto, Tamara Palanački Malešević, Violeta Gajić, Tamara Važić, Nada Tokodi, Igor Obreht, Bojan Kostić, Petar Kosijer, Farhad Khormali, Zorica Svirčev. "Cyanobacterial diversity and toxicity of biocrusts from the Caspian Lowland loess deposits, North Iran" in Quaternary International (2016)
-
Cyanobacterial diversity and toxicity of biocrusts from the Caspian Lowland loess deposits, North Iran
Dulić Tamara, Meriluoto Jussi, Palanački Malešević Tamara, Gajić Violeta, Važić Tamara, Tokodi Nada, Obreht Igor, Kostić Bojan, Kosijer Petar, Khormali Farhad, Svirčev Zorica (2016)Dulić Tamara, Meriluoto Jussi, Palanački Malešević Tamara, Gajić Violeta, Važić Tamara, Tokodi Nada, Obreht Igor, Kostić Bojan, Kosijer Petar, Khormali Farhad, Svirčev Zorica. "Cyanobacterial diversity and toxicity of biocrusts from the Caspian Lowland loess deposits, North Iran" in Quaternary International no. Available online 12 March 2016 - In Press Availab, Oxford :Elsevier - Pergamon (2016). https://doi.org/10.1016/j.quaint.2016.02.046
-
Cyanobacterial diversity and toxicity of biocrusts from the Caspian Lowland loess deposits, North Iran
Dulić Tamara,Meriluoto Jussi,Palanački-Malešević Tamara,Gajić Violeta,Važić Tamara,Tokodi Nada,Obreht Igor,Kostić Bojan,Kosijer Petar,Khormali Farhad,Svirčev Zorica. "Cyanobacterial diversity and toxicity of biocrusts from the Caspian Lowland loess deposits, North Iran" in Quaternary International 429, Amsterdam:Elsevier Science (2017): 74-85. https://doi.org/10.1016/j.quaint.2016.02.046
-
Photocatalytic Activity of the V2O5 Catalyst toward Selected Pharmaceuticals and Their Mixture: Influence of the Molecular Structure on the Efficiency of the Process
Sanja J. Armaković, Aleksandra Jovanoski Kostić, Andrijana Bilić, Maria M. Savanović, Nataša Tomić, Aleksandar Kremenović, Maja Šćepanović, Mirjana Grujić-Brojčin, Jovana Ćirković, Stevan Armaković (2023)Due to the inability of conventional wastewater treatment procedures to remove organic pharmaceutical pollutants, active pharmaceutical components remain in wastewater and even reach tap water. In terms of pharmaceutical pollutants, the scientific community focuses on -blockers due to their extensive (over)usage and moderately high solubility. In this study, the photocatalytic activity of V2O5 was investigated through the degradation of nadolol (NAD), pindolol (PIN), metoprolol (MET), and their mixture under ultraviolet (UV) irradiation in water. For the preparation of V2O5, facile ...DFT analysis, metoprolol, nadolol, nanomaterial characterization, photocatalysis, pindolol, β-blocker... Aleksandra Jovanoski Kostić !, Andrijana Bilić 165, Maria M. Savanović 16, Nataša Tomić ?, Aleksandar Kremenović ž, Maja Šćepanović ?"2, Mirjana Grujić-Brojčin 0, Jovana Ćirković and Stevan Armaković 50 Q check for updates Citation: Armaković, SJ.; Jovanoski Kostić, A.; Bilić, A.; Savanović ...
... Pharmaceuticals and Their Mixture: Influence of the Molecular Structure on the Efficiency of the Process Sanja J. Armaković, Aleksandra Jovanoski Kostić, Andrijana Bilić, Maria M. Savanović, Nataša Tomić, Aleksandar Kremenović, Maja Šćepanović, Mirjana Grujić-Brojčin, Jovana Ćirković, Stevan Armaković ...
... Pharmaceuticals and Their Mixture: Influence of the Molecular Structure on the Efficiency of the Process | Sanja J. Armaković, Aleksandra Jovanoski Kostić, Andrijana Bilić, Maria M. Savanović, Nataša Tomić, Aleksandar Kremenović, Maja Šćepanović, Mirjana Grujić-Brojčin, Jovana Ćirković, Stevan Armaković ...Sanja J. Armaković, Aleksandra Jovanoski Kostić, Andrijana Bilić, Maria M. Savanović, Nataša Tomić, Aleksandar Kremenović, Maja Šćepanović, Mirjana Grujić-Brojčin, Jovana Ćirković, Stevan Armaković. "Photocatalytic Activity of the V2O5 Catalyst toward Selected Pharmaceuticals and Their Mixture: Influence of the Molecular Structure on the Efficiency of the Process" in Molecules, MDPI AG (2023). https://doi.org/10.3390/molecules28020655
-
Spatial distribution of major and trace elements in artificial lakes in Serbia: health risk indices and suitability of water for drinking and irrigation purposes
Goran Marković, Aleksandar Ž. Kostić, Nebojša Đ. Pantelić, Radojka Maletić, Jana Štrbački, Jovan Cakić, Lazar Kaluđerović, Biljana P. Dojčinović, Angelo Maria Giuffrè, Jelena B. Popović-Djordjević (2023)Lakes and reservoirs are the main water resources for household, irrigation, and industrial use. Hence, it is necessary to control water pollution and have reliable information on water quality, which refers to its suitability for a particular purpose. The main objective of this study was to evaluate the suitability of water for drinking and irrigation purposes from ten artificial lakes on the territory of the Republic of Serbia. The physicochemical parameters were determined using standard analytical methods, whereas the ...Goran Marković, Aleksandar Ž. Kostić, Nebojša Đ. Pantelić, Radojka Maletić, Jana Štrbački, Jovan Cakić, Lazar Kaluđerović, Biljana P. Dojčinović, Angelo Maria Giuffrè, Jelena B. Popović-Djordjević. "Spatial distribution of major and trace elements in artificial lakes in Serbia: health risk indices and suitability of water for drinking and irrigation purposes" in Environmental Monitoring and Assessment, Springer Science and Business Media LLC (2023). https://doi.org/10.1007/s10661-023-11740-6
-
FrameNet Lexical Database: Presenting a Few Frames Within the Risk Domain
U radu se daje kratak prikaz teorije semantike okvira, na kojoj je zasnovana leksička baza Frejmnet. Predstavljena je koncepcija ove mreže, kao i mogućnosti njene primene. Predstavljena je i leksička analiza koja se primenjuje u projektu izrade Frejmneta i ukazano na razlike između analize zasnovane na okviru u odnosu na analizu zasnovanu na reči. Zatim je prikazano nekoliko povezanih okvira koje prizivaju reči iz domena rizika. U radu je predstavljena i platforma NLTК pomoću koje se mogu koristiti ...... into the present: From case frames to semantic frames.” Linguistics Vanguard 3 (1): 20160003. https://doi.org/doi:10.1515/lingvan-2016-0003. Brač, Ivana, and Ana Ostroški Anić. 2019. “From concept definitions to se- mantic role labeling in specialized knowledge resources.” In Proceedings of the 13th ...Aleksandra Marković, Ranka Stanković, Natalija Tomić, Olivera Kitanović. "FrameNet Lexical Database: Presenting a Few Frames Within the Risk Domain" in Infotheca, Faculty of Philology, University of Belgrade (2021). https://doi.org/10.18485/infotheca.2021.21.1.1
-
A Twitter Corpus and Lexicon for Abusive Speech Detection in Serbian
Uvredljivi govor na društvenim medijima, uključujući psovke, pogrdni govor i govor mržnje, dostigao je nivo pandemije. Sistem koji bi bio u stanju da detektuje takve tekstove mogao bi da pomogne da internet i društveni mediji postanu bolji virtuelni prostor sa više poštovanja. Istraživanja i komercijalna primena u ovoj oblasti do sada su bili fokusirani uglavnom na engleski jezik. Ovaj rad predstavlja rad na izgradnji AbCoSER-a, prvog korpusa uvredljivog govora na srpskom jeziku. Korpus se sastoji od 6.436 ručno označenih ...... globalex-1.1.pdf https://www.aclweb.org/anthology/2020.globalex-1.1.pdf 13:16 Building Language Resources for Abusive Language Detection in Serbian 19 Ivana Krstić. Report on the use of hate speech in Serbian media, 2020. URL: https: //rm.coe.int/hf25-hate-speech-serbian-media-eng/1680a2278e. 20 K. Kumaresan ...Danka Jokić, Ranka Stanković, Cvetana Krstev, Branislava Šandrih. "A Twitter Corpus and Lexicon for Abusive Speech Detection in Serbian" in 3rd Conference on Language, Data and Knowledge (LDK 2021), MDPI AG (2021). https://doi.org/10.4230/OASIcs.LDK.2021.13