CUFinder

Roberto Maieli

About Roberto Maieli

Roberto Maieli, With an exceptional h-index of 7 and a recent h-index of 4 (since 2020), a distinguished researcher at Università degli Studi Roma Tre, specializes in the field of logic, theoretical computer science.

His recent articles reflect a diverse array of research interests and contributions to the field:

Bayesian Proof Nets

Logic Programming with Multiplicative Structures

A proof of the Focusing Theorem via MALL proof nets

Probabilistic logic programming with multiplicative modules

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

Generalized connectives for multiplicative linear logic

Roberto Maieli Information

University

Position

Dipartimento di Matematica e Fisica -

Citations(all)

138

Citations(since 2020)

47

Cited By

114

hIndex(all)

7

hIndex(since 2020)

4

i10Index(all)

6

i10Index(since 2020)

1

Email

University Profile Page

Google Scholar

Roberto Maieli Skills & Research Interests

logic

theoretical computer science

Top articles of Roberto Maieli

Bayesian Proof Nets

2024/4/7

Roberto Maieli
Roberto Maieli

H-Index: 3

Logic Programming with Multiplicative Structures

arXiv preprint arXiv:2403.03032

2024/3/5

Roberto Maieli
Roberto Maieli

H-Index: 3

A proof of the Focusing Theorem via MALL proof nets

2022/9/9

Roberto Maieli
Roberto Maieli

H-Index: 3

Probabilistic logic programming with multiplicative modules

2021/6/27

Roberto Maieli
Roberto Maieli

H-Index: 3

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

Generalized connectives for multiplicative linear logic

2020/1/13

Roberto Maieli
Roberto Maieli

H-Index: 3

See List of Professors in Roberto Maieli University(Università degli Studi Roma Tre)