Department of Applied Mathematics and Computer Science

  1. 2018
  2. Accepted/In press

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    In: Journal of Automated Reasoning, 20.01.2018, p. 1-30.

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

  3. Published

    Approximation of ruin probabilities via Erlangized scale mixtures. / Peralta, Oscar; Rojas-Nandayapa, Leonardo; Xie, Wangyue; Yao, Hui.

    In: Insurance: Mathematics and Economics, Vol. 78, 01.01.2018, p. 136-156.

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

  4. 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

  5. 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

  6. 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

  7. Published

    Altered auditory processing and effective connectivity in 22q11.2 deletion syndrome. / Larsen, Kit Melissa; Mørup, Morten; Birknow, Michelle Rosgaard; Fischer, Elvira; Hulme, Oliver; Vangkilde, Anders; Schmock, Henriette; Baaré, William Frans Christiaan; Didriksen, Michael; Olsen, Line; Werge, Thomas; Siebner, Hartwig R.; Garrido, Marta I.

    In: Schizophrenia Research, 2018.

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

  8. Published

    Analysis of MRI by fractals for prediction of sensory attributes: A case study in loin. / Caballero, Daniel; Antequera, Teresa; Caro, Andrés; Amigo, José Manuel; Ersbøll, Bjarne Kjær; Dahl, Anders Bjorholm; Pérez-Palacios, Trinidad.

    In: Journal of Food Engineering, Vol. 227, 2018, p. 1-10.

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

  9. Published

    An Integrated Framework to Specify Domain-Specific Modeling Languages. / Zarrin, Bahram; Baumeister, Hubert.

    Proceedings of 6th International Conference on Model-Driven Engineering and Software Development. 2018. p. 83-94.

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

  10. 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

  11. Published

    A spectral geometric model for Compton single scatter in PET based on the single scatter simulation approximation : Paper. / Kazantsev, I.G.; Olsen, Ulrik Lund; Poulsen, Henning Friis; Hansen, Per Christian.

    In: Inverse Problems, Vol. 34, No. 2, 024002 , 2018.

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

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