Edit Profile (opens in new tab) Pavlović, Vesna Co-Author Distance Author ID: pavlovic.vesna Published as: Pavlović, Vesna Documents Indexed: 7 Publications since 1981 Co-Authors: 2 Co-Authors with 1 Joint Publication 30 Co-Co-Authors Co-Authors 3 single-authored 1 Cvetković, Aleksandar S. 1 Janičić, Predrag 1 Milić, Svetozar Dj. 1 Pansera, Bruno Antonio 1 Stojanović, Sana Serials 2 Acta Mathematica Hungarica 1 Matematički Vesnik 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Topology and its Applications 1 Bulletin of the Iranian Mathematical Society Fields 5 General topology (54-XX) 1 Mathematical logic and foundations (03-XX) 1 Group theory and generalizations (20-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 13 times in 13 Documents Cited by ▼ Year ▼ A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag 13 2011 Open covers and function spaces. Zbl 1119.54013Pansera, B. A.; Pavlović, V. 8 2006 A selective bitopological version of the Reznichenko property in function spaces. Zbl 1171.54014Pavlović, V. 4 2009 A selective version of the property of Reznichenko in function spaces. Zbl 1174.54353Pavlović, V. 4 2006 On generalized topologies arising from mappings. Zbl 1295.54002Pavlović, V.; Cvetković, A. S. 1 2012 On generalized topologies arising from mappings. Zbl 1295.54002Pavlović, V.; Cvetković, A. S. 1 2012 A coherent logic based geometry theorem prover capable of producing formal and readable proofs. Zbl 1252.68264Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag 13 2011 A selective bitopological version of the Reznichenko property in function spaces. Zbl 1171.54014Pavlović, V. 4 2009 Open covers and function spaces. Zbl 1119.54013Pansera, B. A.; Pavlović, V. 8 2006 A selective version of the property of Reznichenko in function spaces. Zbl 1174.54353Pavlović, V. 4 2006 all cited Publications top 5 cited Publications all top 5 Cited by 15 Authors 6 Janičić, Predrag 4 Quaresma, Pedro 3 Marinković, Vesna 3 Narboux, Julien 2 Dyckhoff, Roy 2 Graziani, Pierluigi 2 Stojanović Đurđević, Sana 1 Baeta, Nuno 1 Bezem, Marc 1 Kovács, Zoltán 1 Negri, Sara 1 Nikolić, Mladen 1 Santos, Vanda 1 Schreck, Pascal 1 Stojanović, Sana Cited in 5 Serials 3 Annals of Mathematics and Artificial Intelligence 2 Journal of Automated Reasoning 2 Mathematics in Computer Science 1 Journal of Symbolic Computation 1 The Bulletin of Symbolic Logic Cited in 4 Fields 11 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 5 Geometry (51-XX) 1 Mathematics education (97-XX) Citations by Year