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.
16 Publications
2021 | Journal Article | LibreCat-ID: 30907
Rodriguez A, Otero A, Platzner M, De la Torre E. Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. IEEE Transactions on Computers. Published online 2021:1-1. doi:10.1109/tc.2021.3107196
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 34042
Li J, Ma Y, Miao Z, Shi Y, Wang W, Zhang C-Q. Nowhere-zero 3-flows in toroidal graphs. Journal of Combinatorial Theory, Series B. 2021;153:61-80. doi:10.1016/j.jctb.2021.11.001
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
Stieglitz S, Mirbabaie M, Möllmann NRJ, Rzyski J. Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution. Information Systems Frontiers. 2021;24(3):745-770. doi:10.1007/s10796-021-10201-0
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53333
Winkler M. $L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation. ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE. Published online 2021:141-172. doi:10.2422/2036-2145.202005_016
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood Y, Meier A, Schmidt J. Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation. 2020;31(1):266-296. doi:10.1093/logcom/exaa079
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers. Published online 2014:1-1. doi:10.1109/tc.2014.2329687
LibreCat
| DOI