E-LIB Suche - Ergebnisse für: Abel, Andreas

1

Anisotropic grain boundary diffusion process in textured si..:

Helbig, Tim ; Abel, Andreas ; Sawatzki, Simon...
Journal of Alloys and Compounds. 992 (2024) - p. 174490 , 2024

Link: https://doi.org/10.1016/..

2

Influence of Mo and B additions in intermetallic near-Fe3Al..:

Abel, Andreas ; Rosalie, Julian M. ; Reinsch, Stefan...
Intermetallics. 163 (2023) - p. 108074 , 2023

Link: https://doi.org/10.1016/..

3

A Graded Modal Dependent Type Theory with a Universe and Er..:

Abel, Andreas ; Danielsson, Nils Anders ; Eriksson, Oskar
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 920-954 , 2023

Link: https://doi.org/10.1145/..

4

Facile: Fast, Accurate, and Interpretable Basic-Block Throu..:

, In: 2023 IEEE International Symposium on Workload Characterization (IISWC),

Abel, Andreas ; Sharma, Shrey ; Reineke, Jan - p. 87-99 , 2023

Link: https://doi.org/10.1109/..

5

uiCA : accurate throughput prediction of basic blocks on..:

, In: Proceedings of the 36th ACM International Conference on Supercomputing,

Abel, Andreas ; Reineke, Jan - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

6

Cubical Agda: A dependently typed programming language with..:

VEZZOSI, ANDREA ; MÖRTBERG, ANDERS ; ABEL, ANDREAS
Journal of Functional Programming. 31 (2021) - p. , 2021

Link: https://doi.org/10.1017/..

7

Automatic generation of models of microarchitectures:

Abel, Andreas , 2020

Link: https://nbn-resolving.de..

8

Leibniz equality is isomorphic to Martin-Löf identity, para..:

ABEL, ANDREAS ; COCKX, JESPER ; DEVRIESE, DOMINIQUE..
Journal of Functional Programming. 30 (2020) - p. , 2020

Link: https://doi.org/10.1017/..

9

A unified view of modalities in type systems:

Abel, Andreas ; Bernardy, Jean-Philippe
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-28 , 2020

Link: https://doi.org/10.1145/..

10

From ROM of Electrochemistry to AI-Based Battery Digital an..:

Sancarlos, Abel ; Cameron, Morgan ; Abel, Andreas...
Archives of Computational Methods in Engineering. 28 (2020) 3 - p. 979-1015 , 2020

Link: https://doi.org/10.1007/..

11

A unified view of modalities in type systems:

Abel, Andreas ; Bernardy, Jean-Philippe
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-28 , 2020

Link: https://dl.acm.org/doi/1..

12

Proceedings of the 22nd International Symposium on Principl..:

Gabbrielli, Maurizio ; Abel, Andreas ; Cheney, James , 2020

Link: https://dl.acm.org/doi/1..

13

nanoBench: A Low-Overhead Tool for Running Microbenchmarks ..:

, In: 2020 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS),

Abel, Andreas ; Reineke, Jan - p. 34-46 , 2020

Link: https://doi.org/10.1109/..

14

Elaborating dependent (co)pattern matching: No pattern left..:

COCKX, JESPER ; ABEL, ANDREAS
Journal of Functional Programming. 30 (2020) - p. , 2020

Link: https://doi.org/10.1017/..

15

A type theory for defining logics and proofs:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Pientka, Brigitte ; Thibodeau, David ; Abel, Andreas.. - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..