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)


Refined By:
Date Issued:  [2010 TO 2019]

Results 1-20 of 68 (Search time: 0.007 seconds).

Author(s)TitleIssue DateAppears inRank
1Ilić, Velimir ; Scarfone, Antonio Maria; Wada, TatsuakiEquivalence between four versions of thermostatistics based on strongly pseudoadditive entropies26-Dec-2019Physical Review E; 100(6)M21
2Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran A simple permutoassociahedronDec-2019Discrete Mathematics; 342(12)M22
3Milićević, Luka Polynomial bound for partition rank in terms of analytic rank1-Oct-2019Geometric and Functional Analysis; 29(5); 1503-1530M21a
4Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, BranislavFormal verification of python software transactional memory serializability based on the push/pull semantic model2-Sep-2019ACM International Conference Proceeding Series; 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019; Bucharest; Romania; 2 September 2019 through 3 September 2019
5Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
6Krapež, Aleksandar ; Šešelja, Branimir; Tepavčević, Andreja Solving linear equations by fuzzy quasigroups techniques1-Jul-2019Information Sciences; 491; 179-189M21a
7Milićević, Luka Covering complete graphs by monochromatically bounded sets1-Apr-2019Applicable Analysis and Discrete Mathematics; 13(1); 85-110M21
8Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
9Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
10Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22
11Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22
12Marinković, 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
13Dautović, Š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
14Dautović, Šejla ; Zekić, Mladen Intuitionistic unprovability1-Jan-2019Matematički Vesnik; 71(1-2); 180-189M52
15Matijević, Luka General Variable Neighbourhood Search Approach to MAX-3SAT Problem2019The 8TH International Conference on Logic and Applications - LAP 2019; 29-30M34
16Čukić, Sonja Lj.; Petrić, Zoran The n-fold reduced bar construction1-Sep-2018Journal of Homotopy and Related Structures; 13(3); 503-543
17Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
18Davidov, Sergey; Krapež, Aleksandar ; Movsisyan, YuriFunctional equations with division and regular operations1-Jun-2018Asian-European Journal of Mathematics; 11(3)
19Ilić 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
20Ghilezan, 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