- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Efficient monitoring of hyperproperties using prefix trees ; day:20 ; month:2 ; year:2020 ; pages:1-12
International journal on software tools for technology transfer ; (20.2.2020), 1-12
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-020-00552-5
- URN
-
urn:nbn:de:101:1-2020051623531443100688
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Finkbeiner, Bernd
- Hahn, Christopher
- Stenger, Marvin
- Tentrup, Leander
- SpringerLink (Online service)
Other Objects (12)
QPPT: Query Processing on Prefix Trees
Query Processing on Prefix Trees Live
Prefix-Hijacking im Internetrouting : Monitoring, Analyse und Mitigation
Multi-dimensional Prefix Matching Using Line Search
Improving read mapping using additional prefix grams
IMSR_PreTree: an improved algorithm for mining sequential rules based on the prefix-tree
Efficient Genomic Interval Queries Using Augmented Range Trees
A modified prefix operator well suited for area-efficient brick-based adder implementations
EFFICIENT DIKE MONITORING USING TERRESTRIAL SFM PHOTOGRAMMETRY
Modeling locative prefix semantics. A formal account of the English verbal prefix out-
Mapping biological entities using the longest approximately common prefix method
De Dovaire Prefix Et coustumier.
QPPT: Query Processing on Prefix Trees
Query Processing on Prefix Trees Live
Prefix-Hijacking im Internetrouting : Monitoring, Analyse und Mitigation
Multi-dimensional Prefix Matching Using Line Search
Improving read mapping using additional prefix grams
IMSR_PreTree: an improved algorithm for mining sequential rules based on the prefix-tree
Efficient Genomic Interval Queries Using Augmented Range Trees
A modified prefix operator well suited for area-efficient brick-based adder implementations
EFFICIENT DIKE MONITORING USING TERRESTRIAL SFM PHOTOGRAMMETRY
Modeling locative prefix semantics. A formal account of the English verbal prefix out-
Mapping biological entities using the longest approximately common prefix method
De Dovaire Prefix Et coustumier.
QPPT: Query Processing on Prefix Trees
Query Processing on Prefix Trees Live
Prefix-Hijacking im Internetrouting : Monitoring, Analyse und Mitigation
Multi-dimensional Prefix Matching Using Line Search
Improving read mapping using additional prefix grams
IMSR_PreTree: an improved algorithm for mining sequential rules based on the prefix-tree
Efficient Genomic Interval Queries Using Augmented Range Trees
A modified prefix operator well suited for area-efficient brick-based adder implementations
EFFICIENT DIKE MONITORING USING TERRESTRIAL SFM PHOTOGRAMMETRY
Modeling locative prefix semantics. A formal account of the English verbal prefix out-
Mapping biological entities using the longest approximately common prefix method