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. (2021). Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. IEEE Transactions on Computers, 1–1. https://doi.org/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. (2021). Nowhere-zero 3-flows in toroidal graphs. Journal of Combinatorial Theory, Series B, 153, 61–80. https://doi.org/10.1016/j.jctb.2021.11.001
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 37146
Stieglitz, S., Mirbabaie, M., Möllmann, N. R. J., & Rzyski, J. (2021). Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution. Information Systems Frontiers, 24(3), 745–770. https://doi.org/10.1007/s10796-021-10201-0
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 53333
Winkler, M. (2021). $L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation. ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, 141–172. https://doi.org/10.2422/2036-2145.202005_016
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Y., Meier, A., & Schmidt, J. (2020). Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation, 31(1), 266–296. https://doi.org/10.1093/logcom/exaa079
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, B., Behnam, P., & Sadeghi-Kohan, S. (2014). A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers, 1–1. https://doi.org/10.1109/tc.2014.2329687
LibreCat | DOI
 

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed