Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Marino Miculan

Has grant

Docenti di ruolo di Ia fascia

Università degli Studi di Udine

Italy

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Italy Professors in Cybersecurity Cybersecurity professors in Italy

Recent Grants

Grant: Close

CINA ComposizionalitÃ , Interazione, Negoziazione, AutonomicitÃ per la societÃ ICT futura

Open Date: 2010-01-01

Close Date: 2013-01-01

Grant: Close

Sistemi di Riduzione sintesi, raffinamento e verifica di modelli comportamentali (SisteR)

Open Date: 2008-01-01

Close Date: 2010-01-01

Articles (15)

Year:

2027

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Collaborators (6)

Marco Comini

Associate Professor

University of Udine

ITALY

View details

Roberto Doriguzzi Corin

Head of Research Unit

Fondazione Bruno Kessler

ITALY

View details

Giovanni Merlino

Docenti di ruolo di IIa fascia

Università degli Studi di Palermo

ITALY

View details

Pietro Di Gianantonio

Professore Associato

Università degli Studi di Udine

ITALY

View details

Vincenzo Riccio

Associate Professor

University of Udine

ITALY

View details

Marco Peressotti

University of Southern Denmark

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Marino Miculan

Research Interests

Make your next move.

Explore related searches

Recent Grants

Articles (15)

KLAIM, certified: Mechanising flow logic for tuple-space coordination

Strobilus: Enriching Cedar with Stateful Policies

Security Assessment of Private Package Repositories: An Experience on Acc‐Py at CERN

Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis

Attribute-based memory updates with priorities for collective adaptive systems

Experimental Evaluation of Lightweight Encryption Algorithms on 16-bit Microcontrollers

Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems

From Edge to Cloud: Securing Distributed Containerized Applications

ON THE AXIOMS OF M, N-ADHESIVE CATEGORIES

Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards

Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems

Composable partial multiparty session types for open systems

Automated verification of Telegram’s MTProto 2.0 in the symbolic model

Computing (optimal) embeddings of directed bigraphs

The AbU Language: IoT Distributed Programming Made Easy

Collaborators (6)

Marco Comini

Roberto Doriguzzi Corin

Giovanni Merlino

Pietro Di Gianantonio

Vincenzo Riccio

Marco Peressotti

Make your next move.