1–50 of 6,081 hits
Sort by:
Sort by:
-
Partition into Triangles on Bounded Degree Graphs
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
An Automata-Theoretical Characterization of Context-Free Trace Languages
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Liquidsoap: A High-Level Programming Language for Multimedia Streaming
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Privacy, Liveliness and Fairness for Reputation
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Structural Properties of Hard Metric TSP Inputs (Extended Abstract)
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
An Improved B+ Tree for Flash File Systems
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Min-Max Coverage in Multi-interface Networks
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
One-Reversal Counter Machines and Multihead Automata: Revisited
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
On Making a Distinguished Vertex Minimum Degree by Vertex Deletion
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
On the Complexity of the Metric TSP under Stability Considerations
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Information Leakage Analysis by Abstract Interpretation
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
The Complexity of Finding kth Most Probable Explanations in Probabilistic Networks
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Tracking the Evolution of Code Clones
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Comparing GPU and CPU in OLAP Cubes Creation
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Integrity and Consistency for Untrusted Services (Extended Abstract)
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Minimizing Interference for the Highway Model in Wireless Ad-Hoc and Sensor Networks
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Unambiguous UML Composite Structures: The OMEGA2 Experience
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Collisionless Gathering of Robots with an Extent
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
On Approximating the d-Girth of a Graph
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Cooperative Query Answering by Abstract Interpretation
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Join-Queries between Two Spatial Datasets Indexed by a Single R^*-Tree
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Finding the Description of Structure by Counting Method: A Case Study
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Alternative Parameterizations for Cluster Editing
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Advice Complexity and Barely Random Algorithms
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Bandwidth Constrained Multi-interface Networks
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
SScAC: Towards a Framework for Small-Scale Software Architectures Comparison
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
A Local Search Algorithm for Branchwidth
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
New Results on the Complexity of the Max- and Min-Rep Problems
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Combining Traditional Map Labeling with Boundary Labeling
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
A Structured Codesign Approach to Many-Core Architectures for Embedded Systems
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Optimal File-Distribution in Heterogeneous and Asymmetric Storage Networks
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
On d-Regular Schematization of Embedded Paths
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
A Privacy-Preserving ID-Based Group Key Agreement Scheme Applied in VPAN
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
GreedyMAX-type Algorithms for the Maximum Independent Set Problem
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
The Straight-Line RAC Drawing Problem Is NP-Hard
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Efficient Algorithms for Handling Nondeterministic Automata
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Verification of Timed-Arc Petri Nets
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information?
British Library Conference Proceedings | 2011|Keywords: SOFSEM -
Hypermodelling Reporting: Towards Cockpits for Code Structure
British Library Conference Proceedings | 2013|Keywords: SOFSEM -
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
British Library Conference Proceedings | 2013|Keywords: SOFSEM -
On Languages of One-Dimensional Overlapping Tiles
British Library Conference Proceedings | 2013|Keywords: SOFSEM -
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
British Library Conference Proceedings | 2013|Keywords: SOFSEM
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.