Facultatea de Informatică

Universitatea Alexandru Ioan Cuza, România

  • Alexandru Ioan Cuza University, Romania
 
  • Home
  • Faculty
    • Presentation
    • Facilities
    • Industrial Partners
    • Contact
  • Structure
    • Management
    • Technical and administrative staff
  • Degree programs
    • Overview
    • Undergraduate studies
    • Master Studies
    • Doctoral School
  • Research
    • Research @ FII
    • Scientific Annals of Computer Science
    • Technical Reports
  • English
  • Home
  • Faculty
    • Presentation
    • Facilities
    • Industrial Partners
    • Contact
  • Structure
    • Management
    • Technical and administrative staff
  • Degree programs
    • Overview
    • Undergraduate studies
    • Master Studies
    • Doctoral School
  • Research
    • Research @ FII
    • Scientific Annals of Computer Science
    • Technical Reports
  • English

Scientific Annals

  • About
  • Editorial Board
  • Submissions
  • Current Issue
  • Archive
 
 

Articles

 
  • 21 December 2020 /

    Probabilistic Process Algebra and Strategic Interleaving

     
  •  
  • 21 December 2020 /

    Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation

     
  •  
  • 21 December 2020 /

    Instruction Sequence Faults with Formal Change Justification

     
  •  
  • 20 August 2020 /

    A Complete Axiomatisation for Probabilistic Trace Equivalence

     
  •  
  • 20 August 2020

    A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation

     
  • 20 August 2020

    An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs

     
  • 20 August 2020

    Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers

     
  • 30 December 2019

    Identifying and Querying Regularly Visited Places

     
  • 30 December 2019

    Generalising KAT to Verify Weighted Computations

     
  • 30 December 2019

    Program Algebra for Turing-Machine Programs

     
 
1 2 3 … 27 Next →
 
 

Legături Rapide

  • Anul Universitar 2020 – 2021
  • Orar
  • Companii IT @ FII
  • Relaţii internaţionale
  • ROSE – InFIInit
  • Webmail (Studenți)
  • Webmail (Profesori)
  • Sims Web
  • Grade didactice – Perfecţionare Preuniversitară
 
 
 
 
 
 

© 1992-2020 Facultatea de Informatică, Universitatea ,,Alexandru Ioan Cuza" din Iași, Romania. Toate drepturile rezervate.

WordPress Theme by WPZOOM