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
A. Rodriguez, A. Otero, M. Platzner, and E. De la Torre, “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs,” IEEE Transactions on Computers, pp. 1–1, 2021, doi: 10.1109/tc.2021.3107196.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 34042
J. Li, Y. Ma, Z. Miao, Y. Shi, W. Wang, and C.-Q. Zhang, “Nowhere-zero 3-flows in toroidal graphs,” Journal of Combinatorial Theory, Series B, vol. 153, pp. 61–80, 2021, doi: 10.1016/j.jctb.2021.11.001.
LibreCat | DOI
 

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

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

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

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

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed