default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 903

> 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 903, February 2022

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/XuWZJTZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/XuWZJTZ22
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan:
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Jancar22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Jancar22
Petr Jancar:
Bisimilarity on Basic Parallel Processes. 26-38
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/JinZZCW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JinZZCW22
Zhao Jin, Bowen Zhang, Lei Zhang, Yongzhi Cao, Hanpin Wang:
An adaptation-complete proof system for local reasoning about cloud storage systems. 39-73
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Neumann22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Neumann22
Eike Neumann:
On the computability of the set of automorphisms of the unit square. 74-83
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GadducciMRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GadducciMRS22
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Categorical specification and implementation of Replicated Data Types. 84-112
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/StankovicBK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/StankovicBK22
Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
Moment-based analysis of Bayesian network properties. 113-133
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ElderP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ElderP22
Murray Elder, Adam Piggott:
Rewriting systems, plain groups, and geodetic graphs. 134-144

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.