Institut for Matematik og Datalogi


Campusvej 55
Odense M
  • Tlf: 65502387

Vis graf over relationer

  1. 2017
  2. Udgivet

    An integrative in-silico approach for therapeutic target identification in the human pathogen Corynebacterium diphtheriae

    Jamal, S. B., Hassan, S. S., Tiwari, S., Viana, M. V., De Jesus Benevides, L., Ullah, A., Turjanski, A. G., Barh, D., Ghosh, P., Costa, D. A., Silva, A., Röttger, R., Baumbach, J. & Azevedo, V. A. C. 2017 I : PLoS ONE. 12, 10, 25 s., e0186401

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  3. Udgivet
  4. Udgivet
  5. Udgivet

    Analyzing Program Termination and Complexity Automatically with AProVE

    Giesl, J., Aschermann, C., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Hensel, J., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R. 2017 I : Journal of Automated Reasoning. 58, 1, s. 3-31

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  6. Udgivet

    Antistrong Digraphs

    Bang-Jensen, J., Bessy, S., Jackson, B. & Kriesell, M. 2017 I : Journal of Combinatorial Theory. Series B. 122, s. 68-90

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  7. Udgivet

    Ascorbic acid may not be involved in cryptochrome-based magnetoreception

    Nielsen, C., Kattnig, D. R., Sjulstok, E., Hore, P. J. & Solov'yov, I. A. 2017 I : Journal of the Royal Society. Interface. 14, 137, 10 s., 20170657

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  8. Udgivet

    Assessing frequency-dependent site polarisabilities in linear response polarisable embedding

    Nørby, M. S., Vahtras, O., Norman, P. & Kongsted, J. 2017 I : Molecular Physics. 115, 1-2, s. 39-47

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  9. Udgivet

    Asymptotically safe and free chiral theories with and without scalars

    Mølgaard, E. & Sannino, F. 2017 I : Physical Review D. 96, 5, 15 s., 056004

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  10. Udgivet

    Asymptotically Safe Standard Model via Vectorlike Fermions

    Mann, R. B., Meffe, J. R., Sannino, F., Steele, T. G., Wang, Z. W. & Zhang, C. 2017 I : Physical Review Letters. 119, 26, 5 s., 261802

    Publikation: Bidrag til tidsskriftLetter

  11. Udgivet
  12. Udgivet

    Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

    Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., Schneider-Kamp, P. & Aschermann, C. 2017 I : Journal of Automated Reasoning. 58, 1, s. 33-65

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  13. Udgivet

    Batch Coloring of Graphs

    Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A. 2017 Approximation and Online Algorithms: 14th International Workshop on Approximation and Online Algorithms, WAOA 2016. Jansen, K. & Mastrolilli, M. (red.). Springer, s. 52-64 (Lecture Notes in Computer Science, Bind 10138).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  14. Udgivet
  15. Udgivet

    Bias-corrected and robust estimation of the bivariate stable tail dependence function

    Escobar-Bach, M., Goegebeur, Y., Guillou, A. & You, A. 2017 I : Test. 26, 2, s. 284-307

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  16. Udgivet

    Cartan subalgebras and the UCT problem

    Barlak, S. & Li, X. 2017 I : Advances in Mathematics. 316, s. 748–769

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  17. Udgivet

    CBP: A New Parallelization Paradigm for Massively Distributed Stream Processing

    Guo, Q. & Zhou, Y. 2017 Database Systems for Advanced Applications: Proceedings of the 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30. Selcuk, C., Lei, C., Pedersen, T. B., Lijun, C. & Wen, H. (red.). Springer, Bind Part II, s. 304-320 (Lecture Notes in Computer Science, Bind 10178).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  18. Udgivet
  19. Udgivet

    Cheap arbitrary high order methods for single integrand SDEs

    Debrabant, K. & Kværnø, A. 2017 I : Bit (Lisse). 57, 1, s. 153-168

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  20. Udgivet

    Chemical Graph Transformation with Stereo-Information

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F. 2017 Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings: Proceedings of the 10th International Conference on Graph Transformation. de Lara, J. & Plump, D. (red.). Cham: Springer, s. 54-69 (Lecture Notes in Computer Science, Bind 10373).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  21. Udgivet

    Chinese Postman Problem on edge-colored multigraphs

    Gutin, G., Jones, M., Sheng, B., Wahlström, M. & Yeo, A. 2017 I : Discrete Applied Mathematics. 217, Part 2, s. 196-202

    Publikation: Bidrag til tidsskriftTidsskriftartikel

  22. Udgivet

    Classical higher-order processes

    Montesi, F. 2017 Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Bouajjani, A. & Silva, A. (red.). Springer, s. 171-178 (Lecture Notes in Computer Science, Bind 10321).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  23. Udgivet

    Composite Higgs Dynamics on the Lattice

    Pica, C., Drach, V., Hansen, M. R. L. & Sannino, F. 2017 I : E P J Web of Conferences. 137, 10005

    Publikation: Bidrag til tidsskriftKonferenceartikel

  24. Udgivet
  25. Udgivet
  26. Udgivet
Forrige 1 2 3 4 5 6 7 8 ...71 Næste