Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (Ed.) & Margaria, T. (Ed.) (2004).
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper presented at 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus.
Kissling, W. D.
, Dalby, L., Fløjgaard, C., Lenoir, J.
, Sandel, B. S., Sandom, C. J.
, Nielsen, K. T. & Svenning, J.-C. (2014).
Establishing macroecological trait datasets: digitalization, extrapolation, and validation of diet preferences in terrestrial mammals worldwide.
Ecology and Evolution,
4(14), 2913–2930.
https://doi.org/10.1002/ece3.1136
Tziavelis, N., Giannakopoulos, I., Doka, K., Koziris, N.
& Karras, P. (2019).
Equitable Stable Matchings in Quadratic Time. In H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (Eds.),
Advances in Neural Information Processing Systems 32 (NIPS 2019): Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019 (Vol. 32, pp. 455-465). Curran Associates, Inc..
https://papers.nips.cc/paper/8337-equitable-stable-matchings-in-quadratic-time
Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023).
Entropic Hardness of Module-LWE from Module-NTRU. In T. Isobe & S. Sarkar (Eds.),
Progress in Cryptology – INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings (pp. 78-99). Springer.
https://doi.org/10.1007/978-3-031-22912-1_4
Nielsen, T. T., Wagard, J., Skjærris, S., Jensen, C. O. & Elling, J. (1998).
Enhancing Network Quality using Baseband Frequency Hopping, Downlink Power Control and DTX in a Live GSM Network. In
The Ninth IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1998.: The Ninth IEEE International Symposium on IEEE Computer Society Press.
https://doi.org/10.1109/PIMRC.1998.734693