books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 538
Main
Theoretical Computer Science
Volume 538
Theoretical Computer Science
Volume 538
1
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
Adão, Pedro
,
Mateus, Paulo
,
Viganò, Luca
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 785 KB
Your tags:
english, 2014
2
Precise quantitative information flow analysis— a symbolic approach
Klebanov, Vladimir
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 816 KB
Your tags:
english, 2014
3
The quantitative linear-time–branching-time spectrum
Fahrenberg, Uli
,
Legay, Axel
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 1.01 MB
Your tags:
english, 2014
4
Exact fluid lumpability in Markovian process algebra
Tschaikowski, Max
,
Tribastone, Mirco
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 1.34 MB
Your tags:
english, 2014
5
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Hansen, Henri
,
Timmer, Mark
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 1.25 MB
Your tags:
english, 2014
6
Local abstraction refinement for probabilistic timed programs
Dräger, Klaus
,
Kwiatkowska, Marta
,
Parker, David
,
Qu, Hongyang
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 1.05 MB
Your tags:
english, 2014
7
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms
Giro, Sergio
,
D'Argenio, Pedro R.
,
Ferrer Fioriti, Luis María
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 2014
8
Quantitative information flow as safety and liveness hyperproperties
Yasuoka, Hirotoshi
,
Terauchi, Tachio
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 817 KB
Your tags:
english, 2014
9
Real-reward testing for probabilistic processes
Deng, Yuxin
,
van Glabbeek, Rob
,
Hennessy, Matthew
,
Morgan, Carroll
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 986 KB
Your tags:
english, 2014
10
Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes
Giro, Sergio
Journal:
Theoretical Computer Science
Year:
2014
Language:
english
File:
PDF, 875 KB
Your tags:
english, 2014
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×