• SATLIB

  • Referenced in 57 articles [sw02107]
  • collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms’ performance...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • natural contextually defined behavioural equivalence can be characterised coinductively, using bisimulations based on typed actions ... characterisation is based on the idea of knowledge acquisition by a testing environment and makes...
  • CoALP

  • Referenced in 17 articles [sw16105]
  • dialect, CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...
  • Petruchio

  • Referenced in 15 articles [sw04394]
  • process creation. The property of structural stationarity characterises the processes mapped to finite nets...
  • ileanCoP

  • Referenced in 15 articles [sw09757]
  • calculus is based on a clausal matrix characterisation for intuitionistic logic, which we prove correct...
  • TAS

  • Referenced in 11 articles [sw04900]
  • calculi and transformation systems. The calculi are characterised by a certain class of theorems...
  • COCA

  • Referenced in 8 articles [sw05004]
  • from the lack of information about the characterising number of extreme points of the error...
  • Konclude

  • Referenced in 8 articles [sw12474]
  • ontologies. The supported ontology language is formally characterised by the Description Logic (DL) SROIQV...
  • Helanal

  • Referenced in 5 articles [sw29681]
  • helices from the PDB files and then characterises the overall geometry of each helix ... program can also be used to characterise the helix start and end as well...
  • CVPP

  • Referenced in 7 articles [sw00179]
  • Therefore, CVPP also contains the means to characterise a given behavioural formula...
  • BioShape

  • Referenced in 7 articles [sw08522]
  • phenomena are inherently multiscale, i.e., they are characterised by interactions involving different scales...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • operators are derived from them. Fixed-point characterisation of the operators together with symbolic algorithms...
  • StreamKrimp

  • Referenced in 6 articles [sw28421]
  • StreamKrimp algorithm, whichuses the Krimp algorithm to characterise probability distributions with code tables. With these...
  • MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • real-time bounds in the logical characterisation of the behaviours of interest. Moreover, SoSL...
  • AgsyHOL

  • Referenced in 4 articles [sw13302]
  • based on back-tracking and is characterised by a typically small search state, making...
  • OPERAS

  • Referenced in 4 articles [sw30593]
  • range of domains, with some of them characterised as mission critical. It is therefore implied...
  • iisignature

  • Referenced in 4 articles [sw32898]
  • vectors calculated from a path that characterise its shape. They come from the theory...
  • BetaSim

  • Referenced in 3 articles [sw01379]
  • simulation modelling is followed by a brief characterisation of Beta and its suitability for work...
  • ptemcee

  • Referenced in 3 articles [sw26502]
  • replacement for emcee.If you’re trying to characterise awkward, multi-modal probability distributions, then ptemcee...
  • PROTEUS

  • Referenced in 3 articles [sw34691]
  • applications. Many realistic fluid flow problems are characterised by high Reynolds numbers and complex moving...