Simulation Relations among Message Passing and Mobile Agent Algorithms Submitted by admin on Sun, 16/10/2022 - 08:36 Read more about Simulation Relations among Message Passing and Mobile Agent Algorithms
Sorting and Selection Problems in Partially Ordered Sets Submitted by admin on Wed, 28/09/2022 - 09:38 Read more about Sorting and Selection Problems in Partially Ordered Sets
A Survey of Zero-Knowledge Succinct Non-Interactive Arguments with preprocessing Submitted by admin on Thu, 22/09/2022 - 13:43 Read more about A Survey of Zero-Knowledge Succinct Non-Interactive Arguments with preprocessing
Academic Year 2021-2022 Submitted by admin on Wed, 14/09/2022 - 15:47 Read more about Academic Year 2021-2022
A Survey of Probabilistic Reasoning in Justification Logic Submitted by admin on Thu, 01/09/2022 - 14:30 Read more about A Survey of Probabilistic Reasoning in Justification Logic
Parametric Overview of the Feedback Vertex Set Submitted by admin on Sat, 18/06/2022 - 10:36 Read more about Parametric Overview of the Feedback Vertex Set
Minor-Obstructions for Apex Pseudoforests Submitted by admin on Sat, 12/03/2022 - 11:01 Read more about Minor-Obstructions for Apex Pseudoforests
Upper Bounds on the number of embeddings of minimally rigid graphs Submitted by admin on Fri, 08/10/2021 - 10:51 Read more about Upper Bounds on the number of embeddings of minimally rigid graphs