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
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover assunto: Automation & Control Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Decision Procedure for Separation Logic in SMT
A Decision Procedure for Separation Logic in SMT
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Decision Procedure for Separation Logic in SMT

Reynolds, Andrew ; Iosif, Radu ; Serban, Cristina ; King, Tim

Automated Technology for Verification and Analysis, p.244-261 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
On Finite Domains in First-Order Linear Temporal Logic
On Finite Domains in First-Order Linear Temporal Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On Finite Domains in First-Order Linear Temporal Logic

Kuperberg, Denis ; Brunel, Julien ; Chemouil, David

Automated Technology for Verification and Analysis, p.211-226 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
An experience-based BDI logic: Motivating shared experiences and intentionality
An experience-based BDI logic: Motivating shared experiences and intentionality
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An experience-based BDI logic: Motivating shared experiences and intentionality

Osman, Nardine ; d'Inverno, Mark ; Sierra, Carles ; Amgoud, Leila ; Prade, Henri ; Yee-King, Matthew ; Confalonieri, Roberto ; de Jonge, Dave ; Hazelden, Katina

IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 2013, p.6654-6659

IEEE

Texto completo disponível

Citações Citado por
4
Propositional Opinion Diffusion
Propositional Opinion Diffusion
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Propositional Opinion Diffusion

Grandi, Umberto ; Lorini, Emiliano ; Perrussel, Laurent

Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, 2015, p.989-997

International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

Texto completo disponível

Citações Citado por
5
Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic
Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic

Liu, Yu Zhen ; Liu, Min ; Liu, Xing Bao ; Zhang, Xin Fen Kao, J.C.M. ; Sung, W.-P.

MATEC Web of Conferences, 2016, Vol.63, p.4036 [Periódico revisado por pares]

Les Ulis: EDP Sciences

Texto completo disponível

Citações Citado por
6
Logic encryption: a fault analysis perspective
Logic encryption: a fault analysis perspective
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Logic encryption: a fault analysis perspective

Rajendran, Jeyavijayan ; Pino, Youngok ; Sinanoglu, Ozgur ; Karri, Ramesh

2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012, p.953-958

EDA Consortium

Texto completo disponível

Citações Citado por
7
n -bit data parallel spin wave logic gate
n -bit data parallel spin wave logic gate
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

n -bit data parallel spin wave logic gate

Mahmoud, Abdulqader ; Vanderveken, Frederic ; Ciubotaru, Florin ; Adelmann, Christoph ; Cotofana, Sorin ; Hamdioui, Said

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.642-645

EDA Consortium

Texto completo disponível

Citações Citado por
8
A logic synthesis toolbox for reducing the multiplicative complexity in logic networks
A logic synthesis toolbox for reducing the multiplicative complexity in logic networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A logic synthesis toolbox for reducing the multiplicative complexity in logic networks

Testa, Eleonora ; Soeken, Mathias ; Riener, Heinz ; Amaru, Luca ; De Micheli, Giovanni

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.568-573

EDA Consortium

Texto completo disponível

Citações Citado por
9
Rescuing logic encryption in post-SAT era by locking & obfuscation
Rescuing logic encryption in post-SAT era by locking & obfuscation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Rescuing logic encryption in post-SAT era by locking & obfuscation

Rezaei, Amin ; Shen, Yuanqi ; Zhou, Hai

2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020, p.13-18

EDA Consortium

Texto completo disponível

Citações Citado por
10
SAT-based bit-flipping attack on logic encryptions
SAT-based bit-flipping attack on logic encryptions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SAT-based bit-flipping attack on logic encryptions

Shen, Yuanqi ; Rezaei, Amin ; Zhou, Hai

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018, p.629-632

EDAA

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (135)

Data de Publicação 

De até
Refinar
  1. Antes de1998  (604)
  2. 1998Até2003  (1.200)
  3. 2004Até2009  (1.502)
  4. 2010Até2016  (1.503)
  5. Após 2016  (384)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (126)
  2. Chinês  (38)
  3. Espanhol  (2)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.