BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × USA
1 × United Kingdom
2 × Germany
2 × Italy
3 × France
Collaborated with:
C.Piazza L.Bortolussi A.I.Tomescu A.Dovier N.Gigante N.Prezza C.D.Fabbro F.Tardivo F.Vezzi R.Gentilini A.Montanari M.Slanina A.Formisano D.Cantone V.Cutello M.Antoniotti V.Mysore F.Winkler B.Mishra
Talks about:
algorithm (3) problem (3) system (3) biolog (3) logic (3) program (2) order (2) model (2) align (2) set (2)

Person: Alberto Policriti

DBLP DBLP: Policriti:Alberto

Contributed to:

LATA 20152015
PDP 20142014
LATA 20112011
LATA 20102010
ICLP 20082008
SFM 20082008
QAPL 20072007
CAV 20052005
TACAS 20022002
CAV 20012001
KR 20002000
ILPS 19971997
CSL 19891989

Wrote 13 papers:

LATA-2015-PolicritiGP #linear
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
PDP-2014-FabbroTP #algorithm #parallel #problem
A Parallel Algorithm for the Best k-Mismatches Alignment Problem (CDF, FT, AP), pp. 586–589.
LATA-2011-PolicritiT #finite #set
Well-Quasi-Ordering Hereditarily Finite Sets (AP, AIT), pp. 440–451.
LATA-2010-PolicritiTV #random
A Randomized Numerical Aligner (rNA) (AP, AIT, FV), pp. 512–523.
ICLP-2008-PiazzaP #biology #logic #modelling
Systems Biology: Models and Logics (CP, AP), p. 14.
SFM-2008-BortolussiP #biology #hybrid
Hybrid Systems and Biology (LB, AP), pp. 424–448.
QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming
Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
CAV-2005-PiazzaAMPWM #algebra #algorithm #biology #challenge #model checking
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (CP, MA, VM, AP, FW, BM), pp. 5–19.
TACAS-2002-GentiliniPP #problem #simulation
Simulation as Coarsest Partition Problem (RG, CP, AP), pp. 415–430.
CAV-2001-DovierPP #algorithm #bisimulation #performance
A Fast Bisimulation Algorithm (AD, CP, AP), pp. 79–90.
KR-2000-MontanariPS #automation #deduction #first-order #logic
Supporting automated deduction in first-order modal logics (AM, AP, MS), pp. 547–556.
ILPS-1997-DovierFP #logic programming #on the
On T Logic Programming (AD, AF, AP), pp. 323–337.
CSL-1989-CantoneCP #problem #reduction
Set-Theoretic Reductions of Hilbert’s Tenth Problem (DC, VC, AP), pp. 65–75.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.