Florian Mircea Boian

Publication Activity (10 Years)

Years Active: 2001-2018
Publications (10 Years): 3

Top Topics

Concurrent Systems

Epistemic Logic

Formal Specification

Top Venues

DCNET/ICE-B/OPTICS

Int. J. Comput. Commun. Control

Publications

Ioan Badarinza, Adrian Sterca, Florian Mircea Boian
Using the User's Recent Browsing History for Personalized Query Suggestions. SoftCOM (2018)
Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian
Verification of JADE Agents Using ATL Model Checking. Int. J. Comput. Commun. Control 10 (5) (2015)
Alexandru Popa, Iulia Teodora Banu-Demergian, Camelia Chira, Florian Mircea Boian, Gheorghe Stefanescu
A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Systems. EGC (2015)
Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica
A Distributed CTL Model Checker. DCNET/ICE-B/OPTICS (2013)
Florian Mircea Boian, Rares Florin Boian
Solving Storage Limitations Using a Peer-to-Peer Web File System. SYNASC (2008)
Bogdan Crainicu, Florian Mircea Boian
KSAm - An Improved RC4 Key-Scheduling Algorithm for Securing WEP. TeNe (2008)
Florian Mircea Boian, Corina Ferdean
Advanced Collaboration Techniques between Java Objects Distributed on Clusters. IWCC (2001)