| Publication | Date of Publication | Type |
|---|
A self-similar solution for unsteady isothermal and adiabatic flows behind the shock wave in a dusty non-ideal rotating medium under the action of magnetic field
Physica D | 2024-02-23 | Paper |
Look for the proof to find the program: decorated-component-based program synthesis
| 2022-08-12 | Paper |
Attacking the V: on the resiliency of adaptive-horizon MPC
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Solute dispersion in non-Newtonian fluids flow through small blood vessels: a varying viscosity approach
European Journal of Mechanics. B. Fluids | 2022-05-03 | Paper |
Linear Invariants for Linear Systems
| 2021-07-18 | Paper |
Neural flocking: MPC-based supervised learning of flocking controllers
| 2020-09-23 | Paper |
ARES: adaptive receding-horizon synthesis of optimal plans
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
TeLEx: learning signal temporal logic from positive examples using tightness metric
Formal Methods in System Design | 2019-11-25 | Paper |
Sherlock - A tool for verification of neural network feedback systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer
Acta Mechanica | 2018-06-14 | Paper |
One context unification problems solvable in polynomial time
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
\(D\)-bases for polynomial ideals over commutative Noetherian rings
Rewriting Techniques and Applications | 2017-11-17 | Paper |
Two-restricted one context unification is in polynomial time
| 2017-08-31 | Paper |
Classes of term rewrite systems with polynomial confluence problems
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A search-based procedure for nonlinear real arithmetic
Formal Methods in System Design | 2017-03-28 | Paper |
Gamifying program analysis
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Severity levels of inconsistent code
Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
Program synthesis using dual interpretation
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Non-linear rewrite closure and weak normalization
Journal of Automated Reasoning | 2015-06-23 | Paper |
Verification and synthesis using real quantifier elimination
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Synthesis for Polynomial Lasso Programs
Lecture Notes in Computer Science | 2015-01-13 | Paper |
Lifting abstract interpreters to quantified logical domains
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Deductive verification of continuous dynamical systems
| 2012-10-24 | Paper |
Rewriting in Practice
| 2012-04-24 | Paper |
Hydrodynamic permeability of membranes built up by spherical particles covered by porous shells: effect of stress jump condition
Acta Mechanica | 2010-11-29 | Paper |
Termination of rewriting with right-flat rules modulo permutative theories
Logical Methods in Computer Science | 2010-09-21 | Paper |
Slow viscous flow through a membrane built up from porous cylindrical particles with an impermeable core
Applied Mathematical Modelling | 2010-05-21 | Paper |
Box invariance in biologically-inspired dynamical systems
Automatica | 2010-04-14 | Paper |
Combining equational reasoning
Frontiers of Combining Systems | 2010-01-07 | Paper |
Context unification with one context variable
Journal of Symbolic Computation | 2009-12-03 | Paper |
Invariant Checking for Programs with Procedure Calls
Static Analysis | 2009-08-18 | Paper |
Logical Interpretation: Static Program Analysis Using Theorem Proving
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Synthesizing Switching Logic Using Constraint Solving
Lecture Notes in Computer Science | 2009-02-10 | Paper |
On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates
Applied Mathematics and Computation | 2009-01-14 | Paper |
Generating Box Invariants
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Constraint-Based Approach for Analysis of Hybrid Systems
Computer Aided Verification | 2008-07-15 | Paper |
Assertion Checking Unified
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Abstractions for hybrid systems
Formal Methods in System Design | 2008-03-11 | Paper |
Termination of Rewriting with Right-Flat Rules
Lecture Notes in Computer Science | 2008-01-02 | Paper |
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
Computer Aided Verification | 2007-11-29 | Paper |
Analyzing Pathways Using SAT-Based Approaches
Algebraic Biology | 2007-11-29 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Computing Procedure Summaries for Interprocedural Analysis
Programming Languages and Systems | 2007-09-04 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
Deciding confluence of certain term rewriting systems in polynomial time
Annals of Pure and Applied Logic | 2004-11-18 | Paper |
Characterizing confluence by rewrite closure and right ground term rewrite systems
Applicable Algebra in Engineering, Communication and Computing | 2004-10-28 | Paper |
scientific article; zbMATH DE number 2085344 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2081116 (Why is no real title available?)
| 2004-08-04 | Paper |
Abstract congruence closure
Journal of Automated Reasoning | 2004-03-15 | Paper |
scientific article; zbMATH DE number 2038889 (Why is no real title available?)
| 2004-02-08 | Paper |
scientific article; zbMATH DE number 1962804 (Why is no real title available?)
| 2003-08-11 | Paper |
scientific article; zbMATH DE number 1956633 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1956651 (Why is no real title available?)
| 2003-07-30 | Paper |
Method of the summation of a complicated series appearing in problems on electromagnetics
Indian Journal of Pure & Applied Mathematics | 2002-12-05 | Paper |
scientific article; zbMATH DE number 1701754 (Why is no real title available?)
| 2002-02-05 | Paper |
scientific article; zbMATH DE number 1614698 (Why is no real title available?)
| 2001-07-05 | Paper |
scientific article; zbMATH DE number 1614687 (Why is no real title available?)
| 2001-07-05 | Paper |
scientific article; zbMATH DE number 1538018 (Why is no real title available?)
| 2001-06-13 | Paper |
A greedy genetic algorithm for the quadratic assignment problem
Computers & Operations Research | 2000-09-04 | Paper |
scientific article; zbMATH DE number 1405627 (Why is no real title available?)
| 2000-02-23 | Paper |
