Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Policriti, Alberto"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Hashing and indexing: Succinct datastructures and smoothed analysis
Alberto Policriti
,
Nicola Prezza
Lecture Notes in Computer Science
8889
, 2014, pp. 157-168
A randomized Numerical Aligner (rNA)
Alberto Policriti
,
Alexandru I. Tomescu
,
Francesco Vezzi
Journal of Computer and System Sciences
78
(6), 2012, pp. 1868-1882
RNA: A fast and accurate short reads numerical aligner
Francesco Vezzi
,
Cristian Del Fabbro
,
Alexandru I. Tomescu
,
Alberto Policriti
Bioinformatics
28
(1), 2012, pp. 123-124
Counting extensional acyclic digraphs
Alberto Policriti
,
Alexandru I. Tomescu
Information Processing Letters
111
(16), 2011, pp. 787-791
Hybrid dynamics of stochastic programs
Luca Bortolussi
,
Alberto Policriti
Theoretical Computer Science
411
(20), 2010, pp. 2052-2077
Inclusion dynamics hybrid automata
Alberto Casagrande
,
Carla Piazza
,
Alberto Policriti
,
Bud Mishra
Information and Computation
206
(12), 2008, pp. 1394-1424
Symbolic graphs: Linear solutions to connectivity related problems
Raffaella Gentilini
,
Carla Piazza
,
Alberto Policriti
Algorithmica
50
(1), 2008, pp. 120-158
A complete axiomatic system for a process-based spatial logic
Radu Mardare
,
Alberto Policriti
Lecture Notes in Computer Science
5162
, 2008, pp. 491-502
An efficient algorithm for computing bisimulation equivalence
Agostino Dovier
,
Carla Piazza
,
Alberto Policriti
Theoretical Computer Science
311
(1-3), 2004, pp. 221-256
Three-variable statements of set-pairing
Andrea Formisano
,
Eugenio G. Omodeo
,
Alberto Policriti
Theoretical Computer Science
322
(1), 2004, pp. 147-173
Structured motifs search
Alberto Policriti
,
Nicola Vitacolonna
,
Michele Morgante
,
Andrea Zuccolo
Proceedings of the 8th Annual International Conference on Research in Computational Molecular Biology, RECOMB'2004 (San Diego, CA, USA, March 27-31, 2004)
, 2004, pp. 133-139
Biconnectivity on symbolically represented graphs: A linear solution
Raffaella Gentilini
,
Alberto Policriti
Lecture Notes in Computer Science
2906
, 2003, pp. 554-564
Derivability in locally quantified modal logics via translation in set theory
Angelo Montanari
,
Alberto Policriti
,
Matteo Slanina
Lecture Notes in Computer Science
1893
, 2000, pp. 559-568
A set-theoretic translation method for (poly)modal logics
Giovanna D'Agostino
,
Angelo Montanari
,
Alberto Policriti
Lecture Notes in Computer Science
900
, 1995, pp. 217-228
T
-theorem proving I
Alberto Policriti
,
Jacob T. Schwartz
Journal Symbolic Computation
20
(3), 1995, pp. 315-342
A derived algorithm for evaluating
\varepsilon
-expressions over abstract sets
Eugenio G. Omodeo
,
Franco Parlamento
,
Alberto Policriti
Journal Symbolic Computation
15
(5-6), 1993, pp. 673-704
Decision procedures for set/hyperset contexts.
Eugenio G. Omodeo
,
Alberto Policriti
Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '93 (Gmunden, Austria, September 15-17, 1993)
LNCS 722
, 1993, pp. 192-215