Emanuele Covino

15 papers B 1C 2Journal 4Unranked 8

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Analysis of Mobile Networks' Protocols Based on Abstract State Machine. Logic, Computation and Rigorous Methods Emanuele Covino, Giovanni Pani
2011	B	`conf`	A Formal Approach for Modeling Interactive Visual Interfaces. TrustCom Emanuele Covino, Giovanni Pani
2011	—	`conf`	An approach to use FB-AODV with Android. ANT/MobiWIS Nicola Corriero, Emanuele Covino, Angelo Mottola
2010	—	`conf`	Template Metaprogramming, Partial Evaluation and Computational Complexity Classes. FCS Emanuele Covino, Giovanni Pani
2008	—	`conf`	Complexity Certification of C++ Template Metaprogramming. Trends in Functional Programming Emanuele Covino, Giovanni Pani
2008	—	`conf`	Extending C++ Static Computation of Polynomial-Time Algorithms. FCS Emanuele Covino, Giovanni Pani, Daniele Scrimieri
2007	J	`jnl`	Compile-time Computation of Polytime Functions. J. Univers. Comput. Sci. Emanuele Covino, Giovanni Pani, Daniele Scrimieri
2007	—	`conf`	Static Computation of Polynomial-time Functions in C++. FCS Emanuele Covino, Giovanni Pani, Daniele Scrimieri
2005	—	`conf`	A visual tool for multidimensional data analysis. DMS Paolo Buono, Maria Francesca Costabile, Emanuele Covino, Giovanni Pani
2003	—	`conf`	A Refinement of the µ-measure for Stack Programs. ICC@LICS Emanuele Covino, Giovanni Pani
2002	J	`jnl`	An Implicit Recursive Language for the Polynomial Time-space Complexity Classes. J. Univers. Comput. Sci. Emanuele Covino, Giovanni Pani
2001	J	`jnl`	A predicative approach to the classification problem. J. Funct. Program. Salvatore Caporaso, Emanuele Covino, Giovanni Pani
2000	C	`conf`	Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes. CIAC Emanuele Covino, Giovanni Pani, Salvatore Caporaso
2000	J	`jnl`	Incompleteness in Linear Time. J. Univers. Comput. Sci. Salvatore Caporaso, Giovanni Pani, Emanuele Covino
1997	C	`conf`	Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy. CIAC Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino