Department of Applied Mathematics and Computer Science

  1. 2018
  2. Published

    Activity-based DEVS modeling. / Alshareef, Abdurrahman; Sarjoughian, Hessam S.; Zarrin, Bahram.

    In: Simulation Notes Europe, Vol. 82, 2018, p. 116-131.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  3. Published

    A Dynamic Logic for Learning Theory. / Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja.

    Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. ed. / Alexandre Madeira; Mario Benevides. Vol. 10669 Springer, 2018. p. 35-54 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  4. Published

    A hamiltonian cycle in the square of a 2-connected graph in linear time. / Alstrup, Stephen; Georgakopoulos, Agelos; Rotenberg, Eva; Thomassen, Carsten.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 1645-1649 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  5. Published

    AntibIoTic: Protecting IoT Devices Against DDoS Attacks. / De Donno, Michele; Dragoni, Nicola; Giaretta, Alberto; Mazzara, Manuel.

    Proceedings of 5th International Conference in Software Engineering for Defence Applications: SEDA 2016. ed. / Paolo Ciancarini; Stanislav Litvinov; Angelo Messina; Alberto Sillitti; Giancarlo Succi. Springer, 2018. p. 59-72 (Advances in Intelligent Systems and Computing, Vol. 717).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2018

  6. Published

    Benchmarking and monitoring framework for interconnected file synchronization and sharing services. / Mrówczyński, Piotr; Mościcki, Jakub T.; Lamanna, Massimo; Orellana, Frederik.

    In: Future Generation Computer Systems, Vol. 78, 2018, p. 1083-1090.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  7. Published

    Benders’ Decomposition for Curriculum-Based Course Timetabling. / Bagger, Niels-Christian F.; Sørensen, Matias; Stidsen, Thomas R.

    In: Computers & Operations Research, Vol. 91, 2018, p. 178-189.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  8. Submitted

    Benefits of spatio-temporal modelling for short term wind power forecasting at both individual and aggregated levels. / Lenzi, Amanda; Pinson, Pierre; Steinsland, Ingelin .

    In: Environmetrics, 2018.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  9. Published

    Carbon dioxide not suitable for extinguishment of smouldering silo fires: static electricity may cause silo explosion. / Hedlund, Frank Huess.

    In: Biomass & Bioenergy, Vol. 108, 2018, p. 113–119.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  10. Published

    Comparison of linear and non-linear monotonicity-based shape reconstruction using exact matrix characterizations. / Garde, Henrik.

    In: Inverse Problems in Science and Engineering, Vol. 26, No. 1, 2018, p. 33-50.

    Publication: Research - peer-reviewJournal article – Annual report year: 2018

  11. Published
Previous 1 2 3 4 5 6 7 8 ...1121 Next
Download list: To download, please limit the number of search results to 1,000 or less.