default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 496

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 496, July 2013

Editorial

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DattaD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DattaD13
Ajoy Kumar Datta, Stéphane Devismes:
Preface. 1

Special Issue Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MehtaAS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MehtaAS13
Abhinav Mehta, Shashank Agrawal, Kannan Srinathan:
Interplay between (im)perfectness, synchrony and connectivity: The case of reliable message transmission. 2-16
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ChenK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChenK13
Jingshu Chen, Sandeep S. Kulkarni:
MR4UM: A framework for adding fault tolerance to UML state diagrams. 17-33
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Delporte-GalletFT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Delporte-GalletFT13
Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The:
Byzantine agreement with homonyms in synchronous systems. 34-49
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EbnenasirHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EbnenasirHK13
Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the design of fault tolerance in transaction level SystemC programs. 50-68
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KentrosK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KentrosK13
Sotiris Kentros, Aggelos Kiayias:
Solving the at-most-once problem with nearly optimal effectiveness. 69-88
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CournierDLPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CournierDLPV13
Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain:
The snap-stabilizing message forwarding algorithm on tree topologies. 89-112
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PalH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PalH13
Ranjan Pal, Pan Hui:
Economic models for cloud service markets: Pricing and Capacity planning. 113-124
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PeriV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PeriV13
Sathya Peri, K. Vidyasankar:
Correctness of concurrent executions of closed nested transactions in transactional memory systems. 125-153
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CrainIR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CrainIR13
Tyler Crain, Damien Imbs, Michel Raynal:
Towards a universal construction for transaction-based multiprocess programs. 154-169
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SantosS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SantosS13
Nuno Santos, André Schiper:
Optimizing Paxos with batching and pipelining. 170-183
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EvenMSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EvenMSS13
Guy Even, Moti Medina, Gregor Schaffrath, Stefan Schmid:
Competitive and deterministic embeddings of virtual networks. 184-194

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.