default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 764

> 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 764, April 2019

Selected papers of ICTCS 2016 (The Italian Conference on Theoretical Computer Science (ICTCS)

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BiloC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BiloC19
Vittorio Bilò, Antonio Caruso:
Editorial. 1
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CalamoneriDM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CalamoneriDM19
Tiziana Calamoneri, Matteo Dell'Orefice, Angelo Monti:
A simple linear time algorithm for the locally connected spanning tree problem on maximal planar chordal graphs. 2-14
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CordascoGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CordascoGR19
Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno:
Active influence spreading in social networks. 15-29
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DAngeloSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DAngeloSV19
Gianlorenzo D'Angelo, Lorenzo Severini, Yllka Velaj:
Recommending links through influence maximization. 30-41
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DasFLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DasFLMS19
Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Marco Squarcina:
Gathering of robots in a ring with mobile faults. 42-60
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Vinci19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Vinci19
Cosimo Vinci:
Non-atomic one-round walks in congestion games. 61-79
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BernardoM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernardoM19
Marco Bernardo, Marino Miculan:
Constructive logical characterizations of bisimilarity for reactive probabilistic systems. 80-99
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BodeiCG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BodeiCG19
Chiara Bodei, Stefano Chessa, Letterio Galletta:
Measuring security in IoT communications. 100-124
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BozzelliMMPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BozzelliMMPS19
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Which fragments of the interval temporal logic HS are tractable in model checking? 125-144
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GianniniSZC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GianniniSZC19
Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability. 145-172

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.