91̽»¨

Niklas Deworetzki, Peter Ljunglöf, Nicholas Smallbone
Swedish Language Technology Conference, 27–29 November 2024, Linköping, Sweden - 2024

Peter Ljunglöf, Nicholas Smallbone, Mijo Thoresson, Victor Salomonsson
Proceedings of the 20th Conference on Natural Language Processing (KONVENS 2024), September 10-13, 2024, Vienna, Austria - 2024

Peter Ljunglöf, Nicholas Smallbone
Swedish Language Technology Conference - 2022

John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016) - 2016

Alex Gerdes, John Hughes, Nicholas Smallbone, M. Wang
Erlang Workshop, 2015-09-04, Vancouver - 2015

Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer 91̽»¨. 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015, Suva, Fiji, 24-28 November 2015 - 2015

Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
Lecture Notes in Artificial Intelligence: International Conference on Intelligent Computer Mathematics (CICM) - 2015

Josef Svenningsson, H.E. Svensson, Nicholas Smallbone, T. Arts, Ulf Norell, John Hughes
Lecture Notes in Computer 91̽»¨: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 - 2014

Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
Lecture Notes in Computer 91̽»¨ - 2014

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
2014

Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 - 2013

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2013, 16-24 March 2013, Rome - 2013

Nicholas Smallbone
2013

Nicholas Smallbone
2011

Koen Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer 91̽»¨, CADE'11 Proceedings of the 23rd international conference on Automated deduction - 2011

Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011 - 2011

Koen Claessen, Nicholas Smallbone, John Hughes
Lecture Notes in Computer 91̽»¨. 4th International Conference on Tests and Proofs, TAP 2010, Malaga, 1-2 July 2010 - 2010

Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
Proceedings - International Conference on Software Engineering - 2010

Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, U. Wiger
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming - 2009

Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Ulf Wiger
ACM SIGPLAN international conference on Functional programming - 2009