Showing
1 - 20
results of
94
for search '
"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"
'
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"
Showing
1 - 20
results of
94
for search '
"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science"
'
, query time: 0.91s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
Order Scheduling Models: Hardness and Algorithms
by
Garg, Naveen
,
Kumar, Amit
,
Pandit, Vinayaka
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
2
Loading…
Probabilistic and Topological Semantics for Timed Automata
by
Baier, Christel
,
Bertrand, Nathalie
,
Bouyer, Patricia
,
Brihaye, Thomas
,
Größer, Marcus
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
3
Loading…
Solving Parity Games in Big Steps
by
Schewe, Sven
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
4
Loading…
Bounding Messages for Free in Security Protocols
by
Arapinis, Myrto
,
Duflot, Marie
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
5
Loading…
Logspace Algorithms for Computing Shortest and Longest Paths in Series-Parallel Graphs
by
Jakoby, Andreas
,
Tantau, Till
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
6
Loading…
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
by
Courant, Judicaël
,
Ene, Cristian
,
Lakhnech, Yassine
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
7
Loading…
Efficient and Expressive Tree Filters
by
Benedikt, Michael
,
Jeffrey, Alan
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
8
Loading…
Propositional Dynamic Logic for Message-Passing Systems
by
Bollig, Benedikt
,
Kuske, Dietrich
,
Meinecke, Ingmar
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
9
Loading…
Markov Decision Processes with Multiple Long-Run Average Objectives
by
Chatterjee, Krishnendu
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
10
Loading…
Triangulations of Line Segment Sets in the Plane
by
Brévilliers, Mathieu
,
Chevallier, Nicolas
,
Schmitt, Dominique
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
11
Loading…
The Complexity of Zero Knowledge
by
Vadhan, Salil
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
12
Loading…
“Rent-or-Buy” Scheduling and Cost Coloring Problems
by
Fukunaga, Takuro
,
Halldórsson, Magnús M.
,
Nagamochi, Hiroshi
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
13
Loading…
A Formal Investigation of Diff3
by
Khanna, Sanjeev
,
Kunal, Keshav
,
Pierce, Benjamin C.
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
14
Loading…
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography
by
Backes, Michael
,
Dürmuth, Markus
,
Küsters, Ralf
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
15
Loading…
Stochastic Müller Games are PSPACE-Complete
by
Chatterjee, Krishnendu
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
16
Loading…
Synthesis of Safe Message-Passing Systems
by
Baudru, Nicolas
,
Morin, Rémi
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
17
Loading…
Probabilistic Analysis of the Degree Bounded Minimum Spanning Tree Problem
by
Srivastav, Anand
,
Werth, Sören
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
18
Loading…
Key Substitution in the Symbolic Analysis of Cryptographic Protocols
by
Chevalier, Yannick
,
Kourjieh, Mounira
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
19
Loading…
A Theory for Game Theories
by
Hirschowitz, Michel
,
Hirschowitz, André
,
Hirschowitz, Tom
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
20
Loading…
The Multicore Revolution: The Challenges for Theory
by
Herlihy, Maurice
Published in
FSTTCS 2007
:
Foundations of Software Technology and Theoretical Computer Science
Get full text
Book Chapter
Save to List
Saved in:
1
2
3
4
5
Next
[5]
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Book Chapter
70 results
70
Conference Proceeding
24 results
24
Subject Area
computer science
94 results
94
Topic
computer science
91 results
91
computer programming / software development
49 results
49
software engineering
49 results
49
computer science, software engineering
42 results
42
computer science, theory & methods
42 results
42
science & technology
42 results
42
See more
Language
English
94 results
94
Year of Publication
From:
To:
Database
SpringerLink Books
49 results
49
eBooks on EBSCOhost
49 results
49
Springer Books
49 results
49