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, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tc.2021.3107196.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 34042
Li, Jiaao, et al. “Nowhere-Zero 3-Flows in Toroidal Graphs.” Journal of Combinatorial Theory, Series B, vol. 153, Elsevier BV, 2021, pp. 61–80, doi:10.1016/j.jctb.2021.11.001.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 37146
Stieglitz, Stefan, et al. “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution.” Information Systems Frontiers, vol. 24, no. 3, Springer Science and Business Media LLC, 2021, pp. 745–70, doi:10.1007/s10796-021-10201-0.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 53333
Winkler, Michael. “$L^1$ Solutions to Parabolic Keller-Segel Systems Involving Arbitrary Superlinear Degradation.” ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, Scuola Normale Superiore - Edizioni della Normale, 2021, pp. 141–72, doi:10.2422/2036-2145.202005_016.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University Press (OUP), 2020, pp. 266–96, doi:10.1093/logcom/exaa079.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat | DOI
 

Filters and Search Terms

keyword="Theoretical Computer Science"

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed