skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Elsevier ScienceDirect Journals remover idioma: Norueguês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A stable non-interleaving early operational semantics for the pi-calculus
A stable non-interleaving early operational semantics for the pi-calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A stable non-interleaving early operational semantics for the pi-calculus

Hildebrandt, Thomas Troels ; Johansen, Christian ; Normann, Håkon

Journal of logical and algebraic methods in programming, 2019-04, Vol.104, p.227-253 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
2
A modular reasoning system using uninterpreted predicates for code reuse
A modular reasoning system using uninterpreted predicates for code reuse
Material Type:
Artigo 		Adicionar ao Meu Espaço

A modular reasoning system using uninterpreted predicates for code reuse

Din, Crystal Chang ; Johnsen, Einar Broch ; Owe, Olaf ; Yu, Ingrid Chieh

Journal of logical and algebraic methods in programming, 2018-02, Vol.95, p.82-102, Article 82 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
A secrecy-preserving language for distributed and object-oriented systems
A secrecy-preserving language for distributed and object-oriented systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A secrecy-preserving language for distributed and object-oriented systems

Ramezanifarkhani, Toktam ; Owe, Olaf ; Tokas, Shukun

Journal of logical and algebraic methods in programming, 2018-10, Vol.99, p.1-25 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
4
Dynamic structural operational semantics
Dynamic structural operational semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic structural operational semantics

Johansen, Christian ; Owe, Olaf

Journal of logical and algebraic methods in programming, 2019-10, Vol.107, p.79-107 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Virtually timed ambients: A calculus of nested virtualization
Virtually timed ambients: A calculus of nested virtualization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Virtually timed ambients: A calculus of nested virtualization

Johnsen, Einar Broch ; Steffen, Martin ; Stumpf, Johanna Beate

Journal of logical and algebraic methods in programming, 2018-01, Vol.94, p.109-127, Article 109 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Clustering objectives in wireless sensor networks: A survey and research direction analysis
Clustering objectives in wireless sensor networks: A survey and research direction analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Clustering objectives in wireless sensor networks: A survey and research direction analysis

Shahraki, Amin ; Taherkordi, Amir ; Haugen, Øystein ; Eliassen, Frank

Computer networks (Amsterdam, Netherlands : 1999), 2020-10, Vol.180, p.107376, Article 107376 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
The ‘Strasbourg Effect’ on data protection in light of the ‘Brussels Effect’: Logic, mechanics and prospects
The ‘Strasbourg Effect’ on data protection in light of the ‘Brussels Effect’: Logic, mechanics and prospects
Material Type:
Artigo 		Adicionar ao Meu Espaço

The ‘Strasbourg Effect’ on data protection in light of the ‘Brussels Effect’: Logic, mechanics and prospects

Bygrave, Lee A.

The computer law and security report, 2021-04, Vol.40, p.105460, Article 105460

Elsevier Ltd

Texto completo disponível

Citações Citado por
8
Engineering ontology-based access to real-world data sources
Engineering ontology-based access to real-world data sources
Material Type:
Artigo 		Adicionar ao Meu Espaço

Engineering ontology-based access to real-world data sources

Skjæveland, Martin G. ; Giese, Martin ; Hovland, Dag ; Lian, Espen H. ; Waaler, Arild

Web semantics, 2015-08, Vol.33, p.112-140

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Risk aggregation in Solvency II through recursive log-normals
Risk aggregation in Solvency II through recursive log-normals
Material Type:
Artigo 		Adicionar ao Meu Espaço

Risk aggregation in Solvency II through recursive log-normals

Bølviken, Erik ; Guillen, Montserrat

Insurance, mathematics & economics, 2017-03, Vol.73, p.20-26 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
10
Not just playing: The politics of designing games for impact on anticipatory climate governance
Not just playing: The politics of designing games for impact on anticipatory climate governance
Material Type:
Artigo 		Adicionar ao Meu Espaço

Not just playing: The politics of designing games for impact on anticipatory climate governance

Vervoort, Joost M. ; Milkoreit, Manjana ; van Beek, Lisette ; Mangnus, Astrid C. ; Farrell, David ; McGreevy, Steven R. ; Ota, Kazuhiko ; Rupprecht, Christoph D.D. ; Reed, Jason B. ; Huber, Matthew

Geoforum, 2022-12, Vol.137, p.213-221 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (9)

Data de Publicação 

De até
Refinar
  1. Antes de2015  (1)
  2. 2015Até2016  (1)
  3. 2017Até2017  (1)
  4. 2018Até2019  (6)
  5. Após 2019  (3)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.