Author(s) | Title | Issue Date | Appears in | Rank |

*Kašterović, Simona; Ghilezan, Silvia * | Kripke-style semantics and completeness for full simply typed Lambda calculus | 1-Jan-2021 | *Journal of Logic and Computation; 30(8); 1567-1608* | *~M21* |

*Baralić, Đorđe ; Limić, Vlada* | The law of large numbers for the bigraded Betti numbers of a random simplicial complex | 1-Feb-2021 | *Russian Mathematical Surveys; 76(1); 186-189* | *~M21a* |

*Tabatabaie, Seyyed Mohammad; Ivković, Stefan * | Linear dynamics of discrete cosine functions on solid Banach function spaces | 2021 | *Positivity* | *~M21* |

*Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar* | The logic ILP for intuitionistic reasoning about probability | 2022 | *11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26* | *M34* |

*Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas* | A Logic of Interactive Proofs | 2022 | *Logical Foundations of Computer Science; International Symposium on Logical Foundations of Computer Science, LFCS 2022; 13137; 143-155* | *M33* |

*Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas* | A Logic of Interactive Proofs | Sep-2021 | *10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 89-90* | *M34* |

*Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas* | A logic of interactive proofs | 2022 | *Journal of Logic and Computation; 32(8); 1645-1658* | *~M21* |

*Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran * | Logics for reasoning about degrees of confirmation | 31-May-2021 | *Journal of Logic and Computation; 31(8); 2189-2217* | *~M21* |

*Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran * | Logics for Reasoning about Knowledge and Conditional Probability | Sep-2021 | *10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 19-21* | *M34* |

*Baralić, Đorđe ; Milenković, Lazar* | The Magic Permutohedron | 2023 | *Mathematical Intelligencer* | *~M23* |

*He, Xiaocong; Feng, Lihua; Stevanović, Dragan * | THE MAXIMUM SPECTRAL RADIUS OF GRAPHS WITH A LARGE CORE | 2023 | *Electronic Journal of Linear Algebra; 39; 78-89* | *~M22* |

*Milovanović, Miloš * | The Measurement Problem in Statistical Signal Processing | 2023 | *Mathematics; 11(22); 4623* | *~M21a* |

*Batanin, Michael; Markl, Martin; Obradović, Jovana * | Minimal models for graph-related (hyper)operads | 2023 | *Journal of Pure and Applied Algebra; 227(7); 107329* | *~M22* |

*Milovanović, Miloš * | Multiresolution analysis in terms of intuitionist mathematics | 2023 | *Constructive Mathematics: Foundations and Practice, CM:FP 2023, June 26-30, 2023, Niš; Abstract booklet; 37* | *M34* |

*Stević, Stevo * | New class of three-dimensional close-to-cyclic systems of difference equations solvable in closed form | 8-Dec-2021 | *Mathematical Methods in the Applied Sciences* | |

*Simjanović, Dušan; Vesić, Nenad ; Ranđelović, Branislav; Zdravković, Nemanja; Vujadinović, Đ.* | A new cryptographic algorithm based on affine connection coefficients | 2021 | *12th International Conference on Business Information Security, Beograd, 2021; 71-74* | *M33* |

*Rinot, Assaf; Shalev, Roy; Todorčević, Stevo * | A new small Dowker space | 2023 | *Periodica Mathematica Hungarica* | *~M22* |

*Stević, Stevo * | Norm and essential norm of an integral-type operator from the logarithmic Bloch space to the Bloch-type space on the unit ball | 2022 | *Mathematical Methods in the Applied Sciences; 45(17); 11905-11915* | *~M21* |

*Stević, Stevo * | Norm of a multilinear integral operator from product of weighted-type spaces to weighted-type space | 1-Sep-2021 | *Mathematical Methods in the Applied Sciences* | *~M21* |

*Stević, Stevo * | Norms of a Product of Integral and Composition Operators between Some Bloch-Type Spaces | 2023 | *Axioms; 12(5); 491* | *~M22* |