Some preservation results for classical and intuitionistic satisfiability in Kripke models. - Zoran Markovic (Notre Dame J. Formal Log., 1983)

On the Structure of Kripke Models of Heyting Arithmetic. - Zoran Markovic (Math. Log. Q., 1993)

Spectral Moments of Phenylenes. - Svetlana Markovic; Zoran Markovic; Robert I. McCrindle (J. Chem. Inf. Comput. Sci., 2001)

Spectral Moments of Polycyclic Aromatic Hydrocarbons. Solution of a Kinetic Problem. - Svetlana Markovic; Zoran Markovic; Johan P. Engelbrecht; Robert I. McCrindle (J. Chem. Inf. Comput. Sci., 2002)

A probabilistic extension of intuitionistic logic. - Zoran Markovic; Zoran Ognjanovic; Miodrag Raskovic (Math. Log. Q., 2003)

A Logic with Conditional Probabilities. - Miodrag Raskovic; Zoran Ognjanovic; Zoran Markovic (JELIA, 2004)

A probabilistic approach to default reasoning. - Miodrag Raskovic; Zoran Ognjanovic; Zoran Markovic (NMR, 2004)

Influence of Alkali Metal Cations upon the Kolbe-Schmitt Reaction Mechanism. - Zoran Markovic; Svetlana Markovic; Nebojsa Begovic (J. Chem. Inf. Model., 2006)

Measure Logic. - Nebojsa Ikodinovic; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (ECSQARU, 2007)

Mechanism of the Kolbe-Schmitt Reaction. Structure of the Intermediate Potassium Phenoxide-CO2 Complex. - Zoran Markovic; Svetlana Markovic; Nedeljko Manojlovic; Jasmina Predojevic-Simovic (J. Chem. Inf. Model., 2007)

A Probabilistic Logic with Polynomial Weight Formulas. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (FoIKS, 2008)

How to Restore Compactness into Probabilistic Logics?. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (JELIA, 2008)

A logic with approximate conditional probabilities that can model default reasoning. - Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Int. J. Approx. Reason., 2008)

Last Step of the Para Route of the Kolbe-Schmitt Reaction. - Zoran Markovic; Svetlana Markovic (J. Chem. Inf. Model., 2008)

Qualitative Possibilities and Necessities. - Aleksandar Perovic; Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (ECSQARU, 2009)

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence. - Dragan Doder; Zoran Markovic; Zoran Ognjanovic; Aleksandar Perovic; Miodrag Raskovic (FoIKS, 2010)

Measures of inconsistency and defaults. - Dragan Doder; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Int. J. Approx. Reason., 2010)

An Axiomatization of a First-order Branching Time Temporal Logic. - Dragan Doder; Zoran Ognjanovic; Zoran Markovic (J. Univers. Comput. Sci., 2010)

A Branching Time Logic with Two Types of Probability Operators. - Zoran Ognjanovic; Dragan Doder; Zoran Markovic (SUM, 2011)

A propositional probabilistic logic with discrete linear time for reasoning about evidence. - Zoran Ognjanovic; Zoran Markovic; Miodrag Raskovic; Dragan Doder; Aleksandar Perovic (Ann. Math. Artif. Intell., 2012)

Logics with Generalized Measure Operators. - Nebojsa Ikodinovic; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (J. Multiple Valued Log. Soft Comput., 2013)

A first-order probabilistic logic with approximate conditional probabilities. - Nebojsa Ikodinovic; Miodrag Raskovic; Zoran Markovic; Zoran Ognjanovic (Log. J. IGPL, 2014)

Study of electron transfer mechanism of gallic acid. - Jelena R. Dorovic; Dejan A. Milenkovic; Zoran Markovic (BIBE, 2015)

Mechanisms of scavenging reactions of alizarin with hydroperoxyl and methylperoxyl radicals. - Svetlana R. Jeremic; Ana D. Amic; Zoran Markovic (BIBE, 2015)

DFT investigation of the reaction of cyanidin with hydroxyl radical. - Dejan A. Milenkovic; Jasmina M. Dimitric Markovic; Zoran Markovic (BIBE, 2015)

Probability Logics - Probability-Based Formalization of Uncertain Reasoning - Zoran Ognjanovic; Miodrag Raskovic; Zoran Markovic (Springer, 2016)

Free radical scavenging and COX-2 inhibition by simple colon metabolites of polyphenols: A theoretical approach. - Ana D. Amic; Zoran Markovic; Jasmina M. Dimitric Markovic; Svetlana R. Jeremic; Bono Lucic; Dragan Amic (Comput. Biol. Chem., 2016)

Antioxidative Capacity of Evernic Acid and Its Interactions with TDP1. - Jelena R. Dorovic; Svetlana R. Jeremic; Nedeljko Manojlovic; Dejan A. Milenkovic; Zoran Markovic (BIBE, 2019)

Comparative antiradical activity and molecular Docking/Dynamics analysis of octopamine and norepinephrine: the role of OH groups. - Dusan Dimic; Ziko B. Milanovic; Goran N. Jovanovic; Dragana Sretenovic; Dejan A. Milenkovic; Zoran Markovic; Jasmina M. Dimitric Markovic (Comput. Biol. Chem., 2020)

Molecular docking study of coumarin-hydroxybenzohydrazide hybrid as an inhibitor of carbonic anhydrases IX and XII. - Marko Antonijevic; Dusica Simijonovic; Dejan A. Milenkovic; Zoran Markovic (BIBE, 2021)

Free radical scavenger capacity of 1, 2, 5-trihydroxyanthraquinone and 1, 2, 5-trihydroxythioxanthone: a theoretical comparative study. - Svetlana R. Jeremic; Marijana Stanojevic Pirkovic; Jelena Dorovic Jovanovic; Zoran Markovic (BIBE, 2021)

Inhibitory potency of Valsartan/Sacubitril drug combination: molecular docking simulations. - Jelena Dorovic Jovanovic; Zoran Markovic; Mihajlo Kokanovic; Nenad Filipovic; Marijana Stanojevic Pirkovic (BIBE, 2021)

Estimation of antiradical properties of series of 4, 7 - dihydroxycoumarin derivatives towards DPPH radical-experimental and DFT study. - Ziko B. Milanovic; Edina H. Avdovic; Dusica Simijonovic; Zoran Markovic (BIBE, 2021)

Toxicity, structural analysis, and molecular docking studies of selected isonicotinohydrazide analogs. - Aleksandra Rakic; Dusan Dimic; Jasmina M. Dimitric Markovic; Dejan A. Milenkovic; Zoran Markovic (BIBE, 2021)

Numerical modelling of WNT/β-catenin signal pathway in characterization of EMT of colorectal carcinoma cell lines after treatment with Pt(IV) complexes. - Dragana Seklic; Tijana Dukic; Dejan A. Milenkovic; Milena Jovanovic; Marko N. Zivanovic; Zoran Markovic; Nenad Filipovic (Comput. Methods Programs Biomed., 2022)

Design, in Silico Evaluation, and Toxicological Assessment of $N$-Protocatechoyl Hydrazone Derivatives as Potential EGFR Kinase Inhibitors. - Dejan Milenkovic; Marko Antonijevic; Edina H. Avdovic; Dusica Simijonovic; Zoran Markovic (BIBE, 2024)

In Vitro and in Silico Binding Studies of Chromeno-Pyrimidine Derivatives With Biological Important Protein-Part III. - Danijela Stojkovic; Sandra Jovicic Milic; Dusica Simijonovic; Edina H. Avdovic; Tamara Mladenovic; Zoran Markovic (BIBE, 2024)