Institut for Matematik og Datalogi

Kontaktinformation

Campusvej 55
5230
Odense M
Danmark
  • Tlf: 65502387

Vis graf over relationer

  1. 2018
  2. Udgivet

    Loose Graph Simulations

    Mansutti, A., Miculan, M. & Peressotti, M. 2018 Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (red.). Springer, s. 109-126 (Lecture Notes in Computer Science, Bind 10748).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  3. Udgivet

    Parameterized Algorithms for Survivable Network Design with Uniform Demands

    Bang-Jensen, J., Klinkby Knudsen, K. V., Saurabh, S., Basavaraju, M., Misra, P., Zehavi, M. & Ramanujan, M. S. 2018 Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Association for Computing Machinery, s. 2838-2850

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  4. 2017
  5. Udgivet

    A Core Model for Choreographic Programming

    Cruz-Filipe, L. & Montesi, F. 2017 Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Kouchnarenko, O. & Ramtin, K. (red.). Springer, s. 17-35 (Lecture Notes in Computer Science, Bind 10231).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  6. Udgivet

    Active Integrity Constraints: from Theory to Implementation

    Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P. 2017 Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Fred, A., Dietz, J. L. G., Aveiro, D., Liu, K. & Filipe, J. (red.). Springer, s. 399-420 (Communications in Computer and Information Science, Bind 631).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  7. Udgivet

    Adaptive Sampling for Nonlinear Dimensionality Reduction Based on Manifold Learning

    Franz, T., Zimmermann, R. & Goertz, S. 2017 Model Reduction of Parametrized Systems. Brenner, P., Ohlberger, M., Patera, A., Rozza, G. & Urban, K. (red.). Springer, s. 225-269 (Modeling, Simulation & Applications, Bind 17).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  8. Udgivet

    An agent-based model of sex ratio at birth distortions

    Kashyap, R. & Villavicencio, F. 2017 Agent-based modelling in population studies: Concepts, methods and applications. Grow, A. & Van Bavel, J. (red.). Cham: Springer, s. 343–367 (Springer Series on Demographic Methods and Population Analysis, Bind 41).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologi

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

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

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

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

  13. Udgivet

    Constraint Handling in Flight Planning

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S. 2017 23rd International Conference on Principles and Practice of Constraint Programming. Christopher Beck, J. (red.). Springer, s. 354-369 (Lecture Notes in Computer Science, Bind 10416).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  14. Udgivet

    DNA-Templated Synthesis Optimization

    Hansen, B. N., Larsen, K. S., Merkle, D. & Mihalchuk, A. 2017 23rd International Conference on DNA Computing and Molecular Programming. Springer, s. 17-32 (Lecture Notes in Computer Science, Bind 10467).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  15. Udgivet

    Efficient Certified RAT Verification

    Cruz-Filipe, L., Heule, M., Hunt, Jr, W., Kaufmann, M. & Schneider-Kamp, P. 2017 Automated Deduction - CADE 26: Proceedings of the 26th International Conference on Automated Deduction. de Moura, L. (red.). Springer, s. 220-236 (Lecture Notes in Computer Science, Bind 10395).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  16. Udgivet

    Efficient Certified Resolution Proof Checking

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P. 2017 Tools and Algorithms for the Construction and Analysis of Systems: Proceedings of the 3rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Legay, A. & Margaria, T. (red.). Springer, Bind Part I, s. 118-135 (Lecture Notes in Computer Science, Bind 10205).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  17. Udgivet

    Encoding Asynchrony in Choreographies

    Cruz-Filipe, L. & Montesi, F. 2017 Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, s. 1175-1177

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  18. Udgivet

    Flight Planning in Free Route Airspaces

    Kehlet Jensen, C., Chiarandini, M. & Larsen, K. S. 2017 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems. D'Angelo, G. & Dollevoet, T. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 14:1-14:14 (OpenAccess Series in Informatics, Bind 59).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  19. Udgivet

    Forbidden time travel: Characterization of time-consistent tree reconciliation maps

    Nøjgaard, N., Geiß, M., Merkle, D., Stadler, P. F., Wieseke, N. & Hellmuth, M. 2017 17th International Workshop on Algorithms in Bioinformatics, WABI 2017. Schwartz, R. & Reinert, K. (red.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, Bind 88).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  20. Udgivet

    Formally Proving the Boolean Triples Conjecture

    Cruz-Filipe, L. & Schneider-Kamp, P. 2017 Proceedings of LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 509-522 (EPiC Series in Computing, Bind 46).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  21. Udgivet

    Good and Bad Neighborhood Approximations for Outlier Detection Ensembles

    Kirner, E., Schubert, E. & Zimek, A. 2017 Proceedings of the 10th International Conference on Similarity Search and Applications. Beecks, C., Borutta, F., Kröger, P. & Seidl, T. (red.). Cham: Springer, s. 173-187 (Lecture Notes in Computer Science, Bind 10609).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  22. Udgivet

    How to Get More Out of Your Oracles

    Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P. 2017 Proceedings of the 8th International Conference on Interactive Theorem Proving. Ayala-Rincón, M. & Muñoz, C. A. (red.). Springer, s. 164-170 (Lecture Notes in Computer Science, Bind 10499).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  23. Udgivet

    Integrative Dynamic Reconfiguration in a Parallel Stream Processing Engine

    Madsen, K. G. S., Zhou, Y. & Cao, J. 2017 Proceedings of the 33rd International Conference on Data Engineering (ICDE). IEEE Press, s. 227-230

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  24. Udgivet

    Interest and Emotions in Science Education

    Petersen, M. R. & Dohn, N. B. 2017 Exploring Emotions, Aesthetics and Wellbeing in Science Education Research. Bellocchi, A., Quigley, C. & Otrel-Cass, K. (red.). Springer International Publishing Switzerland: Springer, s. 187-202 (Cultural Studies of Science Education , Bind 13).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologi

  25. Udgivet

    Membrane Protein-Lipid Match and Mismatch

    Mouritsen, O. G. 2017 Reference Module in Life Sciences. Elsevier Masson, s. 1-17 17 s. 08084

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologi

  26. Udgivet

    On the Power and Limits of Sequence Similarity Based Clustering of Proteins Into Families

    Wiwie, C. & Röttger, R. 2017 Biocomputing 2017: Proceedings of the Pacific Symposium. Altman, R. B., Dunker, A. K., Hunter, L., Ritchie, M., Murray, T. & Klein, T. (red.). World Scientific, s. 39-50

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

  27. Udgivet

    Outlier Detection

    Zimek, A. & Schubert, E. 2017 Encyclopedia of Database Systems. Liu, L. & Öszu, T. (red.). Springer, 5 s.

    Publikation: Bidrag til bog/antologi/rapportEncyclopædiartikel

Forrige 1 2 3 4 5 6 7 8 ...16 Næste