skip to main content
Idioma:
Resultados 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Soft institutions - a platform to design and implement socio-technical systems
Soft institutions - a platform to design and implement socio-technical systems
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Soft institutions - a platform to design and implement socio-technical systems

Flávio Soares Corrêa da Silva Petros Papapanagiotou; David Murray-Rust; David S Robertson

São Paulo IME-USP 2017

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2017 v.3 )(Acessar)

2
Hazard prevention in mission plans for aerial vehicles based on soft institutions
Hazard prevention in mission plans for aerial vehicles based on soft institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hazard prevention in mission plans for aerial vehicles based on soft institutions

Flávio Soares Corrêa da Silva Paul W. H Chung; Marcelo Knörich Zuffo 1966-; Petros Papapanagiotou; David S Robertson; Wamberto Vasconcelos

Civil Aircraft Design and Research Shanghai n. 3, p. 105-116, 2017

Shanghai 2017

Acesso online. A biblioteca também possui exemplares impressos.

3
LS3C the lightweight, situated, stateful social calculus
LS3C the lightweight, situated, stateful social calculus
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

LS3C the lightweight, situated, stateful social calculus

Flávio Soares Corrêa da Silva David S Robertson; Wamberto Weber Miranda Peixoto de Vasconcelos; Paul W. H Chung; David Murray-Rust; Petros Papapanagiotou

São Paulo IME-USP 2015

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2015 v.2 )(Acessar)

4
Hazard identification for coordinated UAVs based on soft institutions
Hazard identification for coordinated UAVs based on soft institutions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Hazard identification for coordinated UAVs based on soft institutions

Flávio Soares Corrêa da Silva Paul W. H Chung; Marcelo Knörich Zuffo 1966-; Petros Papapanagiotou; David S Robertson; Wamberto Vasconcelos

São Paulo IME-USP 2017

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2017 v.2 )(Acessar)

5
Hazard identification for UAVs based on soft institutions
Hazard identification for UAVs based on soft institutions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Hazard identification for UAVs based on soft institutions

Flávio Soares Corrêa da Silva Paul W. H Chung; Marcelo Knörich Zuffo 1966-; Petros Papapanagiotou; David S Robertson; Wamberto Vasconcelos; International Conference on Autonomous Agents and Multiagent Suystems - AAMAS / Coordination, Organizations, Institutions and Norms (16. 2017 São Paulo, BR)

Pre-Proceedings New York: IFAAMAS, 2017

New York IFAAMAS 2017

Acesso online. A biblioteca também possui exemplares impressos.

6
Object-Level Reasoning with Logics Encoded in HOL Light
Object-Level Reasoning with Logics Encoded in HOL Light
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Object-Level Reasoning with Logics Encoded in HOL Light

Papapanagiotou, Petros ; Fleuriot, Jacques

Electronic proceedings in theoretical computer science, 2021, Vol.332, p.18-34

Texto completo disponível

Citações Citado por
7
A theorem proving framework for the formal verification of Web Services Composition
A theorem proving framework for the formal verification of Web Services Composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

A theorem proving framework for the formal verification of Web Services Composition

Papapanagiotou, Petros ; Fleuriot, Jacques D.

Electronic proceedings in theoretical computer science, 2011-08, Vol.61 (Proc. WWV 2011), p.1-16

Open Publishing Association

Texto completo disponível

Citações Citado por
8
A Collaboration Model for Community-Based Software Development with Social Machines
A Collaboration Model for Community-Based Software Development with Social Machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Collaboration Model for Community-Based Software Development with Social Machines

Murray-Rust, Dave ; Scekic, Ognjen ; Papapanagiotou, Petros ; Truong, Hong-Linh ; Roberston, Dave ; Dustdar, Schahram

EAI endorsed transactions on collaborative computing, 2016-02, Vol.1 (5), p.150812-14 [Periódico revisado por pares]

Ghent: European Alliance for Innovation (EAI)

Texto completo disponível

Citações Citado por
9
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers

Manataki, Areti ; Fleuriot, Jacques ; Papapanagiotou, Petros

IEEE journal of biomedical and health informatics, 2017-07, Vol.21 (4), p.1156-1162 [Periódico revisado por pares]

United States: IEEE

Texto completo disponível

Citações Citado por
10
Healthcare data safe havens: towards a logical architecture and experiment automation
Healthcare data safe havens: towards a logical architecture and experiment automation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Healthcare data safe havens: towards a logical architecture and experiment automation

Robertson, David ; Giunchiglia, Fausto ; Pavis, Stephen ; Turra, Ettore ; Bella, Gabor ; Elliot, Elizabeth ; Morris, Andrew ; Atkinson, Malcolm ; McAllister, Gordon ; Manataki, Areti ; Papapanagiotou, Petros ; Parsons, Mark

Journal of engineering (Stevenage, England), 2016-11, Vol.2016 (11), p.431-440 [Periódico revisado por pares]

The Institution of Engineering and Technology

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (23)
  2. Book Chapters  (6)
  3. Anais de Congresso  (4)
  4. Produções Técnicas  (3)
  5. Dissertações  (1)
  6. magazinearticle  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2011  (2)
  2. 2011Até2013  (5)
  3. 2014Até2015  (4)
  4. 2016Até2018  (16)
  5. Após 2018  (11)
  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.