Subverting Network Intrusion Detection: Crafting Adversarial Examples Accounting for Domain-Specific Constraints.

Teuffenbach, M., Piatkowska, E. & Smith, P., 2020, Machine Learning and Knowledge Extraction - 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Proceedings. Holzinger, A., Kieseberg, P., Tjoa, A. M. & Weippl, E. (eds.). Springer, p. 301-320 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12279 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Assessing the Impact of Rows of Tidal-Stream Turbines on the Overtides of the M₂

Potter, D., Ilić, S. & Folkard, A., 2020, Springer Water. Springer Nature, p. 197-216 20 p. (Springer Water).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A Novel Approach to Electromagnetic Constitutive Relations

McCall, M., Kinsler, P. & Gratus, J., 1/02/2023, Adventures in Contemporary Electromagnetic Theory. Mackay, T. G. & Lakhtakia, A. (eds.). Cham: Springer, p. 33-60 28 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Biodiversity of acid grasslands in the Atlantic regions of Europe: the impact of nitrogen deposition

Stevens, C. J., Duprè, C., Dorland, E., Gaudnik, C., Gowing, D. J. G., Bleeker, A., Diekmann, M., Alard, D. & Bobbink, R., 11/04/2014, Nitrogen Deposition, Critical Loads and Biodiversity. Sutton, M. A., Mason, K. E., Sheppard, L. J., Sverdrup, H., Haeuber, R. & Hicks, W. K. (eds.). Dordrecht: Springer, p. 243-250 8 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A Parameterization of Heterogeneous Hydrolysis of N2O5 for 3-D Atmospheric Modelling

Wolke, R., Chen, Y., Schröder, W., Spindler, G. & Wiedensohler, A., 19/01/2018, International Technical Meeting on Air Pollution Modelling and its Application: ITM 2018: Air Pollution Modeling and its Application XXVI . Mensink, C., Gong, W. & Hakami, A. (eds.). Cham: Springer, p. 377-382 6 p. (Springer Proceedings in Complexity).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Tutorials at PPSN 2016

Doerr, C., Bredeche, N., Alba, E., Bartz-Beielstein, T., Brockhoff, D., Doerr, B., Eiben, G., Epitropakis, M. G., Fonseca, C. M., Guerreiro, A., Haasdijk, E., Heinerman, J., Hubert, J., Lehre, P. K., Malagò, L., Merelo, J. J., Miller, J., Naujoks, B., Oliveto, P. & Picek, S. & 9 others, Pillay, N., Preuss, M., Ryser-Welch, P., Squillero, G., Stork, J., Sudholt, D., Tonda, A., Whitley, D. & Zaefferer, M., 17/09/2016, Parallel Problem Solving from Nature – PPSN XIV: 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings. Handl, J., Hart, E., Lewis, P. R., López-Ibáñez, M., Ochoa, G. & Paechter, B. (eds.). Springer, p. 1012-1022 11 p. (Lecture Notes in Computer Science ; vol. 9921).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Proving safety of traffic manoeuvres on country roads

Hilscher, M., Linker, S. & Olderog, E.-R., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 196-212 17 p. (Lecture Notes in Computer Science; vol. 8051).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Proof Theory of a Multi-Lane Spatial Logic

Linker, S. & Hilscher, M., 2013, Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science; vol. 8049).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Ecologies of New Literacies: implications for education

Tusting, K., 2008, Encyclopedia of Language and Education: Ecology of Language. Creese, A., Martin, P. & Hornberger, N. (eds.). Dordrecht: Springer, Vol. 9. p. 3194-3206 13 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter