Zoran Markovic

Dejan A. Milenkovic

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

Estimation of antiradical properties of series of 4, 7 - dihydroxycoumarin derivatives towards DPPH radical-experimental and DFT study.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

Inhibitory potency of Valsartan/Sacubitril drug combination: molecular docking simulations.

[BibT_eX]

[DOI]

Jelena Dorovic Jovanovic

Marijana Stanojevic Pirkovic

Mihajlo Kokanovic

Nenad Filipovic

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

Free radical scavenger capacity of 1, 2, 5-trihydroxyanthraquinone and 1, 2, 5-trihydroxythioxanthone: a theoretical comparative study.

[BibT_eX]

[DOI]

Svetlana R. Jeremic

Marijana Stanojevic Pirkovic

Jelena Dorovic Jovanovic

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

Molecular docking study of coumarin-hydroxybenzohydrazide hybrid as an inhibitor of carbonic anhydrases IX and XII.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Bioinformatics and Bioengineering, 2021

2020

Comparative antiradical activity and molecular Docking/Dynamics analysis of octopamine and norepinephrine: the role of OH groups.

[BibT_eX]

[DOI]

Comput. Biol. Chem., 2020

2019

Antioxidative Capacity of Evernic Acid and Its Interactions with TDP1.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Bioinformatics and Bioengineering, 2019

2016

Free radical scavenging and COX-2 inhibition by simple colon metabolites of polyphenols: A theoretical approach.

[BibT_eX]

[DOI]

Ana D. Amic

Svetlana R. Jeremic

Bono Lucic

Dragan Amic

Comput. Biol. Chem., 2016

Probability Logics - Probability-Based Formalization of Uncertain Reasoning

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-47012-2, 2016

2015

DFT investigation of the reaction of cyanidin with hydroxyl radical.

[BibT_eX]

[DOI]

Dejan A. Milenkovic

Proceedings of the 15th IEEE International Conference on Bioinformatics and Bioengineering, 2015

Mechanisms of scavenging reactions of alizarin with hydroperoxyl and methylperoxyl radicals.

[BibT_eX]

[DOI]

Svetlana R. Jeremic

Ana D. Amic

Proceedings of the 15th IEEE International Conference on Bioinformatics and Bioengineering, 2015

Study of electron transfer mechanism of gallic acid.

[BibT_eX]

[DOI]

Jelena R. Dorovic

Dejan A. Milenkovic

Proceedings of the 15th IEEE International Conference on Bioinformatics and Bioengineering, 2015

2014

A first-order probabilistic logic with approximate conditional probabilities.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

2013

Logics with Generalized Measure Operators.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2013

2012

A propositional probabilistic logic with discrete linear time for reasoning about evidence.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2012

2011

A Branching Time Logic with Two Types of Probability Operators.

[BibT_eX]

[DOI]

Dragan Doder

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

2010

An Axiomatization of a First-order Branching Time Temporal Logic.

[BibT_eX]

[DOI]

Dragan Doder

J. Univers. Comput. Sci., 2010

Measures of inconsistency and defaults.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2010

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2010

2009

Qualitative Possibilities and Necessities.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

Last Step of the Para Route of the Kolbe-Schmitt Reaction.

[BibT_eX]

[DOI]

J. Chem. Inf. Model., 2008

A logic with approximate conditional probabilities that can model default reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2008

How to Restore Compactness into Probabilistic Logics?.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Probabilistic Logic with Polynomial Weight Formulas.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2008

2007

Mechanism of the Kolbe-Schmitt Reaction. Structure of the Intermediate Potassium Phenoxide-CO<sub>2</sub> Complex.

[BibT_eX]

[DOI]

Jasmina Predojevic-Simovic

Nedeljko Manojlovic

J. Chem. Inf. Model., 2007

Measure Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006

Influence of Alkali Metal Cations upon the Kolbe-Schmitt Reaction Mechanism.

[BibT_eX]

[DOI]

Nebojsa Begovic

J. Chem. Inf. Model., 2006

2004

A probabilistic approach to default reasoning.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Logic with Conditional Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

A probabilistic extension of intuitionistic logic.

[BibT_eX]

[DOI]

Math. Log. Q., 2003

2002

Spectral Moments of Polycyclic Aromatic Hydrocarbons. Solution of a Kinetic Problem.

[BibT_eX]

[DOI]

J. Chem. Inf. Comput. Sci., 2002

2001

Spectral Moments of Phenylenes.

[BibT_eX]

[DOI]

Robert I. McCrindle

J. Chem. Inf. Comput. Sci., 2001

1993

On the Structure of Kripke Models of Heyting Arithmetic.

[BibT_eX]

[DOI]

Math. Log. Q., 1993

1983

Some preservation results for classical and intuitionistic satisfiability in Kripke models.

[BibT_eX]

[DOI]