default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 172

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 172, March 2019

- view
  authority control:
- export record
  dblp key:
  - journals/scp/BonchiBLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BonchiBLR19
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot:
Bisimilarity of open terms in stream GSOS. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LuthmannML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LuthmannML19
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Unifying modal interface theories and compositional input/output conformance testing. 27-47
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Benzmuller19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Benzmuller19
Christoph Benzmüller:
Universal (meta-)logical reasoning: Recent successes. 48-62
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BouraouiG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BouraouiG19
Amina Bouraoui, Imen Gharbi:
Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations. 63-101
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DeutschbeinFBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DeutschbeinFBB19
Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah:
Multi-core cyclic executives for safety-critical systems. 102-116
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HanTL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HanTL19
Xiao Han, Tao Tang, Jidong Lv:
A hierarchical verification approach to verify complex safety control systems based on STAMP. 117-134
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ImaiYY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ImaiYY19
Keigo Imai, Nobuko Yoshida, Shoji Yuen:
Session-ocaml: A session-based library with polarities and lenses. 135-159
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Ferrando19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Ferrando19
Angelo Ferrando:
The early bird catches the worm: First verify, then monitor! 160-179
- view
  authority control:
- export record
  dblp key:
  - journals/scp/GianniniRSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GianniniRSZ19
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. 180-202
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DamianiLP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DamianiLP19
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A formal model for Multi Software Product Lines. 203-231
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ParraEPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ParraEPP19
Otto Parra, Sergio España, José Ignacio Panach, Oscar Pastor:
An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces. 232-263
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SanchezPZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SanchezPZ19
Luis Emiliano Sanchez, Jorge Andrés Díaz Pace, Alejandro Zunino:
A family of heuristic search algorithms for feature model optimization. 264-293

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.