@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={Mezei Ivan D,Malbasa Veljko D,Stojmenovic Ivan},
year={2012},
title={Task Assignment in Wireless Sensor and Robot Networks},
journal={2012 20TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={596-602},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Damm Markus,Lukic Milan,Mahlknecht Stefan,Haase Jan,Grimm Christoph,Malbasa Veljko D},
year={2012},
title={Shifting of Thermal and Schedulable Loads Based on Abstract Cost Profiles},
journal={2012 3RD IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@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={Mezei Ivan D,Malbasa Veljko D,Stojmenovic Ivan},
year={2009},
title={Greedy Extension of Localized Auction Based Protocols for Wireless Robot-Robot Coordination},
journal={2009 7TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS},
volume={},
number={},
pages={42-46},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Mezei Ivan D,Malbasa Veljko D,Stojmenovic Ivan},
year={2009},
title={Auction Aggregation Protocols for Wireless Robot-Robot Coordination},
journal={AD-HOC, MOBILE AND WIRELESS NETWORKS, PROCEEDINGS},
volume={5793},
number={},
pages={180-193},
document_type={Proceedings Paper},
} 

@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},
} 

@ARTICLE{
author={Mezei Ivan D,Malbasa Veljko D},
year={2005},
title={Using VHDL to improve an FPGA based educational microcomputer},
journal={Eurocon 2005: The International Conference on Computer as a Tool, Vol 1 and 2 , Proceedings},
volume={},
number={},
pages={799-802},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Sesic Aleksandra,Malbasa Veljko D},
year={2002},
title={Formal specification and preliminary design of an asynchronous traffic light controller},
journal={2002 23RD INTERNATIONAL CONFERENCE ON MICROELECTRONICS, VOLS 1 AND 2, PROCEEDINGS},
volume={},
number={},
pages={679-682},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Mezei Ivan D,Malbasa Veljko D},
year={2002},
title={Formal specification of an FPGA based educational microprocessor},
journal={2002 23RD INTERNATIONAL CONFERENCE ON MICROELECTRONICS, VOLS 1 AND 2, PROCEEDINGS},
volume={},
number={},
pages={667-670},
document_type={Proceedings Paper},
}