Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076114468> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2076114468 endingPage "774" @default.
- W2076114468 startingPage "763" @default.
- W2076114468 abstract "Our aim is to present an efficient algorithm that checks whether a binary regular language is geometrical or not, based on specific properties of its minimal deterministic automaton. Geometrical languages have been introduced in the framework of off-line temporal validation of real-time softwares. Actually, validation can be achieved through both a model based on regular languages and a model based on discrete geometry. Geometrical languages are intended to develop a link between these two models. The regular case is of practical interest regarding to implementation features, which motivates the design of an efficient geometricity test addressing the family of regular languages." @default.
- W2076114468 created "2016-06-24" @default.
- W2076114468 creator A5035621384 @default.
- W2076114468 creator A5039850055 @default.
- W2076114468 creator A5062592922 @default.
- W2076114468 date "2009-08-01" @default.
- W2076114468 modified "2023-10-16" @default.
- W2076114468 title "AN EFFICIENT ALGORITHM TO TEST WHETHER A BINARY AND PROLONGEABLE REGULAR LANGUAGE IS GEOMETRICAL" @default.
- W2076114468 cites W1570445666 @default.
- W2076114468 cites W1971395575 @default.
- W2076114468 cites W2086748818 @default.
- W2076114468 cites W2157390113 @default.
- W2076114468 doi "https://doi.org/10.1142/s0129054109006863" @default.
- W2076114468 hasPublicationYear "2009" @default.
- W2076114468 type Work @default.
- W2076114468 sameAs 2076114468 @default.
- W2076114468 citedByCount "11" @default.
- W2076114468 countsByYear W20761144682012 @default.
- W2076114468 countsByYear W20761144682013 @default.
- W2076114468 countsByYear W20761144682015 @default.
- W2076114468 countsByYear W20761144682018 @default.
- W2076114468 countsByYear W20761144682019 @default.
- W2076114468 countsByYear W20761144682023 @default.
- W2076114468 crossrefType "journal-article" @default.
- W2076114468 hasAuthorship W2076114468A5035621384 @default.
- W2076114468 hasAuthorship W2076114468A5039850055 @default.
- W2076114468 hasAuthorship W2076114468A5062592922 @default.
- W2076114468 hasConcept C112505250 @default.
- W2076114468 hasConcept C11413529 @default.
- W2076114468 hasConcept C116248031 @default.
- W2076114468 hasConcept C158008952 @default.
- W2076114468 hasConcept C199360897 @default.
- W2076114468 hasConcept C33923547 @default.
- W2076114468 hasConcept C41008148 @default.
- W2076114468 hasConcept C48372109 @default.
- W2076114468 hasConcept C52370388 @default.
- W2076114468 hasConcept C80444323 @default.
- W2076114468 hasConcept C94375191 @default.
- W2076114468 hasConceptScore W2076114468C112505250 @default.
- W2076114468 hasConceptScore W2076114468C11413529 @default.
- W2076114468 hasConceptScore W2076114468C116248031 @default.
- W2076114468 hasConceptScore W2076114468C158008952 @default.
- W2076114468 hasConceptScore W2076114468C199360897 @default.
- W2076114468 hasConceptScore W2076114468C33923547 @default.
- W2076114468 hasConceptScore W2076114468C41008148 @default.
- W2076114468 hasConceptScore W2076114468C48372109 @default.
- W2076114468 hasConceptScore W2076114468C52370388 @default.
- W2076114468 hasConceptScore W2076114468C80444323 @default.
- W2076114468 hasConceptScore W2076114468C94375191 @default.
- W2076114468 hasIssue "04" @default.
- W2076114468 hasLocation W20761144681 @default.
- W2076114468 hasOpenAccess W2076114468 @default.
- W2076114468 hasPrimaryLocation W20761144681 @default.
- W2076114468 hasRelatedWork W1423874546 @default.
- W2076114468 hasRelatedWork W1491796962 @default.
- W2076114468 hasRelatedWork W1503600089 @default.
- W2076114468 hasRelatedWork W1577754449 @default.
- W2076114468 hasRelatedWork W205577411 @default.
- W2076114468 hasRelatedWork W2152514455 @default.
- W2076114468 hasRelatedWork W2482365960 @default.
- W2076114468 hasRelatedWork W4304699893 @default.
- W2076114468 hasRelatedWork W2078870091 @default.
- W2076114468 hasRelatedWork W2507873988 @default.
- W2076114468 hasVolume "20" @default.
- W2076114468 isParatext "false" @default.
- W2076114468 isRetracted "false" @default.
- W2076114468 magId "2076114468" @default.
- W2076114468 workType "article" @default.