Search




Research outputs

A framework for the flexible integration of a class of decision procedures into theorem provers   [1999]

Janičić, Predrag  ; Bundy, A.; Green, I.

Evolutionary tree-structured filter for impulse noise removal   [2006]

Petrović, Nemanja; Crnojević, Vladimir  

Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic   [2000]

J. Harland; T. Lutovac  ; M. Winikoff

On the notion of components for intelligent tutoring systems   [1998]

Devedžić, Vladan  ; Radović, Danijela; Jerinić, Ljubomir

Reconciling Feature Modeling: A Feature Modeling Metamodel   [2004]

Vranić, Valentino  

Efficient SMT-Based Network Fault Tolerance Verification   [2023]

Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik

A Comparative Study of the Features and Performance of ORM Tools in a .NET Environment   [2010]

Cvetković, Stevica  ; Janković, Dragan  

Advantages of the Extended Water Flow Algorithm for Handwritten Text Segmentation   [2011]

Brodić, Darko 

A Correlation attack on the binary sequence generators with time-varying output function   [1995]

Mihaljević, Miodrag J.

Qualitative possibilities and necessities   [2009]

Perović, Aleksandar; Ognjanović, Zoran  ; Rašković, Miodrag; Marković, Zoran

Filters

By type