default search action

combined dblp search
author search
venue search
publication search

ask others

Nicholas Smallbone

Nick Smallbone

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2013
[b1]
- view
  - electronic edition @ chalmers.se
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Smallbone13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Smallbone13
Nicholas Smallbone:
Lightweight verification of functional programs. Chalmers University of Technology, Gothenburg, Sweden, 2013

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/RamezaniCSFA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/RamezaniCSFA22
Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson:
Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2393-2406 (2022)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/EddelandCSRMA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/EddelandCSRMA20
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson:
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 5247-5260 (2020)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SmallboneJCA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SmallboneJCA17
Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed:
Quick specifications for the busy programmer. J. Funct. Program. 27: e18 (2017)
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BlanchetteB0S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BlanchetteB0S16
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone:
Encoding Monomorphic and Polymorphic Types. Log. Methods Comput. Sci. 12(4) (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcar/EinarsdottirHJSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcar/EinarsdottirHJSS24
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda:
Lemma Discovery and Strategies for Automated Induction. IJCAR (1) 2024: 214-232
[c28]
- view
  - electronic edition @ aclanthology.org
  - no references & citations available
- export record
  dblp key:
  - conf/konvens/LjunglofSTS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/konvens/LjunglofSTS24
Peter Ljunglöf, Nicholas Smallbone, Mijo Thoresson, Victor Salomonsson:
Binary indexes for optimising corpus queries. BBBBBBBBBB 2024: 149-158
2023
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/KrookSSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/KrookSSC23
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL 2023: 9:1-9:12
[c26]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nesy/JohanssonS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nesy/JohanssonS23
Moa Johansson, Nicholas Smallbone:
Exploring Mathematical Conjecturing with Large Language Models. NeSy 2023: 62-77
2021
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/Smallbone21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Smallbone21
Nicholas Smallbone:
Twee: An Equational Theorem Prover. CADE 2021: 602-613
[c24]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-03721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-03721
Moa Johansson, Nicholas Smallbone:
Conjectures, Tests and Proofs: An Overview of Theory Exploration. VPT@ETAPS 2021: 1-16
2020
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/EinarsdottirSJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/EinarsdottirSJ20
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson:
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing. IFL 2020: 67-78
2019
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/case/ThonnessenSFCK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/ThonnessenSFCK19
David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/AronssonCSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/AronssonCSS19
Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone:
Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP 2019: 34-46
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/RamezaniSFA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/RamezaniSFA19
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson:
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN 2019: 386-391
[c19]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nodalida/LilliestromCS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nodalida/LilliestromCS19
Ann Lillieström, Koen Claessen, Nicholas Smallbone:
Inferring morphological rules from small examples using 0/1 linear programming. NODALIDA 2019: 164-174
2018
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ClaessenS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ClaessenS18
Koen Claessen, Nicholas Smallbone:
Efficient Encodings of First-Order Horn Formulas in Equational Logic. IJCAR 2018: 388-404
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/ClaessenSERAM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/ClaessenSERAM18
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi:
Applying Valued Booleans in Testing of Cyber-Physical Systems. MT@CPSWeek 2018: 8-9
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/GerdesHSHIW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/GerdesHSHIW18
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang:
Understanding formal specifications through good examples. Erlang Workshop 2018: 13-24
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/AlgehedCJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/AlgehedCJS17
Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone:
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell 2017: 38-39
2016
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HughesNSA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HughesNSA16
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts:
Find more bugs with QuickCheck! AST@ICSE 2016: 71-77
2015
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/GerdesHSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/GerdesHSW15
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang:
Linking unit tests and properties. Erlang Workshop 2015: 19-26
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/RosenS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/RosenS15
Dan Rosén, Nicholas Smallbone:
TIP: Tools for Inductive Provers. LPAR 2015: 219-232
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/ClaessenJRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/ClaessenJRS15
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
TIP: Tons of Inductive Problems. CICM 2015: 333-337
2014
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SvenningssonSSANH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SvenningssonSSANH14
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes:
An Expressive Semantics of Mocking. FASE 2014: 385-399
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/JohanssonRSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/JohanssonRSC14
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. CICM 2014: 108-122
2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ClaessenJRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ClaessenJRS13
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
Automating Inductive Proofs Using Theory Exploration. CADE 2013: 392-406
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BlanchetteBPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BlanchetteBPS13
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone:
Encoding Monomorphic and Polymorphic Types. TACAS 2013: 493-507
2012
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/ClaessenJRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ClaessenJRS12
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone:
HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR 2012: 16-25
2011
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ClaessenLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ClaessenLS11
Koen Claessen, Ann Lillieström, Nicholas Smallbone:
Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. CADE 2011: 207-221
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/ArtsHNSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/ArtsHNSS11
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClaessenHPSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClaessenHPSS10
Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson:
Ranking programs using black box testing. AST 2010: 103-110
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ClaessenSH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ClaessenSH10
Koen Claessen, Nicholas Smallbone, John Hughes:
QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS 2010: 6-21
2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ClaessenPSHSAW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ClaessenPSHSAW09
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger:
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP 2009: 149-160

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-16062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-16062
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen:
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR abs/2404.16062 (2024)
2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-08306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08306
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson:
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR abs/1910.08306 (2019)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JohanssonRSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JohanssonRSC14
Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen:
Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR abs/1405.3426 (2014)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.