FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118820512> ?p ?o ?g. }

• W2118820512 endingPage "1070" @default.
• W2118820512 startingPage "1058" @default.
• W2118820512 abstract "The need for general-purpose algorithms for studying biological properties in phylogenetics motivates research into formal verification frameworks. Researchers can focus their efforts exclusively on evolution trees and property specifications. To this end, model checking, a mature automated verification technique originating in computer science, is applied to phylogenetic analysis. Our approach is based on three cornerstones: a logical modeling of the evolution with transition systems; the specification of both phylogenetic properties and trees using flexible temporal logic formulas; and the verification of the latter by means of automated computer tools. The most conspicuous result is the inception of a formal framework which allows for a symbolic manipulation of biological data (based on the codification of the taxa). Additionally, different logical models of evolution can be considered, complex properties can be specified in terms of the logical composition of others, and the refinement of unfulfilled properties as well as the discovery of new properties can be undertaken by exploiting the verification results. Some experimental results using a symbolic model verifier support the feasibility of the approach." @default.
• W2118820512 created "2016-06-24" @default.
• W2118820512 creator A5043972246 @default.
• W2118820512 creator A5048291994 @default.
• W2118820512 creator A5066803149 @default.
• W2118820512 creator A5080044871 @default.
• W2118820512 date "2013-07-01" @default.
• W2118820512 modified "2023-10-01" @default.
• W2118820512 title "Temporal Logics for Phylogenetic Analysis via Model Checking" @default.
• W2118820512 cites W125598877 @default.
• W2118820512 cites W1489391022 @default.
• W2118820512 cites W1491593738 @default.
• W2118820512 cites W1498432697 @default.
• W2118820512 cites W1501731334 @default.
• W2118820512 cites W1503780205 @default.
• W2118820512 cites W1516646446 @default.
• W2118820512 cites W1547246349 @default.
• W2118820512 cites W1552866028 @default.
• W2118820512 cites W156746702 @default.
• W2118820512 cites W1569248486 @default.
• W2118820512 cites W157143398 @default.
• W2118820512 cites W1589887037 @default.
• W2118820512 cites W1590804833 @default.
• W2118820512 cites W166818797 @default.
• W2118820512 cites W1862398452 @default.
• W2118820512 cites W1885037678 @default.
• W2118820512 cites W1970429135 @default.
• W2118820512 cites W1974472861 @default.
• W2118820512 cites W1985494341 @default.
• W2118820512 cites W1990607929 @default.
• W2118820512 cites W2003197664 @default.
• W2118820512 cites W2053726896 @default.
• W2118820512 cites W2060425093 @default.
• W2118820512 cites W2068240988 @default.
• W2118820512 cites W2068746602 @default.
• W2118820512 cites W2071465766 @default.
• W2118820512 cites W2079793951 @default.
• W2118820512 cites W2080267935 @default.
• W2118820512 cites W2090675676 @default.
• W2118820512 cites W2092770257 @default.
• W2118820512 cites W2093916942 @default.
• W2118820512 cites W2100509502 @default.
• W2118820512 cites W2102548669 @default.
• W2118820512 cites W2106692345 @default.
• W2118820512 cites W2112400707 @default.
• W2118820512 cites W2114671730 @default.
• W2118820512 cites W2115309705 @default.
• W2118820512 cites W2116117396 @default.
• W2118820512 cites W2117055771 @default.
• W2118820512 cites W2117949454 @default.
• W2118820512 cites W2131807912 @default.
• W2118820512 cites W2143980572 @default.
• W2118820512 cites W2150934173 @default.
• W2118820512 cites W2167978186 @default.
• W2118820512 cites W2207526553 @default.
• W2118820512 cites W23518792 @default.
• W2118820512 cites W2506987745 @default.
• W2118820512 cites W2533662917 @default.
• W2118820512 cites W2611511275 @default.
• W2118820512 cites W2624890123 @default.
• W2118820512 cites W2649574 @default.
• W2118820512 cites W420957490 @default.
• W2118820512 cites W2507082602 @default.
• W2118820512 doi "https://doi.org/10.1109/tcbb.2013.87" @default.
• W2118820512 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/24334397" @default.
• W2118820512 hasPublicationYear "2013" @default.
• W2118820512 type Work @default.
• W2118820512 sameAs 2118820512 @default.
• W2118820512 citedByCount "3" @default.
• W2118820512 countsByYear W21188205122014 @default.
• W2118820512 countsByYear W21188205122016 @default.
• W2118820512 countsByYear W21188205122020 @default.
• W2118820512 crossrefType "journal-article" @default.
• W2118820512 hasAuthorship W2118820512A5043972246 @default.
• W2118820512 hasAuthorship W2118820512A5048291994 @default.
• W2118820512 hasAuthorship W2118820512A5066803149 @default.
• W2118820512 hasAuthorship W2118820512A5080044871 @default.
• W2118820512 hasConcept C104317684 @default.
• W2118820512 hasConcept C110251889 @default.
• W2118820512 hasConcept C111472728 @default.
• W2118820512 hasConcept C111498074 @default.
• W2118820512 hasConcept C138885662 @default.
• W2118820512 hasConcept C185592680 @default.
• W2118820512 hasConcept C189950617 @default.
• W2118820512 hasConcept C193252679 @default.
• W2118820512 hasConcept C198008173 @default.
• W2118820512 hasConcept C199360897 @default.
• W2118820512 hasConcept C20693621 @default.
• W2118820512 hasConcept C25016198 @default.
• W2118820512 hasConcept C41008148 @default.
• W2118820512 hasConcept C55493867 @default.
• W2118820512 hasConcept C75606506 @default.
• W2118820512 hasConcept C80444323 @default.
• W2118820512 hasConceptScore W2118820512C104317684 @default.
• W2118820512 hasConceptScore W2118820512C110251889 @default.
• W2118820512 hasConceptScore W2118820512C111472728 @default.
• W2118820512 hasConceptScore W2118820512C111498074 @default.
• W2118820512 hasConceptScore W2118820512C138885662 @default.

• next