Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2015-09-18. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.

School of Information Technology Publications

In the column to the left you find links to our publications registered in DiVAexternal link, the University's on-line academic archive for scientific publishing, sorted according to type of publication.

Our 10 latest publications:

  • Article in journal
  • Konečný, Michal, Taha, Walid, Bartha, Ferenc Ágoston, Duracz, Jan, Duracz, Adam, Ames, Aaron D. (2016). Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point. Nonlinear Analysis. Hybrid Systems., 20, s. 1 - 20. View detailed record in DiVA link to external website
  • Olenina, Irina, Vaiciukynas, Evaldas, Sulcius, Sigitas, Paskauskas, Ricardas, Verikas, Antanas, Gelzinis, Adas, Bacauskiene, Marija, Bertasiute, Vilma, Olenin, Sergej (2016). The dinoflagellate Prorocentrum cordatum at the edge of the salinity tolerance : The growth is slower but cells are larger. Estuarine, Coastal and Shelf Science, 168 (5), s. 71 - 79. View detailed record in DiVA link to external website
  • Ghassemi, Fatemeh, Mousavi, Mohammad Reza (2016). Product Line Process Theory. The Journal of logical and algebraic methods in programming, 85 (1, part 2), s. 200 - 226. View detailed record in DiVA link to external website [ Download fulltex ]
  • Vinel, Alexey, Ma, Xiaomin, Huang, Dijiang (2016). Guest Editors’ Introduction : Special Issue on Reliable and Secure VANETs. IEEE Transactions on Dependable and Secure Computing, 13 (1), s. 2 - 4. View detailed record in DiVA link to external website
  • Persson, A. I. H., Enquist, H., Jurgilaitis, A., Andreasson, Björn Pererik, Larsson, J. (2015). Real-time observation of coherent acoustic phonons generated by an acoustically mismatched optoacoustic transducer using x-ray diffraction. Journal of Applied Physics, 118 (18). View detailed record in DiVA link to external website
  • Chapter in book
  • Mapp, Glenford, Gosh, Arindam, Paranthaman, Vishnu Vardhan, Iniovosa, Victor Otite, Loo, Jonathan, Vinel, Alexey (2016). Exploring Seamless Connectivity and Proactive Handover Techniques in VANET Systems. Intelligent Transportation Systems : Dependable Vehicular Communications for Improved Road Safety. Springer, Cham. S. 195 - 220. View detailed record in DiVA link to external website
  • Conference paper
  • Mostowski, Wojciech (2016). Dynamic Frames Based Verification Method for Concurrent Java Programs. Verified Software : Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers. View detailed record in DiVA link to external website
  • Doctoral thesis, comprehensive summary
  • Lund, Jesper, (2015). Digital Innovation : Orchestrating Network Activities. Diss. (sammanfattning). Göteborg : Göteborgs universitet, 2015. View detailed record in DiVA link to external website [ Download fulltex ]
  • Licentiate thesis, comprehensive summary
  • Larsson, Marcus, (2016). Methods to Improve V2V Communications in Platoons of Heavy Duty Vehicles. Lic.-avh. (sammanfattning). Halmstad : Halmstad University Press, 2016. View detailed record in DiVA link to external website [ Download fulltex ]
  • Student thesis
  • Zheyuan, Liu, (2015). Evaluation of platoon Application Enabled by Contemporary ETSI ITS-G5 Standards. 40 s. View detailed record in DiVA link to external website [ Download fulltex ]
Updated 2015-09-18