Issue Date | **Title** | Author(s) | Publisher |

2013 | **Approximate Model Checking of Real-Time Systems for Linear Duration Invariants** | *Choe, Changil; O., Hyong-Chol; Han, Song* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2010 | **Approximating the MaxMin and MinMax Area Triangulations using Angular Constraints** | *Mark Keil, J; Vassilev, Tzvetalin* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2012 | **Article Disassembly - New Ways to Handle Information in Publications** | *Holl, András* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2012 | **AstroWeb – A Graphical Representation of an Astronomical WFPDB Database Using a Web-Based Open Source Geographical Information System** | *Kolev, Alexander; Tsvetkov, Milcho; Dimov, Dimo; Kalaglarsky, Damyan* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2007 | **Auctions with Untrustworthy Bidders** | *Braynov, Sviatoslav; Pavlov, Radoslav* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2009 | **Automatic Identification of False Friends in Parallel Corpora: Statistical and Semantic Approach** | *Nakov, Svetlin* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2010 | **A Bayesian Spatial Mixture Model for FMRI Analysis** | *Geliazkova, Maya* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2012 | **A Bimodality Test in High Dimensions** | *Palejev, Dean* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2012 | **BPMN Analysis of Public Procurement** | *Semerdjieva, Maria; Krastev, Evgeniy* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2009 | **CAPS in Z(2,n)** | *Kurz, Sascha* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2014 | **Classification of Paintings by Artist, Movement, and Indoor Setting Using MPEG-7 Descriptor Features** | *Welch, Charles* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2009 | **Classification Trees as a Technique for Creating Anomaly-Based Intrusion Detection Systems** | *Jecheva, Veselina; Nikolova, Evgeniya* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2013 | **Classifier PGN: Classification with High Confidence Rules** | *Mitov, Iliya; Depaire, Benoit; Ivanova, Krassimira; Vanhoof, Koen* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2007 | **Comparative Analysis: A Feasible Software Engineering Method** | *Maneva, Nelly* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2009 | **The Computational Analysis of Bulgarian Dialect Pronunciation** | *Prokić, Jelena; Nerbonne, John; Zhobov, Vladimir; Osenova, Petya; Simov, Kiril; Zastrow, Thomas; Hinrichs, Erhard* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2007 | **A Computer Algebra Application to Determination of Lie Symmetries of Partial Differential Equations** | *Pulov, Vladimir; Chacarov, Edy; Uzunov, Ivan* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2010 | **Computer-Assisted Proofs and Symbolic Computations** | *Krämer, Walter* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2010 | **Computer Networks Security Models - A New Approach for Denial-of-Services Attacks Mitigation** | *Tsvetanov, Tsvetomir* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2007 | **Computing and Visualizing Solution Sets of Interval Linear Systems** | *Krämer, Walter* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |

2009 | **Computing with the Square Root of NOT** | *De Vos, Alexis; De Beule, Jan; Storme, Leo* | *Institute of Mathematics and Informatics Bulgarian Academy of Sciences* |