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 413; Issue 1
Main
Theoretical Computer Science
Volume 413; Issue 1
Theoretical Computer Science
Volume 413; Issue 1
1
Quantitatively fair scheduling
Alessandro Bianco
,
Marco Faella
,
Fabio Mogavero
,
Aniello Murano
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 393 KB
Your tags:
english, 2012
2
Cost analysis of object-oriented bytecode programs
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
German Puebla
,
Damiano Zanardini
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 470 KB
Your tags:
english, 2012
3
Fluid computation of passage-time distributions in large Markov models
Richard A. Hayden
,
Anton Stefanek
,
Jeremy T. Bradley
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 1.54 MB
Your tags:
english, 2012
4
Analysis of a clock synchronization protocol for wireless sensor networks
Faranak Heidarian
,
Julien Schmaltz
,
Frits Vaandrager
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 760 KB
Your tags:
english, 2012
5
Approximating Markovian testing equivalence
Alessandro Aldini
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 287 KB
Your tags:
english, 2012
6
Branching bisimulation congruence for probabilistic systems
Suzana Andova
,
Sonja Georgievska
,
Nikola Trčka
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 356 KB
Your tags:
english, 2012
7
A linear process-algebraic format with data for probabilistic automata
Joost-Pieter Katoen
,
Jaco van de Pol
,
Mariëlle Stoelinga
,
Mark Timmer
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 393 KB
Your tags:
english, 2012
8
Simulation distances
Pavol Černý
,
Thomas A. Henzinger
,
Arjun Radhakrishna
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 489 KB
Your tags:
english, 2012
9
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
Anna Philippou
,
Insup Lee
,
Oleg Sokolsky
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 477 KB
Your tags:
english, 2012
10
Editorial: Quantitative Aspects of Programming Languages
Alessandra Di Pierro
,
Gethin Norman
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 124 KB
Your tags:
english, 2012
11
Editorial Board
Journal:
Theoretical Computer Science
Year:
2012
File:
PDF, 58 KB
Your tags:
2012
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
×
×