Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
![]() |
Dialogue Systems for Intelligent Human Computer InteractionsMerdivan, Erinc ; Singh, Deepika ; Hanke, Sten ; Holzinger, AndreasElectronic notes in theoretical computer science, 2019-05, Vol.343, p.57-71Elsevier B.VTexto completo disponível |
12 |
Material Type: Artigo
|
![]() |
Dagger Compact Closed Categories and Completely Positive MapsSelinger, PeterElectronic notes in theoretical computer science, 2007-03, Vol.170, p.139-163Elsevier B.VTexto completo disponível |
13 |
Material Type: Artigo
|
![]() |
Information Processing in Convex Operational TheoriesBarnum, Howard ; Wilce, AlexanderElectronic notes in theoretical computer science, 2011-02, Vol.270 (1), p.3-15Elsevier B.VTexto completo disponível |
14 |
Material Type: Artigo
|
![]() |
An Introduction to Algebraic Effects and Handlers. Invited tutorial paperPretnar, MatijaElectronic notes in theoretical computer science, 2015-12, Vol.319, p.19-35Elsevier B.VTexto completo disponível |
15 |
Material Type: Artigo
|
![]() |
Basic completion strategies as another application of the Maude strategy languageVerdejo, Alberto ; Martí-Oliet, NarcisoElectronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36Open Publishing AssociationTexto completo disponível |
16 |
Material Type: Artigo
|
![]() |
Quantitative Notions of Leakage for One-try AttacksBraun, Christelle ; Chatzikokolakis, Konstantinos ; Palamidessi, CatusciaElectronic notes in theoretical computer science, 2009-08, Vol.249, p.75-91Elsevier B.VTexto completo disponível |
17 |
Material Type: Artigo
|
![]() |
Double-spend Attack Models with Time Advantange for BitcoinPinzón, Carlos ; Rocha, CamiloElectronic notes in theoretical computer science, 2016-12, Vol.329, p.79-103Elsevier B.VTexto completo disponível |
18 |
Material Type: Artigo
|
![]() |
Into the Square: On the Complexity of Some Quadratic-time Solvable ProblemsBorassi, Michele ; Crescenzi, Pierluigi ; Habib, MichelElectronic notes in theoretical computer science, 2016-04, Vol.322, p.51-67Elsevier B.VTexto completo disponível |
19 |
Material Type: Artigo
|
![]() |
Observationally-induced Algebras in Domain TheoryBattenfeld, IngoElectronic notes in theoretical computer science, 2014-02, Vol.301, p.21-37 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
20 |
Material Type: Artigo
|
![]() |
LEMON – an Open Source C++ Graph Template LibraryDezső, Balázs ; Jüttner, Alpár ; Kovács, PéterElectronic notes in theoretical computer science, 2011-07, Vol.264 (5), p.23-45Elsevier B.VTexto completo disponível |