Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nikita Skoblov

Bringing LTL Model Checking to Biologists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Related publications

Another Look at LTL Model Checking

1993English

Shortest Counterexamples for Symbolic Model Checking of LTL With Past

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Checking

1997English

Extending Model Checking to Efficient Propositional Inference

International Journal of Machine Learning and Computing
ManagementComputer Science ApplicationsInformation SystemsArtificial Intelligence
2014English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Model Systems: How Chemical Biologists Study RNA

Current Opinion in Chemical Biology
BiochemistryAnalytical Chemistry
2009English

MIT Links Biologists to Engineers

Nature
Multidisciplinary
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy