Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Scientific Annals of Computer Science, Volume 20

> Home > Journals > Scientific Annals of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 20, 2010

- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/BartocciCBMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BartocciCBMT10
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. 1-31
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/BartocciCBMT10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BartocciCBMT10a
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Timed Operational Semantics and Well-Formedness of Shape Calculus. 32-52
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/BruniGL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BruniGL10
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. 53-96
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/HansenR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/HansenR10
Helle Hvid Hansen, Jan J. M. M. Rutten:
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions. 97-130
- view
  - electronic edition @ uaic.ro (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/cuza/KlaudelKPP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/KlaudelKPP10
Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau:
State Space Reduction for Dynamic Process Creation. 131-157

a service of

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.