skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Acta Informatica remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A theory of formal synthesis via inductive learning
A theory of formal synthesis via inductive learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

A theory of formal synthesis via inductive learning

Jha, Susmit ; Seshia, Sanjit A.

Acta informatica, 2017-11, Vol.54 (7), p.693-726 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Practical synthesis of reactive systems from LTL specifications via parity games: You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental
Practical synthesis of reactive systems from LTL specifications via parity games: You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental
Material Type:
Artigo 		Adicionar ao Meu Espaço

Practical synthesis of reactive systems from LTL specifications via parity games: You can teach an old dog new tricks: making a classic approach structured, forward-explorative, and incremental

Luttenberger, Michael ; Meyer, Philipp J. ; Sickert, Salomon

Acta informatica, 2020-04, Vol.57 (1-2), p.3-36 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Synthesis from hyperproperties
Synthesis from hyperproperties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Synthesis from hyperproperties

Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip ; Stenger, Marvin ; Tentrup, Leander

Acta informatica, 2020-04, Vol.57 (1-2), p.137-163 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Planning and execution with flexible timelines: a formal account
Planning and execution with flexible timelines: a formal account
Material Type:
Artigo 		Adicionar ao Meu Espaço

Planning and execution with flexible timelines: a formal account

Cialdea Mayer, Marta ; Orlandini, Andrea ; Umbrico, Alessandro

Acta informatica, 2016-10, Vol.53 (6-8), p.649-680 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
An encoding of the λ-calculus in the String MultiSet Rewriting calculus
An encoding of the λ-calculus in the String MultiSet Rewriting calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

An encoding of the λ-calculus in the String MultiSet Rewriting calculus

Bagossy, Attila ; Battyányi, Péter

Acta informatica, 2024-06, Vol.61 (2), p.161-181 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Static versus dynamic reversibility in CCS
Static versus dynamic reversibility in CCS
Material Type:
Artigo 		Adicionar ao Meu Espaço

Static versus dynamic reversibility in CCS

Lanese, Ivan ; Medić, Doriana ; Mezzina, Claudio Antares

Acta informatica, 2021-04, Vol.58 (1-2), p.1-34 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Verification of population protocols
Verification of population protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of population protocols

Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak

Acta informatica, 2017-03, Vol.54 (2), p.191-215 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Testing membership for timed automata
Testing membership for timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Testing membership for timed automata

Lassaigne, Richard ; de Rougemont, Michel

Acta informatica, 2023-12, Vol.60 (4), p.361-384 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Editorial 2023: changes and invariants
Editorial 2023: changes and invariants
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial 2023: changes and invariants

Fernau, Henning

Acta informatica, 2023-12, Vol.60 (4), p.331-333 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Average-energy games
Average-energy games
Material Type:
Artigo 		Adicionar ao Meu Espaço

Average-energy games

Bouyer, Patricia ; Markey, Nicolas ; Randour, Mickael ; Larsen, Kim G. ; Laursen, Simon

Acta informatica, 2018-03, Vol.55 (2), p.91-127 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.