Representations of logical structures and formal languages and their application in computing

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174026
 
Project title
Representations of logical structures and formal languages and their application in computing
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 
Grant number
174026
 

Publications
(All)


Results 21-40 of 79 (Search time: 0.012 seconds).

Author(s)TitleIssue DateAppears inRank
21Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22
22Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22
23Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480M33
24Dautović, Šejla ; Doder, DraganProbabilistic logic for reasoning about actions in time1-Jan-2019Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; 11726 LNAI; 385-396M33
25Dautović, Šejla ; Zekić, Mladen Intuitionistic unprovability1-Jan-2019Matematički Vesnik; 71(1-2); 180-189M52
26Matijević, Luka General Variable Neighbourhood Search Approach to MAX-3SAT Problem2019The 8TH International Conference on Logic and Applications - LAP 2019; 29-30M34
27Čukić, Sonja Lj.; Petrić, Zoran The n-fold reduced bar construction1-Sep-2018Journal of Homotopy and Related Structures; 13(3); 503-543
28Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
29Davidov, Sergey; Krapež, Aleksandar ; Movsisyan, YuriFunctional equations with division and regular operations1-Jun-2018Asian-European Journal of Mathematics; 11(3)
30Ilić Stepic , Angelina ; Ognjanović, Zoran Logics to formalise p-adic valued probability and their applications4-May-2018International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275M52
31Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning about simply typed lambda terms1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189M33
32Doder, Dragan; Savić, Nenad; Ognjanović, Zoran A decidable multi-agent logic with iterations of upper and lower probability operators1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018; 10833 LNCS; 170-185M33
33Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
34Santo, José Espírito; Ghilezan, Silvia Characterization of strong normalizability for a sequent lambda calculus with co-control9-Oct-2017ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174
35Doder, Dragan; Ognjanović, Zoran Probabilistic Logics with Independence and Confirmation1-Oct-2017Studia Logica; 105(5); 943-969M22
36Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators1-Sep-2017International Journal of Approximate Reasoning; 88; 148-168M21
37Ghilezan, Silvia Sound and complete subtyping on intersection and union typesSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17M34
38Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, IlijaAn approach to formal verification of python software transactional memory31-Aug-2017ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524
39Ilić, Velimir ; Dupraz, Elsa; Vasić, BaneGeneric architectures for uniformly reweighted APP decoders28-Jun-20172017 13th International Conference on Advanced Technologies, Systems and Services in Telecommunications, TELSIKS 2017 - Proceeding; 13th International Conference on Advanced Technologies, Systems and Services in Telecommunications, TELSIKS 2017; Nis; Serbia; 18 October 2017 through 20 October 2017; 2017-October; 308-316
40Espirito Santo, Jose; Ghilezan, Silvia Characterization of strong normalizability for a lambda-calculus with co-controlJun-2017TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58M34