Department of Mathematics and Computer Science (IMADA)

  • Campusvej 55

    5230 Odense M

Research Output

Filter
Article in proceedings

50 Shades of Rule Composition: From Chemical Reactions to Higher Levels of Abstraction

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2014, Formal Methods in Macro-Biology: Proceedings of the First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Fages, F. & Piazza, C. (eds.). Springer, p. 117-135 (Lecture Notes in Computer Science, Vol. 8738).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A comparison of performance measures for online algorithms

Boyar, J., Irani, S. & Larsen, K. S., 2009, Algorithms and Data Structures: 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings. Dehne, F., Gavrilova, M., Sack, J-R. & Toth, C. D. (eds.). Springer, p. 119-130 (Lecture Notes in Computer Science, Vol. 5664).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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. (eds.). Springer, p. 17-35 (Lecture Notes in Computer Science, Vol. 10231).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
162 Downloads (Pure)

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. (eds.). Springer, p. 399-420 (Communications in Computer and Information Science, Vol. 631).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Active Integrity Constraints for Multi-context Systems

Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P., 2016, Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Blomqvist, E., Ciancarini, P., Poggi, F. & Vitali, F. (eds.). Springer, p. 98-112 (Lecture Notes in Computer Science, Vol. 10024).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Adaptive grid-based k-median clustering of streaming data with accuracy guarantee

Cao, J., Zhou, Y. & Wu, M., 2015, Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I. Renz et al., M. (ed.). Springer, Vol. 1. p. 75-91 (Lecture Notes in Computer Science, Vol. 9045).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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. (eds.). Springer, p. 225-269 (Modeling, Simulation & Applications, Vol. 17).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
310 Downloads (Pure)

Adding Isolated Vertices Makes Some Online Algorithms Optimal

Boyar, J. & Kudahl, C., 2016, Combinatorial Algorithms: 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers. Lipták, Z. & Smyth, W. F. (eds.). Springer, p. 65-76 (Lecture Notes in Computer Science, Vol. 9538).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Advice Complexity for a Class of Online Problems

Boyar, J., Favrholdt, L. M., Kudahl, C. & Mikkelsen, J. W., 2015, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Mayr, E. W. & Ollinger, N. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 30. p. 116-129 (Leibniz International Proceedings in Informatics, Vol. 30).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Advice complexity of priority algorithms

Borodin, A., Boyar, J., Larsen, K. S. & Pankratov, D., 2018, Approximation and Online Algorithms - 16th International Workshop, WAOA 2018, Revised Selected Papers. Epstein, L. & Erlebach, T. (eds.). Springer VS, p. 69-86 (Lecture Notes in Computer Science, Vol. 11312).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
63 Downloads (Pure)

Advice Complexity of the Online Induced Subgraph Problem

Komm, D., Královič, R., Královič, R. & Kudahl, C., 22. Aug 2016, Proceeding of the 41st International Symposium on Mathematical Foundations of Computer Science. Faliszewski, P., Muscholl, A. & Niedermeier, R. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 1-13 59. (Leibniz International Proceedings in Informatics, Vol. 58).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
40 Downloads (Pure)

Advice Complexity of the Online Search Problem

Clemente, J., Hromkovič, J., Komm, D. & Kudahl, C., 2016, Combinatorial Algorithms: 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings. Mäkinen, V., Puglisi, S. J. & Salmela, L. (eds.). Springer, p. 203-212 (Lecture Notes in Computer Science, Vol. 9843).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A generic framework for engineering graph canonization algorithms

Andersen, J. L. & Merkle, D., Jan 2018, 2018 Proceedings of the 20th Workshop on Algorithm Engineering and Experiments, ALENEX 2018. Venkatasubramanian, S. & Pagh, R. (eds.). Society for Industrial and Applied Mathematics Publications, p. 139-153

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
169 Downloads (Pure)

A Graph-Based Tool to Embed the pi-Calculus into a Computational DPO Framework

Andersen, J. L., Hellmuth, M., Merkle, D., Nøjgaard, N. & Peressotti, M., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research. ceur workshop proceedings, Vol. 2568. p. 121-132 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog

Ströder, T., Emmes, F., Schneider-Kamp, P., Giesl, J. & Fuhs, C., 2012, Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12). Association for Computing Machinery, p. 237-252 (Lecture Notes in Computer Science, Vol. 7225).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

All-I-Touch as Combination of NFC and Lifestyle

Kneissl, F., Röttger, R., Sandner, U., Leimeister, J. M. & Krcmar, H., 2009, All-I-Touch as Combination of NFC and Lifestyle. p. 51-55

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

All ternary permutation constraint satisfaction problems parameterized above average have kernels with quadratic numbers of variables

Gutin, G., Van Iersel, L., Mnich, M. & Yeo, A., 2010, Algorithms, ESA 2010 - 18th Annual European Symposium, Proceedings. PART 1 ed. Vol. 6346 LNCS. p. 326-337 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); No. PART 1, Vol. 6346 LNCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A metaheuristic algorithm for hiding sensitive itemsets

Lin, J. C. W., Zhang, Y., Fournier-Viger, P., Djenouri, Y. & Zhang, J., Aug 2018, Database and Expert Systems Applications. Pernul, G., Hartmann, S., Ma, H., Hameurlain, A. & Wagner, R. R. (eds.). Springer, Vol. II. p. 492-498 (Lecture Notes in Computer Science, Vol. 11030). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 11030).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A mixed neural network and support vector machine model for tender creation in the European union TED database

Kayte, S. & Schneider-Kamp, P., 2019, Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019)). Bernardino, J., Salgado, A. & Filipe, J. (eds.). SCITEPRESS Digital Library, Vol. 3. p. 139-145 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
53 Downloads (Pure)

A Modular Multiphase Heuristic Solver for Post Enrolment Course Timetabling

Chiarandini, M., Fawcett, C. & Hoos, H., 2008, Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An adaptive E-scheme for conservation laws

Abdi, E. A., Hansen, C. V. & Schroll, H. J., 1. Jan 2019, Numerical Mathematics and Advanced Applications ENUMATH 2017. Radu, F. A., Kumar, K., Berre, I., Nordbotten, J. M. & Pop, I. S. (eds.). Switzerland: Springer VS, Vol. 126. p. 379-387 (Lecture Notes in Computational Science and Engineering, Vol. 126).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An analysis of heuristics for vertex colouring

Chiarandini, M. & Stuetzle, T., 2010, Experimental Algorithms: Proceedings of the 9th International Symposium, (SEA 2010). Festa, P. (ed.). Springer, p. 326-337 (Lecture Notes in Computer Science, Vol. 6049).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An automatically configured modular algorithm for post enrollment course timetabling

Fawcett, C., Hoos, H. & Chiarandini, M., 2009, Doctoral Symposium on Engineering Stochastic Local Search Algorithms. Hutter, F. & de Oca, M. (eds.). IRIDIA, Institut de Recherches Interdisciplinaires, Vol. TR/IRIDIA/2009-024. p. 16-20 4 p. (IRIDIA - Technical Report Series; No. 24).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

An Efficient Branch and Cut Algorithm to Find Frequently Mutated Subnetworks in Cancer

Bomersbach, A., Chiarandini, M. & Vandin, F., 2016, Algorithms in Bioinformatics: Proceedings of the16th International Workshop, WABI. Frith, M. & Nørgaard Storm Pedersen, C. (eds.). Springer, p. 27-39 (Lecture Notes in Computer Science, Vol. 9838).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An Efficient Management of Correlation Sets with Broadcast

Mauro, J., Gabbrielli, M., Guidi, C. & Montesi, F., 2011, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. p. 80-94 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A new combinational logic minimization technique with applications to cryptology

Boyar, J. & Peralta, R., 2010, Experimental Algorithms: 9th International Symposium. Springer, p. 178-189 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A new look at C-simplicity and the unique trace property of a group

Haagerup, U., 2016, Operator Algebras and Applications: The Abel Symposium 2015. Carlsen, T. M., Larsen, N. S., Neshveyev, S. & Skau, C. (eds.). Springer, p. 161-170 (Abel Symposia, Vol. 12).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A new Range Reduction Algorithm

Defour, D., Kornerup, P., Muller, J-M. & Revol, N., 2001, Proc. of  the the 35th Asilomar Conference on Signals, Systems, and Computers. IEEE, p. 1656-1660

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An explicit solution to Post's problem over the reals

Meer, K. & Ziegler, M., 2005, Proceedings of the 15th International Symposium on Fundamentals of Computation Theory. Liskiewicz, M. & Reischuk, R. (eds.). p. 456-467 (Lecture Notes in Computer Science, Vol. 3623).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Anomaly analyses for feature-model evolution

Nieke, M., Thüm, T., Mauro, J., Yu, I. C., Seidl, C. & Franzke, F., Nov 2018, GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. Van Wyk, E. & Rompf, T. (eds.). Association for Computing Machinery, p. 188-201 14 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Anonymization of multiple and personalized sensitive attributes

Lin, J. C. W., Liu, Q., Fournier-Viger, P., Djenouri, Y. & Zhang, J., Aug 2018, Big Data Analytics and Knowledge Discovery. Ordonez, C. & Bellatreche, L. (eds.). Springer, p. 204-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11031 LNCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An Unsupervised Boosting Strategy for Outlier Detection Ensembles

Campos, G. O., Zimek, A. & Meira Jr., W., 2018, Advances in Knowledge Discovery and Data Mining: Proceedings, Part I. Phung, D., S. Tseng, V., I. Webb, G., Ho, B., Ganji, M. & Rashidi, L. (eds.). Springer, Vol. 10937. p. 564-576 (Lecture Notes in Computer Science, Vol. 10937). (Lecture Notes in Artificial Intelligence, Vol. 10937).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Applied choreographies

Giallorenzo, S., Montesi, F. & Gabbrielli, M., 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings. Baier, C. & Caires, L. (eds.). Springer, p. 21-40 (Lecture Notes in Computer Science, Vol. 10854).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Applying Sorting Networks to Synthesize Optimized Sorting Libraries

Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., Dec 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (ed.). Springer, p. 127-142 (Lecture Notes in Computer Science, Vol. 9527).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Applying stochastic local search methods to timetabling: an engineering process

Chiarandini, M. & Stuetzle, T., 2005, Proceedings of the 36th Annual Conference of the Italian Operational Research Society. Birattari, M. (ed.). p. 74

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Practical Method for the Minimum Genus of a Graph: Models and Experiments

Beyer, S., Chimani, M., Hedtke, I. & Kotrbcik, M., 2016, Experimental Algorithms: Proceedings of the 15th International Symposium on Experimental Algorithms. Goldberg, A. V. & Kulikov, A. S. (eds.). Springer, p. 75-88 (Lecture Notes in Computer Science, Vol. 9685).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A simple method to optimize HMC performance

Bussone, A., Della Morte, M., Drach, V., Hansen, M. R. L., Hietanen, A., Rantaharju, J. M. O. & Pica, C., 2016, Proceedings of the 34th Annual International Symposium on Lattice Field Theory. Vol. Part F128557. 7 p. 260. (P o S - Proceedings of Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

A Simulated Annealing Algorithm for Maximum Common Edge Subgraph Detection in Biological Networks

Larsen, S., Alkærsig, F. G., Ditzel, H., Jurisica, I., Alcaraz, N. & Baumbach, J., 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Friedrich, T. (ed.). Association for Computing Machinery, p. 341-348

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Software Package for Chemically Inspired Graph Transformation

Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2016, Graph Transformation: Proceedings of the 9th International Conference on Graph Transformation. Echahed, R. & Minas, M. (eds.). Springer, p. 73-88 (Lecture Notes in Computer Science, Vol. 9761).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A study on the short-term prohibition mechanisms in tabu search

Di Gaspero, L., Chiarandini, M. & Schaerf, A., 2006, Proc. of the 17th European Conference on Artificial Intelligence. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). p. 83-87 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2)

Kornerup, P., Brisebarre, N., Joldes, M., Martin-Dorel, E. & Muller, J-M., 25. Jun 2011, Proceedings of 20th IEEE Symposium on Computer Arithmetic. Piscataway, NJ, USA: IEEE Computer Society Press, p. 23-30 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A unified framework of density-based clustering for semi-supervised classification

Gertrudes, J. C., Zimek, A., Sander, J. & Campello, R. J. G. B., 9. Jul 2018, Proceedings of the 30th International Conference on Scientific and Statistical Database Management: SSDBM '18. Bohlen, M., Gamper, J., Kroger, P. & Sacharidis, D. (eds.). Association for Computing Machinery, 12 p. 11

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions

Flamm, C., Merkle, D., Stadler, P. F. & Thorsen, U., 2016, Graph Transformation: Proceedings of the 9th International Conference on Graph Transformation. Echahed, R. & Minas, M. (eds.). Springer, p. 206-222 (Lecture Notes in Computer Science, Vol. 9761).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Automorphisms of the Cuntz algebras

Conti, R. & Szymanski, W., 2012, Progress in operator algebras, noncommutative geometry, and their applications: Proceedings of the 4th annual meeting of the European Noncommutative Geometry Network, Bucharest, April 25-30, 2011. Popescu, I. & Purice, R. (eds.). Bucharest: Theta, p. 1-15 (Theta Series in Advanced Mathematics).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A weighted mean excess function approach to the estimation of Weibull-type tails

Goegebeur, Y. & Guillou, A., 2010, Proceedings of the 5th International Workshop on Applied Probability. International Workshop on Applied Probability (IWAP), 3 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Bandwidth assignment for reliable fixed broadband wireless networks

Classen, G., Coudert, D., Koster, A. M. C. A. & Vieira Nepomuceno, N., 1. Jun 2011, World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2011 IEEE International Symposium on a. IEEE Computer Society Press, p. 1 -6

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Barrier Trees for Metabolic Adjustment Landscapes

Flamm, C., Hemmingsen, C. & Merkle, D., 2013, Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life. p. 1151-1158

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

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. (eds.). Springer, p. 52-64 (Lecture Notes in Computer Science, Vol. 10138).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Better Bounds on Online Unit Clustering

Ehmsen, M. R. & Larsen, K. S., 2010, Twelfth Scandinavian Symposium and Workshops on Algorithm Theory. Springer, p. 371-382 12 p. (Lecture Notes in Computer Science, Vol. 6139).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Better Bounds on the Accommodating Ratio for the Seat Reservation Problem

Bach, E., Boyar, J., Jiang, T., Larsen, K. S. & Lin, G-H., 2000, Computing and Combinatorics, 6th Annual International Conference, COCOON 2000. p. 221-231 11 p. (Lecture Notes in Computer Science, Vol. 1858).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review