@InProceedings{Hanzalek,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "",
  booktitle =    "",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "",
  year =         "",
  abstract =     "",
  note =				 "",  
}


@article{Hanzalek10_169069,
   author = {Hanz{\' a}lek, Z. and Burget, P. and {\v S}{\r u}cha, P.},
   title = {{Profinet IO IRT Message Scheduling With Temporal Constraints}},
   journal = {Industrial Informatics, IEEE Transactions on},
   year = {2010},
   volume = {6},
   number = {3},
   pages = {369--380},
   month = {8},
   ISSN = {1551-3203},
   language = {English},
   URL = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5499439\&tag=1}
   }

@article{Hanzalek10_169642,
   author = {Hanz{\' a}lek, Z. and Jur{\v c}{\'\i}k, P.},
   title = {{Energy Efficient Scheduling for Cluster-Tree Wireless Sensor Networks With Time-Bounded Data Flows: Application to IEEE 802.15.4/ZigBee}},
   journal = {Industrial Informatics, IEEE Transactions on},
   year = {2010},
   volume = {6},
   number = {3},
   pages = {438--450},
   month = {8},
   ISSN = {1551-3203},
   language = {English}
   }

@article{Hanzalek10_172681,
   author = {Trdli{\v c}ka, J. and Hanz{\' a}lek, Z.},
   title = {{Distributed Multi-Commodity Network Flow Algorithm for Energy Optimal Routing in Wireless Sensor Networks}},
   journal = {Radioengineering},
   year = {2010},
   volume = {2010},
   number = {4},
   pages = {579--588},
   month = {December},
   ISSN = {1210-2512},
   language = {English},
   URL = {http://www.radioeng.cz/papers/2010-4.htm}
   }

@inbook{Hanzalek10_170792,
   author = {Kutil, M. and {\v S}{\r u}cha, P. and {\v C}apek, R. and Hanz{\' a}lek, Z.},
   title = {{Optimization and Scheduling Toolbox}},
   booktitle = {{Matlab - Modelling, Programming and Simulations}},
   publisher = {Sciyo},
   address = {Rijeka},
   year = {2010},
   pages = {239--260},
   ISBN = {978-953-307-125-1},
   language = {English}
   }

@inproceedings{Hanzalek10_169605,
   author = {B{\" a}umelt, Z. and {\v S}{\r u}cha, P. and Hanz{\' a}lek, Z.},
   title = {{An Evolutionary Algorithm in a Multistage Approach for an Employee Rostering Problem with a High Diversity of Shifts}},
   booktitle = {{Proceedings of the 8th International Conference on the Practice and Theory of Automated Timetabling}},
   publisher = {Queen's University of Belfast},
   address = {Belfast},
   year = {2010},
   pages = {97--112},
   ISBN = {08-538-9973-3},
   language = {English}
   }

@inproceedings{Hanzalek10_169733,
   author = {{\v C}apek, R. and {\v S}{\r u}cha, P. and Hanz{\' a}lek, Z.},
   title = {{Alternative Process Plans in Wire Harnesses Production}},
   booktitle = {{15th IEEE International Conference on Emerging Technologies and Factory Automation}},
   publisher = {IEEE},
   address = {Barcelona},
   year = {2010},
   pages = {1--8},
   ISBN = {978-1-4244-6849-2},
   language = {English}
   }

@inproceedings{Hanzalek10_170269,
   author = {Jur{\v c}{\'\i}k, P. and Hanz{\' a}lek, Z.},
   title = {{Simulation study of energy efficient scheduling for IEEE 802.15.4/ZigBee cluster-tree Wireless Sensor Networks with time-bounded data flows}},
   booktitle = {{15th IEEE International Conference on Emerging Technologies and Factory Automation}},
   publisher = {IEEE},
   address = {Barcelona},
   year = {2010},
   pages = {9--16},
   ISBN = {978-1-4244-6849-2},
   language = {English}
   }

@inproceedings{Hanzalek10_168894,
   author = {Sojka, M. and P{\'\i}{\v s}a, P. and Petera, M. and {\v S}pinka, O. and Hanz{\' a}lek, Z.},
   title = {{A Comparison of Linux CAN Drivers and their Applications}},
   booktitle = {{5th IEEE International Symposium on Industrial Embedded Systems}},
   publisher = {IEEE},
   address = {445 Hoes Lane, Piscataway, NJ 08854-4141},
   year = {2010},
   pages = {--},
   ISBN = {978-1-4244-5840-0},
   language = {English}
   }

@inproceedings{Hanzalek10_169603,
   author = {B{\" a}umelt, Z. and Waszniowski, L. and {\v S}{\r u}cha, P. and Hanz{\' a}lek, Z.},
   title = {{Integrated Vehicle Routing and Rostering in Home Health Care Services}},
   booktitle = {{Operations Research for Patient-Centered Health Care Delivery}},
   publisher = {University of Genova},
   address = {Genova},
   year = {2010},
   pages = {267--275},
   ISBN = {978-88-568-2595-4},
   language = {English}
   }

@inproceedings{Hanzalek10_172685,
   author = {Trdli{\v c}ka, J. and Hanz{\' a}lek, Z.},
   title = {{Distributed Algorithm for Energy Optimal Multi-Commodity Network Flow Routing in Sensor Networks.}},
   booktitle = {{Wireless Communications and Signal Processing (WCSP), 2010 International Conference on}},
   publisher = {IEEE},
   address = {Beijing},
   year = {2010},
   pages = {1--6},
   ISBN = {978-1-4244-7556-8},
   language = {English},
   URL = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5633495}
   }

@article{Hanzalek09_157784,
   author = {Waszniowski, L. and Kr{\' a}kora, J. and Hanz{\' a}lek, Z.},
   title = {{Case study on distributed and fault tolerant system modeling based on timed automata}},
   journal = {The Journal of Systems and Software},
   year = {2009},
   volume = {82},
   number = {10},
   pages = {1678--1694},
   month = {October},
   ISSN = {0164-1212},
   language = {English}
   }

@book{Hanzalek09_165486,
   author = {Gomes, L. and Fernandes, J. M. and Waszniowski, L. and Hanz{\' a}lek, Z.},
   title = {{Behavioral Modeling for Embedded Systems and Technologies:Applications for Design and Implementation}},
   publisher = {IGI Publishing},
   address = {Hershey},
   year = {2009},
   pages = {494},
   ISBN = {978-1-60566-750-8},
   language = {English}
   }
@inproceedings{Hanzalek09_d,
   author = {Kutil, M. and Hanz{\' a}lek, Z.},
   title = {{Light Controlled Intersection Model Based on the Continuous Petri Net}},
   booktitle = {{12th IFAC Symposium on Transportation Systems}},
   publisher = {IFAC},
   address = {Laxenburg},
   year = {2009},
   pages = {519--525},
   language = {English},
   URL = {http://ee.usc.edu/CTS09/}
   }

@inproceedings{Hanzalek09_c,
   author = {Hanz{\' a}lek, Z. and Burget, P. and {\v S}{\r u}cha, P.},
   title = {{Profinet IO IRT Message Scheduling}},
   booktitle = {{Proceedings of the 21st Euromicro Conference on Real-Time Systems}},
   publisher = {IEEE Computer Society Press},
   address = {Los Alamitos},
   year = {2009},
   pages = {57--65},
   ISBN = {978-0-7695-3724-5},
   ISSN = {1068-3070},
   language = {English}
   }

@inproceedings{Hanzalek09_b,
   author = {Hanz{\' a}lek, Z. and {\v S}{\r u}cha, P.},
   title = {{Time Symmetry of Project Scheduling with Time Windows and Take-give Resources}},
   booktitle = {{Multidisciplinary International Scheduling: Theory and Application (MISTA)}},
   publisher = {University of Nottingham},
   address = {Nottingham},
   year = {2009},
   volume = {1/1},
   pages = {239--251},
   language = {English}
   }

@inproceedings{Hanzalek09_157999,
   author = {Hn{\v e}t{\' y}nka, P. and Bure{\v s}, T. and Proch{\' a}zka, M. and Ward, R. and Hanz{\' a}lek, Z.},
   title = {{SOFA High Integrity: Our Approach to SAVOIR}},
   booktitle = {{Proceedings of Data Systems in Aerospace}},
   publisher = {European Space Agency},
   address = {Pa{\v r}{\'\i}{\v z}},
   year = {2009},
   pages = {--},
   ISBN = {978-92-9221-233-9},
   ISSN = {1609-042X},
   language = {English}
   }

@article{Hanzalek08a,
   author = {Waszniowski, L. and Hanz{\' a}lek, Z.},
   title = {{Formal Verification of Multitasking Applications Based on Timed Automata Model}},
   journal = {Real-Time Systems},
   year = {2008},
   volume = {38},
   number = {1},
   pages = {39--65},
   month = {January},
   ISSN = {0922-6443},
   language = {English}
   }

@article{Hanzalek08b,
   author = {Kr{\' a}kora, J. and Hanz{\' a}lek, Z.},
   title = {{FPGA Based Tester Tool for Hybrid Real-Time Systems}},
   journal = {Microprocessors and Microsystems  - Embedded Hardware Design},
   year = {2008},
   volume = {32},
   number = {8},
   pages = {447--459},
   month = {November},
   ISSN = {0141-9331},
   language = {English},
   URL = {http://dx.doi.org/10.1016/j.micpro.2008.07.003}
   }

@article{Hanzalek08c,
   author = {{\v S}{\r u}cha, P. and Hanz{\' a}lek, Z.},
   title = {{Deadline Constrained Cyclic Scheduling on Pipelined Dedicated Processors Considering Multiprocessor Tasks and Changeover Times}},
   journal = {Mathematical and Computer Modelling},
   year = {2008},
   volume = {47},
   number = {9-10},
   pages = {925--942},
   month = {May},
   ISSN = {0895-7177},
   language = {English}
   }

@inproceedings{Hanzalek08d,
   author = {Kr{\' a}kora, J. and Hanz{\' a}lek, Z.},
   title = {{Optimisation of Applications for FPGAs with PowerPC Processor Using Priced Timed Automata}},
   booktitle = {{IEEE International Symposium on Industrial Electronics \&\#8211; ISIE 2008}},
   publisher = {Anglia Ruskin University},
   address = {Cambridge},
   year = {2008},
   pages = {--},
   ISBN = {978-1-4244-1666-0},
   language = {English}
   }

@inproceedings{Hanzalek08e,
   author = {{\v S}{\r u}cha, P. and Hanz{\' a}lek, Z.},
   title = {{Scheduling of a LQ Control Algorithm for Efficient FPGA Implementation}},
   booktitle = {{17th IFAC WORLD CONGRESS, JULY 6-11, 2008, SEOUL, KOREA}},
   publisher = {IFAC},
   address = {Seoul},
   year = {2008},
   pages = {261},
   language = {English}
   }

@inproceedings{Hanzalek08f,
   author = {Kelbel, J. and Hanz{\' a}lek, Z.},
   title = {{Feeder Setup Optimization in SMT Assembly}},
   booktitle = {{Proceedings of the 21st International FLAIRS Conference}},
   publisher = {AAAI Press},
   address = {Menlo Park, California},
   year = {2008},
   pages = {575--576},
   ISBN = {978-1-57735-365-2},
   language = {English}
   }

@inproceedings{Hanzalek08g,
   author = {Sigh, I. and Trdli{\v c}ka, J. and Hanz{\' a}lek, Z.},
   title = {{ITEM - Implementation of Integrated TDMA and E-ASAP Module}},
   booktitle = {{Proceedings Work-In-Progress Session of 20th Euromicro Conference on Real - Time Systems}},
   publisher = {Czech Technical University in Prague},
   address = {Praha},
   year = {2008},
   pages = {64--67},
   language = {English},
   URL = {http://dce.felk.cvut.cz/ecrts08/}
   }

@inproceedings{Hanzalek08h,
   author = {Sojka, M. and Moln{\' a}r, M. and Hanz{\' a}lek, Z.},
   title = {{Experiments for Real-Time Communication Contracts in IEEE 802.11e EDCA Networks}},
   booktitle = {{Proceedings of 2008 IEEE International Workshop on Factory Communication Systems}},
   publisher = {IEEE},
   address = {Piscataway},
   year = {2008},
   pages = {89--92},
   ISBN = {978-1-4244-2349-1},
   language = {English}
   }

@inproceedings{Hanzalek08i,
   author = {Waszniowski, L. and Hanz{\' a}lek, Z. and Doubrava, J.},
   title = {{Validation of Yaw Damper Controller via Hardware in the Loop Simulation}},
   booktitle = {{Proceedings of the AIAA Modeling and Simulation Technologies Conference 2008}},
   publisher = {American Institute of Aeronautics and Astronautics},
   address = {Reston},
   year = {2008},
   pages = {320--331},
   language = {English}
   }

@inproceedings{Hanzalek07h,
   author = {Trdli{\v c}ka, J. and Johansson, M. and Hanz{\' a}lek, Z.},
   title = {{Optimal Flow Routing in Multi-hop Sensor Networks with Real-Time Constraints through Linear Programming.}},
   booktitle = {{12th IEEE International Conference on Emerging Technologies and Factory Automation}},
   publisher = {Institute of Electrical and Electronic Engineers},
   address = {Piscataway},
   year = {2007},
   pages = {--},
   ISBN = {1-4244-0826-1},
   language = {English}
   }

@inproceedings{Hanzalek07g,
   author = {Jur{\v c}{\'\i}k, P. and Koubaa, A. and Alves, M. and Tovar, E. and Hanz{\' a}lek, Z.},
   title = {{A Simulation Model for the IEEE 802.15.4 Protocol: Delay/Throughput Evaluation of the GTS Mechanism}},
   booktitle = {{Proceedings of MASCOTS\&\#8217;07 15th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems}},
   publisher = {IEEE},
   address = {Piscataway},
   year = {2007},
   pages = {109--116},
   ISBN = {978-1-4244-1853-4},
   language = {English}
   }

@inproceedings{Hanzalek07f,
   author = {Kelbel, J. and Hanz{\' a}lek, Z.},
   title = {{Constraint Programming Search Procedure for Earliness/Tardiness Job Shop Scheduling Problem}},
   booktitle = {{Proceedings of the 26th Workshop of the UK Planning and Scheduling Special Interest Group}},
   publisher = {UK MFF},
   address = {Praha},
   year = {2007},
   pages = {67--70},
   ISSN = {1368-5708},
   language = {English}
   }

@inproceedings{Hanzalek07e,
   author = {Peca , M. and Sojka, M. and Hanz{\' a}lek, Z.},
   title = {{SPEJBL - The Biped Walking Robot}},
   booktitle = {{Preprints 7th IFAC International Conference on Fieldbuses and nETworks in industrial and embedded systems}},
   publisher = {Universite Toulouse},
   address = {Toulouse},
   year = {2007},
   pages = {63--70},
   language = {English}
   }

@inproceedings{Hanzalek07d,
   author = {{\v S}pinka, O. and Kroupa, {\v S}. and Hanz{\' a}lek, Z.},
   title = {{Control System for Unmanned Aerial Vehicles}},
   booktitle = {{5th IEEE International Conference on Industrial Informatics}},
   publisher = {IEEE},
   address = {Piscataway},
   year = {2007},
   pages = {455--460},
   ISBN = {1-4244-0864-4},
   ISSN = {1935-4576},
   language = {English}
   }

@inproceedings{Hanzalek07c,
   author = {{\v S}{\r u}cha, P. and Hanz{\' a}lek, Z.},
   title = {{Cyclic Scheduling of Tasks with Unit Processing Time on Dedicated Sets of Parallel Identical Processors}},
   booktitle = {{Proceedings of the 3rd Multidisciplinary International Conference on Scheduling: Theory and Application }},
   publisher = {LIP6},
   address = {Paris},
   year = {2007},
   pages = {463--470},
   language = {English}
   }

@article{Hanzalek07b,
 author =       "P\v{r}emysl \v{S}\r{u}cha and Zden\v{e}k Hanz\'{a}lek and Anton\'{i}n He\v{r}m\'anek and Jan Schier",
 title = "Scheduling of Iterative Algorithms with Matrix Operations for Efficient FPGA Design - Implementation of Finite Interval Constant Modulus Algorithm",
 journal = "The Journal of VLSI Signal Processing",
 volume = "46",
 number = "1",
 year = "2007",
 issn = "0922-5773, 1573-109X",
 pages = "35-53",
 doi = "10.1007/s11265-006-0004-y",
 note = "http://www.springerlink.com/content/t217kg0822538014/",
 publisher = {Springer},
 }

@inproceedings{Hanzalek07a,
   author = {Bartosinski, R. and Hanz{\' a}lek, Z. and Stru{\v z}ka, P. and Waszniowski, L.},
   title = {{Integrated Environment for Embedded Control Systems Design }},
   booktitle = {{Proceedings 21st  International Parallel and Distributed Processing Symposium  }},
   publisher = {IEEE},
   address = {Piscataway},
   year = {2007},
   pages = {147},
   ISBN = {1-4244-0909-8},
   language = {English}
   }
   
@InProceedings{Hanzalek06g,
  author =       "P\v{r}emysl \v{S}\r{u}cha and Michal Kutil and Michal Sojka and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "TORSCHE Scheuling Toolbox for Matlab",
  booktitle =    "IEEE Symposium on Computer-Aided Control System Design 2006",
  volume =       "",
  pages =        "50-52",
  publisher =    "Piscataway: IEEE",
  month =        "",
  year =         "2006",
  abstract =     "",
  note =				 "ISBN 0-7803-9797-5",
}
 
@InProceedings{Hanzalek06f,
  author =       "Jan Kelbel and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "A Case Study on Earliness/Tardiness Scheduling by Constraint Programming",
  booktitle =    "Twelfth International Conference on Principles and Practice of Constraint Programming - Doctoral Program",
  volume =       "",
  pages =        "p. 108-113",
  publisher =    "Laboratoire D’Informatique de Nantes Atlantique",
  month =        "",
  year =         "2006",
  abstract =     "",
}

@InProceedings{Hanzalek06e,
  author =       "Jan Kr\'{a}kora and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Testing of Hybrid Real-time Systems Using FPGA Platform",
  booktitle =    "IEEE Symposium on Industrial Embedded Systems",
  volume =       "",
  pages =        "",
  publisher =    "IEEE",
  month =        "",
  year =         "2006",
  abstract =     "",
  note = 				 "ISBN 1-4244-0777-X",
} 

@InProceedings{Hanzalek06d,
  author =       "Michal Kutil and Zden\v{e}k Hanz\'{a}lek and Anton Cervin",
  editor =       "",
  title =        "Balancing the Waiting Times in a Simple Traffic Intersection Model",
  booktitle =    "11th IFAC Symposium on Control in Transportation Systems",
  volume =       "",
  pages =        "313-318",
  publisher =    "New York: IFAC",
  month =        "",
  year =         "2006",
  abstract =     "",
}

@InProceedings{Hanzalek06c,
  author =       "Ond\v{r}ej \v{S}pinka and Jan Kr\'{a}kora and Michal Sojka and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Low-cost avionics system for ultra-light aircraft",
  booktitle =    "11th IEEE International  Conference on Emerging Technologies and Factory Automation",
  volume =       "",
  pages =        "102-109",
  publisher =    "Piscataway: IEEE",
  month =        "",
  year =         "2006",
  abstract =     "",
  note = 				 "ISBN 1-4244-0681-1",
}

@InProceedings{Hanzalek06b,
  author =       "P\v{r}emysl \v{S}\r{u}cha and Zden\v{e}k Hanz\'{a}lek and Anton\'{i}n He\v{r}m\'anek and Jan Schier",
  editor =       "",
  title =        "Efficient FPGA Implementation of Equalizer for Finite Interval Constant Modulus Algorithm",
  booktitle =    "IEEE Symposium on Industrial Embedded Systems",
  volume =       "",
  pages =        "",
  publisher =    "IEEE",
  month =        "",
  year =         "2006",
  abstract =     "",
  note = 				 "ISBN 1-4244-0777-X",  
}
@InProceedings{Hanzalek06a,
  author =       "P\v{r}emysl \v{S}\r{u}cha and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Scheduling of Tasks with Precedence Delays and Relative Deadlines - Framework for Time-optimal Dynamic Reconfiguration of FPGAs",
  booktitle =    "IEEE International Parallel and Distributed Processing Symposium, WPDRTS",
  volume =       "",
  pages =        "170",
  publisher =    "New York: IEEE Press",
  month =        "",
  year =         "2006",
  abstract =     "",
  note = 				 "ISBN 1-4244-0054-6",  
}  
  
@InProceedings{Hanzalek05d,
  author =       "Libor Waszniowski and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Over-approximate Model of Multitasking Application Based on Timed Automata Using Only One Clock",
  booktitle =    "IEEE International Parallel and Distributed Processing Symposium, WPDRTS",
  volume =       "",
  pages =        "",
  publisher =    "New York: IEEE Press",
  month =        "April",
  year =         "2005",
  abstract =     "",
  note =				 "",  
}

@InProceedings{Hanzalek05b,
  author =       "Petr Jur\v{c}\'{i}k and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Construction of the Bounded Application layer Multicast Tree in the Overlay Network Model by the Integer Linear Programming",
  booktitle =    "IEEE International Conference on Emerging Technologies and Factory Automation",
  volume =       "",
  pages =        "",
  publisher =    "IEEE",
  month =        "September",
  year =         "2005",
  abstract =     "",
  note =				 "",  
}

@InProceedings{Hanzalek05a,
  author =       "Zden\v{e}k Pohl and P\v{r}emysl \v{S}\r{u}cha and Ji\v{r}\'{i} Kadlec and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Performance Tuning of Iterative Algorithms in Signal Processing",
  booktitle =    "The 15th International Conference on Field-Programmable Logic and Applications (FPL'05)",
  volume =       "",
  pages =        "",
  publisher =    "IEEE",
  month =        "",
  year =         "2005",
  abstract =     "",
  note =				 "",  
}
  
@InProceedings{Hanzalek04h,
  author =       "Martina Sv\'{a}dov\'{a} and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "An algorithm for evolution graph of extended Hybrid Petri nets",
  booktitle =    "IEEE International Conference on Systems, Man \& Cybernetics, Hague",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "October",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04g,
  author =       "Libor Waszniowski and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Timed Automata Model of OSEK/VDX Based Multitasking Applications",
  booktitle =    "25th IEEE International Real-Time Systems Symposium, RTSS, Lisbon",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "December",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04f,
  author =       "P\v{r}emysl \v{S}\r{u}cha and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Scheduling with Start Time Related Deadlines",
  booktitle =    "IEEE Conference on Computer Aided Control Systems Design, Taipei",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "September",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04e,
  author =       "Ond\v{r}ej Dolej\v{s} and Petr Smol\'{i}k and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "On the Ethernet Use for Real-Time Applications",
  booktitle =    "5th IEEE International Workshop on Factory Communication Systems, WFCS, Vienna",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "September",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04d,
  author =       "P\v{r}emysl \v{S}\r{u}cha and Zden\v{e}k Pohl and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Scheduling of Iterative Algorithms on {FPGA} with Pipelined Arithmetic Unit",
  booktitle =    "10th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, Toronto",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "May",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04c,
  author =       "Jan Kr\'{a}kora and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Timed Automata Approach for {CAN} Verification",
  booktitle =    "11th IFAC Symposium on Information Control Problems in Manufacturing, INCOM, Salvador",
  volume =       "",
  pages =        "",
  publisher =    "Elsevier",
  month =        "April",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04b,
  author =       "Libor Waszniowski and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Analysis of {OSEK/VDX} Based Automotive Applications",
  booktitle =    "IFAC Symposium on Advances in Automotive Control, Salerno",
  volume =       "",
  pages =        "",
  publisher =    "Elsevier",
  month =        "April",
  year =         "2004",
  abstract =     "",
}

@InProceedings{Hanzalek04a,
  author =       "Jan Kr\'{a}kora and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Verifying Real-Time Properties of {CAN} Bus by Timed Automata",
  booktitle =    "FISITA, World Automotive Congress, Barcelona",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "May",
  year =         "2004",
  abstract =     "",
}


@InBook{Hanzalek03d,
  author =       "Zden\v{e}k Hanz\'{a}lek and Josef \v{C}apek",
  editor =       "Mahalik, N.P.",
  title =        "Channel Backlog Estimation in LonWorks",
  booktitle =    "Fieldbus Technology - Industrial Network Standards for Real-Time Distributed Control",
  isbn =         "3-540-40183-0",
  pages =        "487-500",
  publisher =    "Springer",
  month =        "",
  year =         "2003",
  abstract =     "",
}

@InProceedings{Hanzalek03c,
  author =       "Libor Waszniowski and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Analysis of Real Time Operating System Based Applications",
  booktitle =    "First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS, Marseille",
  volume =       "",
  pages =        "",
  publisher =    "LNCS Springer",
  month =        "September",
  year =         "2003",
  abstract =     "",
}

@InProceedings{Hanzalek03b,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Continuous Petri Nets and Polytopes",
  booktitle =    "IEEE International Conference on Systems Man \& Cybernetics, Washington, D.C.",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "October",
  year =         "2003",
  abstract =     "",
}

@InProceedings{Hanzalek03a,
  author =       "Martina Sv\'{a}dov\'{a} and Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Modeling of systems with delays using Hybrid Petri Nets",
  booktitle =    "IFAC Conference on Control Systems Design, Bratislava",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "",
  year =         "2003",
  abstract =     "",
}

@inproceedings{Hanzalek02b,
 author = {Ond\v{r}ej Dolej\v{s} and Zden\v{e}k Hanz\'{a}lek},
 title = {Optimality of the Tree Building Control Protocol},
 booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications},
 year = {2002},
 isbn = {1-892512-90-4},
 pages = {1685--1691},
 publisher = {CSREA Press},
 }

@inproceedings{Hanzalek02a,
 author = {Miroslav Dub and G.Pipan and Zden\v{e}k Hanz\'{a}lek},
 title = {Stock Optimization of a Kanban-based Assembly Line},
 booktitle = {Proceedings of the 12th International Conference on Flexible Automation\&Intelligent Manufacturing},
 pages = {258-267},
 publisher = {Oldenbourg Wissenschaftsverlag},
 isbn = {3-486-27036-2},
 year = {2002},
 }

@InProceedings{Hanzalek01b,
  author =       "Zden\v{e}k Hanz\'{a}lek and Miroslav Dub",
  editor =       "",
  title =        "Simulation of a Kanban Based Assembly Line by Means of Petri Nets",
  booktitle =    "16th International Conference on Production Research, Prague",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "",
  year =         "2001",
  abstract =     "",
}

@InProceedings{Hanzalek01a,
  author =       "Zden\v{e}k Hanz\'{a}lek and Martina Sv\'{a}dov\'{a}",
  editor =       "",
  title =        "Matlab Toolbox for Petri Nets",
  booktitle =    "22nd International Conference, ICATPN 2001 Newcastle upon Tyne",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "",
  year =         "2001",
  abstract =     "",
}

@InProceedings{Hanzalek00,
  author =       "Zden\v{e}k Hanz\'{a}lek and Josef \v{C}apek",
  editor =       "",
  title =        "{STPN} Model of Physical and MAC layer of LonWorks",
  booktitle =    "IFAC Conference on Control Systems Design, Bratislava",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "",
  year =         "2000",
  abstract =     "",
}

@inproceedings{Hanzalek99,
 author = {Zden\v{e}k Hanz\'{a}lek and Tom\'{a}\v{s} P\'{a}cha},
 title = {Use of the Fieldbus Systems in an Academic Setting},
 booktitle = {Proceedings of the Third IEEE Real-Time Systems Education Workshop},
 year = {1998},
 isbn = {0-7695-0134-6},
 pages = {93},
 publisher = {IEEE Computer Society},
 }


@InProceedings{Hanzalek98c,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Algorithm Modeling with Petri Nets - Comparison with Data Dependence Graphs",
  booktitle =    "IEEE International Conference on Systems, Man, and Cybernetics, La Jolla, Calif.",
  volume =       "",
  pages =        "",
  publisher =    "",
  month =        "",
  year =         "1998",
  abstract =     "",
}

@InProceedings{Hanzalek98b,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Petri Net Cyclic Scheduling",
  booktitle =    "3rd IEEE European Workshop on Computer Intensive Methods in Control and Data Processing",
  volume =       "",
  pages =        "",
  publisher =    "UTIA CAV \& University of Reading",
  month =        "",
  year =         "1998",
  abstract =     "",
}

@article{Hanzalek98a,
 author = {Zden\v{e}k Hanz\'{a}lek},
 title = {A parallel algorithm for gradient training of feedforward neural networks},
 journal = {Parallel Computing},
 volume = {24},
 number = {5-6},
 year = {1998},
 issn = {0167-8191},
 pages = {823--839},
 doi = {http://dx.doi.org/10.1016/S0167-8191(98)00035-0},
 publisher = {Elsevier Science Publishers B. V.},
 }

@PhdThesis{Hanzalek97b,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  title =        "Parallel Algorithms for Distributed Control - A Petri Net Based Approach",
  school = 			 "CTU Prague and UPS Toulouse",
  month =        "",
  year =         "1997",
  abstract =     "",
}

@InProceedings{Hanzalek97a,
  author =       "Zden\v{e}k Hanz\'{a}lek and Emilia Schmieder and Peter Wenzel",
  editor =       "",
  title =        "Creation of the Laboratory for Fieldbus-based Automation Systems",
  booktitle =    "Second IEEE Real-time Education Workshop, Montreal",
  volume =       "",
  pages =        "",
  publisher =    "IEEE Computer Society Press, Los Alamitos, Calif.",
  month =        "",
  year =         "1997",
  abstract =     "",
}

@InProceedings{Hanzalek96b,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "",
  title =        "Finding Global Communication from a Petri Net Algorithm Representation",
  booktitle =    "IEEE European Workshop on Computer Intensive Methods in Control and Signal Processing, UTIA CAV and University of Reading",
  volume =       "",
  pages =        "37-43",
  publisher =    "",
  month =        "",
  year =         "1996",
  abstract =     "",
}

@InProceedings{Hanzalek96a,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "Janusz Zalewski",
  title =        "Laboratory  for Distributed Real-Time Control",
  booktitle =    "Proc of the IEEE Workshop  on Real-Time Systems Education, Daytona Beach",
  volume =       "",
  pages =        "99-105",
  publisher =    "IEEE Computer Society Press, Los Alamitos, Calif.",
  isbn = "0-8186-7649-3",
  month =        "",
  year =         "1996",
  abstract =     "",
}

@InProceedings{Hanzalek95,
  author =       "Zden\v{e}k Hanz\'{a}lek",
  editor =       "Alfons Crespo",
  title =        "Real-time Neural Controller Implemented on Parallel Architecture",
  booktitle =    "IFAC Symposium on Artificial Intelligence in Real-time Control",
  volume =       "",
  pages =        "",
  publisher =    "Elsevier Science",
  month =        "",
  year =         "1995",
  abstract =     "",
}