Publications per year
Publications per year
Search results
-
2023
Amortised Analysis of Dynamic Data Structures
Rotenberg, E., 2023, Proceedings of 40th International Symposium on Theoretical Aspects of Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 254. 2 p. 2Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
Open AccessFile17 Downloads (Pure) -
2021
On Dynamic Graphs
Rotenberg, E., 2021, Proceedings of 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 202. 1 p. 4Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
Open AccessFile10 Downloads (Pure) -
2016
A Framework for Organization-Aware Agents: JAAMAS Extended Abstract
Jensen, A. S., Dignum, V. & Villadsen, J., 2016, Proceedings of the 15th International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016). Association for Computing Machinery, p. 1133-1134Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
Open AccessFile227 Downloads (Pure) -
2015
Formalization of Algorithms and Logical Inference Systems in Proof Assistants
Schlichtkrull, A., 2015, Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). Nowaczyk, S. (ed.). IOS Press, p. 188-190 (Frontiers in Artificial Intelligence and Applications, Vol. 278).Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review
Open AccessFile384 Downloads (Pure) -
Nature-Inspired and Energy Efficient Route Planning
Schlichtkrull, A., Christensen, J. B. S., Feld, T. & Hansen, T. B., 2015, Grøn Dyst - Green Challenge: Student conference on sustainability, the environment and climate technology. Technical University of Denmark, p. 70 1 p. 37Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research
Open AccessFile222 Downloads (Pure) -
2014
AORTA: Adding Organizational Reasoning to Agents: Extended abstract
Jensen, A. S. & Dignum, V., 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014). Lomuscio, A., Scerri, P., Bazzan, A. & Huhns, M. (eds.). Association for Computing Machinery, p. 1493-1494Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research › peer-review