en
Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
12187 Publications
2012 | Journal Article | LibreCat-ID: 2172
STIR: Software for Tomographic Image Reconstruction Release 2
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.
LibreCat
| DOI
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.
2012 | Journal Article | LibreCat-ID: 2177
On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-based Reconfigurable Processors
M. Grad, C. Plessl, Int. Journal of Reconfigurable Computing (IJRC) (2012).
LibreCat
| DOI
M. Grad, C. Plessl, Int. Journal of Reconfigurable Computing (IJRC) (2012).
2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat
| DOI
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
2012 | Journal Article | LibreCat-ID: 2949
Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility
T. Gries, N. Bilkic, M. Pilichowski, Labour Economics 19 (2012) 706–717.
LibreCat
| DOI
T. Gries, N. Bilkic, M. Pilichowski, Labour Economics 19 (2012) 706–717.
2012 | Journal Article | LibreCat-ID: 2951
Economic performance and terrorist activity in Latin America
T. Gries, D. Meierrieks, Defence and Peace Economics 23 (2012) 447–470.
LibreCat
| DOI
T. Gries, D. Meierrieks, Defence and Peace Economics 23 (2012) 447–470.
2012 | Conference Paper | LibreCat-ID: 2982
StreamKM++: A clustering algorithm for data streams
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
LibreCat
| DOI
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
2012 | Dissertation | LibreCat-ID: 3132
On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat
| DOI
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
2012 | Journal Article | LibreCat-ID: 2641
IT Sourcing Portfolio Management for IT Services Providers - An Approach for using Modern Portfolio Theory to allocate Software Development Projects to available Sites
S. Zimmermann, A. Katzmarzik, D. Kundisch, The DATA BASE for Advances in Information Systems 43 (2012) 24–45.
LibreCat
S. Zimmermann, A. Katzmarzik, D. Kundisch, The DATA BASE for Advances in Information Systems 43 (2012) 24–45.
2012 | Journal Article | LibreCat-ID: 2519
Negotiating Transfer Prices
C.-J. Haake, J.T. Martini, Group Decision and Negotiation 22 (2012) 657–680.
LibreCat
| Files available
| DOI
C.-J. Haake, J.T. Martini, Group Decision and Negotiation 22 (2012) 657–680.