Ten years of modeling the Deepwater Horizon oil spill
Ainsworth, C.H., Chassignet, E.P., French-McCay, D., Beegle-Krause, C.J., Berenshtein, I., Englehardt, J., Fiddaman, T., Huang, H., Huettel, M., Justic, D., Kourafalou, V.H., Liu, Y., Mauritzen, C., Murawski, S., Morey, S., Özgökmen, T., Paris, C.B., Ruzicka, J., Saul, S., Shepherd, J., Socolofsky, S., Solo Gabriele, H., Sutton, T., Weisberg, R.H., Wilson, C., Zheng, L., Zheng, Y.
Published in Environmental modelling & software : with environment data news (01.08.2021)
Published in Environmental modelling & software : with environment data news (01.08.2021)
Get full text
Journal Article
Impacts of demographic variation in spawning characteristics on reference points for fishery management
Murawski, S. A., Rago, P. J., Trippel, E. A.
Published in ICES journal of marine science (01.10.2001)
Published in ICES journal of marine science (01.10.2001)
Get full text
Journal Article
The Big-O Problem
Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S., Purser, David
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Block structure vs scope extrusion: between innocence and omniscience
Murawski, Andrzej S., Tzevelekos, Nikos
Published in Logical methods in computer science (01.01.2016)
Published in Logical methods in computer science (01.01.2016)
Get full text
Journal Article
Operational Algorithmic Game Semantics
Bunting, Benedict, Murawski, Andrzej S.
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Compositional relational reasoning via operational game semantics
Jaber, Guilhem, Murawski, Andrzej S.
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Verifying higher-order concurrency with data automata
Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S., Walukiewicz, Igor
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Large-scale closed areas as a fishery-management tool in temperate marine systems: the Georges Bank experience
MURAWSKI, S. A, BROWN, R, LAI, H.-L, RAGO, P. J, HENDRICKSON, L
Published in Bulletin of marine science (01.05.2000)
Get full text
Published in Bulletin of marine science (01.05.2000)
Journal Article
Conference Proceeding
Implications of recent increases in catches on the dynamics of Northwest Atlantic spiny dogfish ( Squalus acanthias)
Rago, P.J., Sosebee, K.A., Brodziak, J.K.T., Murawski, S.A., Anderson, E.D.
Published in Fisheries research (15.12.1998)
Published in Fisheries research (15.12.1998)
Get full text
Journal Article
Conference Proceeding
On an interpretation of safe recursion in light affine logic
Get full text
Journal Article
Conference Proceeding
Bisimilarity in Fresh-Register Automata
Murawski, Andrzej S., Ramsay, Steven J., Tzevelekos, Nikos
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Get full text
Conference Proceeding
Game Semantics for Good General References
Murawski, A. S., Tzevelekos, N.
Published in 2011 IEEE 26th Annual Symposium on Logic in Computer Science (01.06.2011)
Published in 2011 IEEE 26th Annual Symposium on Logic in Computer Science (01.06.2011)
Get full text
Conference Proceeding
Factors Influencing By-catch and Discard Rates: Analyses from Multispecies/Multifishery Sea Sampling
Get full text
Journal Article
Conference Proceeding