@ARTICLE{
author={Teodorovic Predrag,Dautovic Stanisa,Malbasa Veljko D},
year={2013},
title={Recursive Boolean Formula Minimization Algorithms for Implication Logic},
journal={IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS},
volume={32},
number={11},
pages={1829-1833},
document_type={Article},
} 

@ARTICLE{
author={Mezei Ivan D,Lukic Milan,Malbasa Veljko D,Stojmenovic Ivan},
year={2013},
title={Auctions and iMesh based task assignment in wireless sensor and actuator networks},
journal={COMPUTER COMMUNICATIONS},
volume={36},
number={9},
pages={979-987},
document_type={Article},
} 

@ARTICLE{
author={Mezei Ivan D,Malbasa Veljko D,Stojmenovic Ivan},
year={2013},
title={Greedy Extension of Localized Auction Based Protocols for Wireless Actuator Task Assignment},
journal={AD HOC & SENSOR WIRELESS NETWORKS},
volume={17},
number={1-2},
pages={73-85},
document_type={Article},
} 

@ARTICLE{
author={Zoranovic Aleksandar L,Stojanovic Goran M,Malbasa Veljko D},
year={2010},
title={Development of an MP3 player using an MP3 hardware decoder},
journal={INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION},
volume={47},
number={3},
pages={329-342},
document_type={Article},
} 

@ARTICLE{
author={Mezei Ivan D,Malbasa Veljko D,Stojmenovic Ivan},
year={2010},
title={Robot to Robot Communication Aspects of Coordination in Robot Wireless Networks},
journal={IEEE ROBOTICS & AUTOMATION MAGAZINE},
volume={17},
number={4},
pages={63-69},
document_type={Article},
} 

@ARTICLE{
author={Sesic Aleksandra,Dautovic Stanisa,Malbasa Veljko D},
year={2008},
title={Dynamic power management of a system with a two-priority request queue using probabilistic-model checking},
journal={IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS},
volume={27},
number={2},
pages={403-407},
document_type={Article},
}