1
Julkaistu 2013
Sisällysluettelo: ... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2007
Sisällysluettelo: ... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2015
Sisällysluettelo: ... of a Class of Nonlinear Systems with Parameterized Unknown Dynamics -- H-infinity Control Synthesis...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2015
Sisällysluettelo: ... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2007
Sisällysluettelo: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2005
Sisällysluettelo: ... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2014
Sisällysluettelo: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2005
Sisällysluettelo: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Hae kokoteksti
Elektroninen E-kirja
16
Tekijä Spear, Chris., Spear, Chris.
Julkaistu 2008
Sisällysluettelo: ... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2005
Sisällysluettelo: ... and Ordering of Feedbacks -- Non-Linearities -- Parameterization of Complex Hydrological Systems -- 3...
Hae kokoteksti
Elektroninen E-kirja