| Outcome of patients with atrial fibrillation after intravenous thrombolysis for cerebral ischaemia V Padjen, M Bodenant, DR Jovanovic, N Ponchelle-Dequatre, ... Journal of neurology 260 (12), 3049-3054, 2013 | 33 | 2013 |
| On the power of substitution in the calculus of structures N Novaković, L Straßburger ACM Transactions on Computational Logic (TOCL) 16 (3), 1-20, 2015 | 7 | 2015 |
| A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes N Novaković European Workshop on Logics in Artificial Intelligence, 311-323, 2008 | 7 | 2008 |
| A Proof-Theoretic Subsumption Reasoner for Hybrid SC-TBoxes F Baader, N Novakovic, B Suntisrivaraporn | 4 | 2008 |
| Sémantique algébrique des ressources pour la logique classique N Novakovic Institut National Polytechnique de Lorraine, 2011 | 3 | 2011 |
| Two Denotational Interpretations of Proofs in Classical Logic F Lamarche, N Novakovic Structures and Deduction, 117-133, 2009 | 2 | 2009 |
| On the Power of Substitution in the Calculus of Structures L Straßburger, N Novakovic ACM Transactions on Computational Logic 16 (3), 2015 | | 2015 |
| Frobenius Algebras and Classical Proof Nets F Lamarche, N Novakovic Fifth International Conference on Topology, Algebra and Categories in Logic …, 2011 | | 2011 |
| Proof-theoretic Techniques for Standard and Non-standard Inference Services in cL wrt Hybrid TBoxes F Baader, N Novakovic | | |
| Frobenius Proof Nets and Resource Semantics for Classical Logic N Novakovic, F Lamarche | | |
