E-LIB Suche - Ergebnisse für: Breveglieri, Luca

1

General parsing with regular expression matching:

Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano.
Journal of Computer Languages. 74 (2023) - p. 101176 , 2023

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

2

Exploring Cortex-M Microarchitectural Side Channel Informat..:

Barenghi, Alessandro ; Breveglieri, Luca ; Izzo, Niccolo.
IEEE Access. 9 (2021) - p. 156507-156527 , 2021

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

3

Fast GLR parsers for extended BNF grammars and transition n..:

Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano.
Journal of Computer Languages. 64 (2021) - p. 101035 , 2021

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

4

A deterministic parsing algorithm for ambiguous regular exp..:

Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano.
Acta Informatica. 58 (2020) 3 - p. 195-229 , 2020

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

5

Finite Automata as Regular Language Recognizers:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 115-197 , 2019

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

6

Translation Semantics and Static Analysis:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 383-486 , 2019

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

7

A Benchmark Production Tool for Regular Expressions:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano. - p. 95-107 , 2019

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

8

Formal Languages and Compilation

Texts in Computer Science

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - 3rd ed. 2019 . , 2019

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

9

Pushdown Automata and Parsing:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 199-381 , 2019

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

10

Introduction:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 1-4 , 2019

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

11

Syntax:

, In: Texts in Computer Science; Formal Languages and Compilation,

Crespi Reghizzi, Stefano ; Breveglieri, Luca ; Morzenti, Angelo - p. 5-113 , 2019

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

12

A secure and authenticated host-to-memory communication int..:

, In: Proceedings of the 16th ACM International Conference on Computing Frontiers,

Izzo, Niccolò ; Barenghi, Alessandro ; Breveglieri, Luca.. - p. 386-391 , 2019

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

13

Fast deterministic parsers for transition networks:

Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano.
Acta Informatica. 55 (2017) 7 - p. 547-574 , 2017

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

14

A Fault-Based Secret Key Retrieval Method for ECDSA : An..:

Barenghi, Alessandro ; Bertoni, Guido M. ; Breveglieri, Luca...
ACM Journal on Emerging Technologies in Computing Systems (JETC). 13 (2016) 1 - p. 1-26 , 2016

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

15

A Fault-Based Secret Key Retrieval Method for ECDSA: Analys..:

Barenghi, Alessandro ; Bertoni, Guido M. ; Breveglieri, Luca...
ACM Journal on Emerging Technologies in Computing Systems. 13 (2016) 1 - p. 1-26 , 2016

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