Organisations
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
.svg "A preview ftn_logo_optimized(1).svg picture"){kind=logo}
Година - распон
Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1999 | Natural deduction and sequent typed lambda calculus | Ghilezan, Silvia   | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Characteristics analysis of power transmission through friction in the field of belt conveyors | Vladić, Jovan; Malešev, Petar; Živanić, Dragan | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1998 | Experimental research on polymer modified concrete, ACI Materials Journal | Radomir Folić; RADONjANIN, VLASTIMIR S. | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | The testing and repair of steel silo | Pavlovic, P; Folic, R; Radonjanin, Vlastimir ; Tatomirovic, M | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | Analyze of changes in exterior dimensions of passenger cars during collision with fixed barriers | Papić, Zoran ; Bogdanović, Vuk ; Raković, Milenko; Vasiljević, Vladimir | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | A new speech scrambling concept based on hadamard matrices | Šenk, V. ; Delić, V.D. ; Milošević, V.S. | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1996 | Generalized finiteness of developments | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1996 | Strong normalization and typability with intersection types | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1995 | Enzyme polymorphism of cultivated vetch (Vicia sativa L.) and its wild relatives | Zlokolica Miodrag ; Boža Pal; Krstić Borivoj; Milošević Mijodrag | Article | Mp. category will be shown later |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Article | 23M23 |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1994 | Effect of sulfur oxides on surface state and carbon monoxide oxidation activity of CuxZnl-xCr204 mixed oxides | Terlecki-Baričević, Ana; Jovanović, Dušan ; Grbić, Boško ; Marinova, Tsvetana; Kirilov-Stefanov, Plamen | Article | 22M22 |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1993 | Inhabitation in intersection and union type assignment systems | Ghilezan, Silvia | Article | Mp. category will be shown later |