Search
DSpace Repository
Login
Publication services
→
TOBIAS-portale
→
Search
« back
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Department
Authors
All authors
Advisor
Subject
Date issued
Abstract
Publisher
Citation
ISBN/ISSN
ID
Document Type
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Department
Authors
All authors
Advisor
Subject
Date issued
Abstract
Publisher
Citation
ISBN/ISSN
ID
Document Type
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 10 out of a total of 146 results for community: TOBIAS-portale.
(0.192 seconds)
Now showing items 1-10 of 146
1
2
3
4
. . .
15
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
From DQBF to QBF by Dependency Elimination
Wimmer, Ralf
;
Karrenbauer, Andreas
;
Becker, Ruben
;
Scholl, Christoph
;
Becker, Bernd
(
Universität TübingenUniversität Tübingen
,
2018-03-13
)
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
Winterer, Leonore
;
Junges, Sebastian
;
Wimmer, Ralf
;
Jansen, Nils
;
Topcu, Ufuk
;
Katoen, Joost-Pieter
;
Becker, Bernd
(
Universität TübingenUniversität Tübingen
,
2018-03-13
)
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems
Richthammer, Valentina
;
Glaß, Michael
(
Universität Tübingen
,
2018-03-13
)
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz
Mast, Johannes
;
Rädle, Stefan
;
Gerlach, Joachim
(
Universität Tübingen
,
2018-03-13
)
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting
Jain, Tripti
;
Schneider, Klaus
(
Universität Tübingen
,
2018-03-13
)
Towards Automated Refinement of TLM Properties to RTL
Herdt, Vladimir
;
Le, Hoang M.
;
Grosse, Daniel
;
Drechsler, Rolf
(
Universität TübingenUniversität Tübingen
,
2018-03-13
)
ScaLP: A Light-Weighted (MI)LP-Library
Sittel, Patrick
;
Schönwälder, Thomas
;
Kumm, Martin
;
Zipf, Peter
(
Universität Tübingen
,
2018-03-13
)
Testing Einstein’s theory of gravity with simulations of tidal disruption events
Hämmerling, Gela
;
Kokkotas, Kostas D.
;
Laguna, Pablo
(
Universität TübingenUniversität Tübingen
,
2019-04
)
bwForCluster NEMO. Forschungscluster für die Wissenschaft
Janczyk, Michael
;
Suchodoletz, Dirk von
;
Wiebelt, Bernd
(
Universität TübingenUniversität Tübingen
,
2019-04
)
Umsetzungskonzept der Universitäten des Landes Baden-Württemberg für das High Performance Computing (HPC), Data Intensive Computing (DIC) und Large Scale Scientific Data Management (LS2DM)
Schneider, Gerhard
;
Heuveline, Vincent
;
Horstmann, Karl-Wilhelm
;
Neumair, Bernhard
;
Hätscher, Petra
;
Kolbitsch, Josef
;
Rehm, Simone
;
Resch, Michael
;
Walter, Thomas
;
Wesner, Stefan
;
Castellaz, Peter
(
Universität TübingenUniversität Tübingen
,
2019-04
)
Now showing items 1-10 of 146
1
2
3
4
. . .
15
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Submit
Contact
Contracts
Help
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
DDC-Classification
This Community
By Issue Date
Authors
Titles
DDC-Classification
My Account
Login
Filter
Department
Allgemeine u. vergleichende Sprachwissenschaft (38)
Archäologie (36)
Informatik (34)
Zentrum für Datenverarbeitung (11)
Kriminologie (5)
Musikwissenschaft (4)
Philosophische Fakultät (3)
Sonstige/Externe (3)
Soziologie (3)
Geschichte (2)
... View More
Date Issued
2010 - 2020 (141)
1994 - 1999 (5)
Dokument type
InProceedings (Aufsatz / Paper einer Konferenz etc.) (146)
Top 10 Authors
Suchodoletz, Dirk von (7)
Wiebelt, Bernd (5)
Janczyk, Michael (4)
Attenni, Martina (3)
Bauer, Jonathan (3)
Dellert, Johannes (3)
Haaser, Rolf (3)
Heuveline, Vincent (3)
Inglese, Carlo (3)
Ippolito, Alfonso (3)
... View More