Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000)Aagaard, Mark ; Harrison, JohnLecture notes in computer science, 2000 [Periódico revisado por pares]Berlin: SpringerSem texto completo |
2 |
Material Type: Capítulo de Livro
|
![]() |
Out-of-Order Event Processing in Kinetic Data StructuresAbam, Mohammad Ali ; Agarwal, Pankaj K. ; de Berg, Mark ; Yu, Hai Erlebach, Thomas ; Azar, YossiAlgorithms – ESA 2006, 2006, p.624-635 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
3 |
Material Type: Ata de Congresso
|
![]() |
Identity-Based Encryption Gone WildAbdalla, Michel ; Catalano, Dario ; Dent, Alexander W. ; Malone-Lee, John ; Neven, Gregory ; Smart, Nigel P. Preneel, Bart ; Bugliesi, Michele ; Wegener, Ingo ; Sassone, VladimiroAutomata, Languages and Programming, 2006, Vol.4052, p.300-311 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
4 |
Material Type: Ata de Congresso
|
![]() |
Empirical comparison of competing query learning methodsABE, N ; MAMITSUKA, H ; NAKAMURA, ALecture notes in computer science, 1998, p.387-388 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Answering queries using materialized views with disjunctionsAFRATI, F. N ; GERGATSOULIS, M ; KAVALIEROS, TLecture notes in computer science, 1999, p.435-452 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Finding Equivalent Rewritings in the Presence of Arithmetic ComparisonsAfrati, Foto ; Chirkova, Rada ; Gergatsoulis, Manolis ; Pavlaki, Vassia Scholl, Marc H. ; Matthes, Florian ; Boehm, Klemens ; Schmidt, Joachim W. ; Boehm, Christian ; Ioannidis, Yannis ; Hatzopoulos, Mike ; Grust, Torsten ; Kemper, AlfonsAdvances in Database Technology - EDBT 2006, 2006, p.942-960 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
7 |
Material Type: Ata de Congresso
|
![]() |
Designing Views to Efficiently Answer Real SQL QueriesAfrati, Foto ; Chirkova, Rada ; Gergatsoulis, Manolis ; Pavlaki, Vassia Zucker, Jean-Daniel ; Saitta, LorenzaAbstraction, Reformulation and Approximation, 2005, p.332-346 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
8 |
Material Type: Livro
|
![]() |
On approximation algorithms for data mining applicationsAFRATI, Foto NLecture notes in computer science, 2006, p.1-29Berlin: SpringerSem texto completo |
9 |
Material Type: Ata de Congresso
|
![]() |
Dynamic Connectivity for Axis-Parallel RectanglesAfshani, Peyman ; Chan, Timothy M. Erlebach, Thomas ; Azar, YossiAlgorithms – ESA 2006, 2006, p.16-27 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
10 |
Material Type: Ata de Congresso
|
![]() |
Experiments and Hardware Countermeasures on Power Analysis AttacksAhn, ManKi ; Lee, HoonJae Choo, Hyunseung ; Gervasi, Osvaldo ; Taniar, David ; Gavrilova, Marina ; Laganá, Antonio ; Kumar, Vipin ; Tan, C. J. Kenneth ; Mun, YoungsongComputational Science and Its Applications - ICCSA 2006, 2006, p.48-53 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |