Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Csaba Debreceni

Incremental Backward Change Propagation of View Models by Logic Solvers*

2016English

Query-Based Access Control for Secure Collaborative Modeling Using Bidirectional Transformations*

2016English

Related publications

Iterative and Incremental Model Generation by Logic Solvers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

The Logic of Backward Induction

Journal of Economic Theory
EconomicsEconometrics
2015English

Incremental Analysis of Logic Programs

1995English

Forward Versus Backward Verification of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Two-View Orthographic Epipolar Geometry: Minimal and Optimal Solvers

Journal of Mathematical Imaging and Vision
StatisticsPattern RecognitionCondensed Matter PhysicsProbabilityGeometryApplied MathematicsSimulationComputer VisionModelingTopology
2017English

Extensions to Backward Propagation of Variance for Statistical Modeling

IEEE Design & Test of Computers
2010English

Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras

English

Minimal Warping: Planning Incremental Novel-View Synthesis

Computer Graphics Forum
Computer NetworksComputer GraphicsComputer-Aided DesignCommunications
2017English

Chemical Mechanism Solvers in Air Quality Models

ATMOSPHERE
Atmospheric ScienceEnvironmental Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy