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
Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs
A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 34042
Nowhere-zero 3-flows in toroidal graphs
J. Li, Y. Ma, Z. Miao, Y. Shi, W. Wang, C.-Q. Zhang, Journal of Combinatorial Theory, Series B 153 (2021) 61–80.
LibreCat | DOI
 

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

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

2021 | Journal Article | LibreCat-ID: 45844
Parameterized complexity of abduction in Schaefer’s framework
Y. Mahmood, A. Meier, J. Schmidt, Journal of Logic and Computation 31 (2021) 266–296.
LibreCat | DOI
 

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

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Export / Embed