dblp.uni-trier.dewww.uni-trier.de

Pavel Gladyshev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
5EEPavel Gladyshev, Andreas Enbacka: Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method. IJDE 6(2): (2007)
2005
4EEPavel Gladyshev: Finite State Machine Analysis of a Blackmail Investigation. IJDE 4(1): (2005)
3EEPavel Gladyshev, Ahmed Patel: Formalising Event Time Bounding in Digital Investigations. IJDE 4(2): (2005)
2004
2EEPavel Gladyshev, Ahmed Patel: Finite state machine approach to digital event reconstruction. Digital Investigation 1(2): 130-149 (2004)
1998
1 Pavel Gladyshev, Ahmed Patel, Donal O'Mahony: Cracking RC5 with Java applets. Concurrency - Practice and Experience 10(11-13): 1165-1171 (1998)

Coauthor Index

1Andreas Enbacka [5]
2Donal O'Mahony [1]
3Ahmed Patel [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)