search result

Cover von An effective characterization of the alternation hierarchy in two-variable logic

An effective characterization of the alternation hierarchy in two-variable logic

Year: 2012
Media group: ARTICLE
Cover von A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic

A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic

Year: 2024
Media group: LIPIcs
Cover von Characterization of Large-scale HPC Workloads with non-naïve I/O Roofline Modeling and Scoring
article in 2023 IEEE 29th International Conference on Parallel and Distributed Systems (ICPADS)
Search for this author
Year: 2023
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von Assembly of the interactome, characterization of functional modules and novel approaches to the analysis of signaling networks in human platelets
Author: Dittrich, Marcus Search for this author
Year: 2008
Publisher: Würzburg, Universität
Media group: DISSERTATION
Cover von Characterization of a reconfigurable free-space optical channel for embedded computer applications with experimental validation using rapid prototyping technology

Characterization of a reconfigurable free-space optical channel for embedded computer applications with experimental validation using rapid prototyping technology

article
Year: 2007
Media group: ARTICLE
Cover von Special issue on advances in characterization and measurement technologies for microwave and millimeter-wave materials, devices and circuits; 5
S. 651 - 837
Search for this author
Year: 2004
Publisher: Tokyo, IEICE
Count: 5
Media group: SPECIAL ISSUE
Cover von WWC

WWC

proceedings
Search for this author
Year: 1998
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von Switching Classes

Switching Classes

Characterization and Computation
Year: 2024
Media group: LIPIcs
Cover von Finding List Homomorphisms from Bounded-treewidth Graphs to Reflexive Graphs

Finding List Homomorphisms from Bounded-treewidth Graphs to Reflexive Graphs

a Complete Complexity Characterization
Year: 2018
Media group: LIPIcs
Cover von Identifying relevant information for testing technique selection
an instatiated characterization schema
Author: Vegas, Sira; Juristo, Natalia; Basili, Victor R. Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: International series in software engineering; 8
Media group: MONOGRAPHIE
OPEN V 11.1.0.0