By Associate Professor Aleksandar Ignjatovic

Journal articles

Janapsatya AG; Ignjatovic A; Parameswaran S, 2006, 'Exploiting statistical information for implementation of instruction scratchpad memory in embedded systems', IEEE Transactions on Very Large Scale Integration (Vlsi) Systems, 14, pp. 816 - 829

Caldon P; Ignjatovic A, 2005, 'On mathematical instrumentalism', Journal of Symbolic Logic, 70, pp. 778 - 794

Ignjatovic A; Sharma A, 2004, 'Some applications of logic to feasibility in higher types', ACM Transactions on Computational Logic, 5, pp. 332 - 350, http://dx.doi.org/10.1145/976706.976713

Ignjatovic A; Sharma A, 2004, 'Some applications of logic to feasibility in higher types', ACM Transactions on Computational Logic, 5, no 2, pp. 1 - 19

Ignjatovic A, 2002, 'A Note on Induction Schemas in Bounded Arithmetic', , http://arxiv.org/abs/cs/0210011v1

Ignjatovic A, 2002, 'Chromatic Derivative Filter Banks', IEEE Signal Processing Letters, pp. 215 - 216

Narasimha MJ; Ignjatovic A; Vaidyanathan PP, 2002, 'Chromatic derivative filter banks.', IEEE Signal Process. Lett., 9, pp. 215 - 216

Vaidyanathan PP; Ignjatovic A; Narasimha MJ, 2001, 'New sampling expansions for bandlimited signals based on chromatic derivatives', Conference Record of the Asilomar Conference on Signals Systems and Computers, 1, pp. 558 - 562, http://dx.doi.org/10.1109/ACSSC.2001.986985

Ignjatović A; Grulović MZ, 1996, 'A comment on the joint embedding property', Periodica Mathematica Hungarica, 33, pp. 45 - 50, http://dx.doi.org/10.1007/BF02341089

Buss SR; Ignjatović A, 1995, 'Unprovability of consistency statements in fragments of bounded arithmetic', Annals of Pure and Applied Logic, 74, pp. 221 - 244, http://dx.doi.org/10.1016/0168-0072(94)00049-9

IGNJATOVIC A, 1995, 'DELINEATING CLASSES OF COMPUTATIONAL-COMPLEXITY VIA 2ND-ORDER THEORIES WITH WEAK SET EXISTENCE PRINCIPLES .1.', JOURNAL OF SYMBOLIC LOGIC, 60, pp. 103 - 121, http://dx.doi.org/10.2307/2275511

IGNJATOVIC A, 1994, 'HILBERT PROGRAM AND THE OMEGA-RULE', JOURNAL OF SYMBOLIC LOGIC, 59, pp. 322 - 343, http://dx.doi.org/10.2307/2275269

Clote P; Ignjatovic A; Kapron B, 1993, 'Parallel computable higher type functionals', Annual Symposium on Foundatons of Computer Science Proceedings, pp. 72 - 81

IGNJATOVIC A, 1987, 'UNIONS AND INTERSECTIONS OF ISOMORPHIC IMAGES OF NONSTANDARD MODELS OF ARITHMETIC', JOURNAL OF SYMBOLIC LOGIC, 52, pp. 323 - 323, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1987G393900099&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Back to profile page