Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Logic and Algebraic Methods in Programming, Volume 99

> Home > Journals > Journal of Logic and Algebraic Methods in Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 99, October 2018

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Ramezanifarkhani18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Ramezanifarkhani18
Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas:
A secrecy-preserving language for distributed and object-oriented systems. 1-25

Special issue on RAMiCS-17

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/Krivulin18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Krivulin18
Nikolai Krivulin:
Complete algebraic solution of multidimensional optimization problems in tropical semifield. 26-40

Special issue on TRENDS2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BertrandBBC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BertrandBBC18
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier:
When are stochastic transition systems tameable? 41-96

Special issue on SEFM 2016

- view
  authority control:
- export record
  dblp key:
  - journals/jlp/DaillerHMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/DaillerHMM18
Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy:
Instrumenting a weakest precondition calculus for counterexample generation. 97-113
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BezdekBCB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BezdekBCB18
Peter Bezdek, Nikola Benes, Ivana Cerná, Jiri Barnat:
On clock-aware LTL parameter synthesis of timed automata. 114-142
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/El-HokayemFJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/El-HokayemFJ18
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber:
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. 143-177

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.