Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Seid Kassaw Muhie, Daniele Ettore Otera, Francesco G. Russo |
Factorization number and subgroup commutativity degree via spectral invariants. |
Comput. Appl. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Abiam Tamburrini, Sergio M. Davis, Pablo S. Moya |
Evaluating the Adiabatic Invariants in Magnetized Plasmas Using a Classical Ehrenfest Theorem. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yunmei Zhao, Zhenyue Chen, Yiqun Dong |
Compliance Prediction for Structural Topology Optimization on the Basis of Moment Invariants and a Generalized Regression Neural Network. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tullia Padellini, Pierpaolo Brutti |
Persistence Flamelets: Topological Invariants for Scale Spaces. |
J. Comput. Graph. Stat. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Bing He, Jun Liu, Guancheng Lin, Cheng Peng, Wenqiang Xi |
Quaternion fractional-order weighted generalized Laguerre-Fourier moments and moment invariants for color image analysis. |
Signal Process. Image Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Nuno Faria, José Pereira 0001 |
MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting. |
Proc. ACM Manag. Data |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dalibor Cimr, Damián Busovský, Hamido Fujita, Filip Studnicka, Richard Cimler, Toshitaka Hayashi |
Classification of health deterioration by geometric invariants. |
Comput. Methods Programs Biomed. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hao Wu 0017 |
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver |
Machine learning invariants of arithmetic curves. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Shayea Aldossari |
Computing pullback function of second order differential operators by using their semi-invariants. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Alessio Caminata, Elisa Gorla |
Solving degree, last fall degree, and related invariants. |
J. Symb. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Mario Jardón Santos |
Questions on cardinal invariants of Boolean algebras. |
Arch. Math. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jan Flusser, Matej Lébl, Filip Sroubek, Matteo Pedone, Jitka Kostková |
Blur Invariants for Image Recognition. |
Int. J. Comput. Vis. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Peter Illig, Robert Thompson 0007, Qimeng Yu |
Application of Integral Invariants to Apictorial Jigsaw Puzzle Assembly. |
J. Math. Imaging Vis. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ivan Yu. Mogilnykh, Faina I. Solov'eva |
Constructions and Invariants of Optimal Codes in the Lee Metric. |
Probl. Inf. Transm. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Eldad Kronfeld, Emil Saucan |
Metric Invariants for Networks' Classification. |
COMPLEX NETWORKS (3) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Avraham Itzhakov, Michael Codish |
Breaking Symmetries with High Dimensional Graph Invariants and Their Combination. |
CPAIOR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
Collaborative Inference of Combined Invariants. |
LPAR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Quelen Cartellier, Marc Frappier, Amel Mammar |
Proving Local Invariants in ASTDs. |
ICFEM |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Junjie Shen 0001, Ziwen Wan, Yunpeng Luo, Yiheng Feng, Z. Morley Mao, Qi Alfred Chen |
Detecting Data Spoofing in Connected Vehicle based Intelligent Traffic Signal Control using Infrastructure-Side Sensors and Traffic Invariants. |
IV |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yann Thierry-Mieg |
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
11 | Dominic Steinhöfel, Andreas Zeller |
Input Invariants. |
Software Engineering |
2023 |
DBLP BibTeX RDF |
|
11 | Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta |
Set-Based Invariants over Polynomial Systems. |
CILC |
2023 |
DBLP BibTeX RDF |
|
11 | Ricardo G. Sanfelice, Andrew R. Teel |
On Invariants for Open Hybrid Systems and their Interconnections. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jan Flusser, Tomás Suk, Matej Lébl, Roxana Bujack, Ibrahim Ibrahim |
Affine Moment Invariants of Tensor Fields. |
SCIA (1) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jens Agerberg, Wojciech Chachólski, Ryan Ramanujam |
Global and Relative Topological Features from Homological Invariants of Subsampled Datasets. |
TAG-ML |
2023 |
DBLP BibTeX RDF |
|
11 | Katerina V. Sklyar, Svetlana Yu. Ignatovich, Grigory M. Sklyar |
Linearizability problem and invariants for multi-input non-autonomous control systems. |
MED |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Aleksandar S. Dimovski |
Error Invariants for Fault Localization via Abstract Interpretation. |
SAS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Anthony Kim, Jeffery A. Pitcock, Justin Zhang 0006 |
Efficient Computation of Causality in Globally Hyperbolic Spacetimes Using Link Invariants and Relevant Applications to Quantum Computing. |
QCE |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Widdowson, Vitaliy Kurlin |
Recognizing Rigid Patterns of Unlabeled Point Clouds by Complete and Continuous Isometry Invariants with no False Negatives and no False Positives. |
CVPR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. |
TACAS (2) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Roy Velich, Ron Kimmel |
Learning Differential Invariants of Planar Curves. |
SSVM |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma 0001, Nikhil Swamy |
Ranking LLM-Generated Loop Invariants for Program Verification. |
EMNLP (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Arkesh Thakkar, Deepak D'Souza |
Data-Driven Learning of Strong Conjunctive Invariants. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jan Flusser, Tomás Suk, Leonid Bedratyuk, Tomás Karella |
3D Non-separable Moment Invariants. |
CAIP (1) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, Pengcheng Yin |
Can Large Language Models Reason about Program Invariants? |
ICML |
2023 |
DBLP BibTeX RDF |
|
11 | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Safety Verification and Universal Invariants for Relational Action Bases. |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Irina A. Kogan |
Invariants: Computation and Applications. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
11 | George Kenison, Laura Kovács, Anton Varonka |
From Polynomial Invariants to Linear Loops. |
ISSAC |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hubert Leterme |
A Complex Wavelet Approach for Shift-Invariant Convolutional Neural Networks. (Ondelettes Complexes pour des Réseaux de Neurones Convolutifs Invariants par Translation). |
|
2023 |
RDF |
|
11 | Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken |
Induction duality: primal-dual search for invariants. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Javier Esparza, Mikhail A. Raskin, Christoph Welzel |
Computing Parameterized Invariants of Parameterized Petri Nets. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jesús Arturo Jiménez González |
Coxeter Invariants for Non-negative Unit Forms of Dynkin Type r. |
Fundam. Informaticae |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Akmal-Jahan Mohamed-Abdul-Cader, Kien Nguyen Thanh, Jasmine Banks, Vinod Chandran |
HOS-FingerCode: Bispectral invariants based contactless multi-finger recognition system using ridge orientation and feature fusion. |
Expert Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shaojun Yang 0001, Xinyi Huang 0001 |
Convex invariants of M-fuzzifying convex spaces. |
J. Intell. Fuzzy Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shahid Zaman |
Spectral analysis of three invariants associated to random walks on rounded networks with 2n-pentagons. |
Int. J. Comput. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Hao Wu 0017 |
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. |
J. Object Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Shaull Almagor, Dmitry Chistikov 0001, Joël Ouaknine, James Worrell 0001 |
O-Minimal Invariants for Discrete-Time Dynamical Systems. |
ACM Trans. Comput. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Izgin, Stefan Kopecz, Andreas Meister 0003 |
On the Stability of Unconditionally Positive and Linear Invariants Preserving Time Integration Schemes. |
SIAM J. Numer. Anal. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Guilong Liu |
Attribute Reduction Algorithms Determined by Invariants for Decision Tables. |
Cogn. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Leonid Bedratyuk, Jan Flusser, Tomás Suk, Jitka Kostková, Jaroslav Kautsky |
Non-separable rotation moment invariants. |
Pattern Recognit. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Huan Lao, Xuejun Zhang |
Diagnose Alzheimer's disease by combining 3D discrete wavelet transform and 3D moment invariants. |
IET Image Process. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Modjtaba Ghorbani, Mardjan Hakimi-Nezhaad |
Analytical discussion on Sugammadex molecules by means of graph invariants. |
J. Appl. Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Pradeep Singh, Vijay Kumar Bhat |
Graph invariants of the line graph of zero divisor graph of $$\mathbb {Z}_{n}$$. |
J. Appl. Math. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Zeyu Yang, Liang He 0002, Hua Yu, Chengcheng Zhao, Peng Cheng 0001, Jiming Chen 0001 |
Detecting PLC Intrusions Using Control Invariants. |
IEEE Internet Things J. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Nikolay S. Kaleyski |
Deciding EA-equivalence via invariants. |
Cryptogr. Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jason P. Bell |
Topological invariants for words of linear factor complexity. |
Adv. Appl. Math. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Achraf Daoui, Hicham Karmouni, Mhamed Sayyouri, Hassan Qjidaa |
Robust 2D and 3D images zero - watermarking using dual Hahn moment invariants and Sine Cosine Algorithm. |
Multim. Tools Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Ilham Elouariachi, Rachid Benouini, Khalid Zenkouar, Arsalane Zarghili, Hakim el Fadili |
RGB-D feature extraction method for hand gesture recognition based on a new fast and accurate multi-channel cartesian Jacobi moment invariants. |
Multim. Tools Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Winter Sinkala, Molahlehi Charles Kakuli |
On the Method of Differential Invariants for Solving Higher Order Ordinary Differential Equations. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jun Yin, Haixing Zhao, Sun Xie |
Spectral Invariants and Their Application on Spectral Characterization of Graphs. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Nenad O. Vesic, Vladislava M. Milenkovic, Mica S. Stankovic |
Two Invariants for Geometric Mappings. |
Axioms |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Samuel Pine, Matthew Ferrara |
Geometric Invariants for Radar Motion Estimation. |
IEEE Trans. Geosci. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Qingzhu Li, Zhining Li, Zhiyong Shi, Hongbo Fan |
Multi-Target Magnetic Positioning Using SAFCM Clustering and Invariants-Improved Tilt Angle. |
IEEE Trans. Geosci. Remote. Sens. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Yanlin Li, Nadia Alluhaibi, Rashad A. Abdel-Baky |
One-Parameter Lorentzian Dual Spherical Movements and Invariants of the Axodes. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Neslihan Gügümcü, Bostjan Gabrovsek, Louis H. Kauffman |
Invariants of Bonded Knotoids and Applications to Protein Folding. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Olga B. Kudryashova |
Dispersed Systems: Physics, Optics, Invariants, Symmetry. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lina Ji, Xiankang Luo, Jiao Zeng, Min Xiao, Yuanhua Meng |
First-Order Sign-Invariants and Exact Solutions of the Radially Symmetric Nonlinear Diffusion Equations with Gradient-Dependent Diffusivities. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Osvaldo Guzmán González |
P-points, MAD families and Cardinal Invariants. |
Bull. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Lu Li |
A new symmetric linearly implicit exponential integrator preserving polynomial invariants or Lyapunov functions for conservative or dissipative systems. |
J. Comput. Phys. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Michel Lavrauw, Tomasz Popiel, John Sheekey |
Combinatorial invariants for nets of conics in $\mathrm {PG}(2, q)$. |
Des. Codes Cryptogr. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | John D. LaGrange |
Divisor graphs and isotopy invariants of commutative quasigroups. |
J. Comb. Theory, Ser. A |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Dmitry A. Kondratyev, Valery A. Nepomniaschy |
Automation of C Program Deductive Verification without Using Loop Invariants. |
Program. Comput. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Dmitrii I. Koshelev |
Optimal Encodings to Elliptic Curves of \(\boldsymbol{j}\)-Invariants 0, 1728. |
SIAM J. Appl. Algebra Geom. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001 |
Approximate verification of concurrent systems using token structures and invariants. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat |
Full-program induction: verifying array programs sans loop invariants. |
Int. J. Softw. Tools Technol. Transf. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Reza Aghayan |
Generating Visual Invariants -a New Approach to Invariant Recognition. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer |
Using Symbolic States to Infer Numerical Invariants. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker 0001 |
Modular Control Plane Verification via Temporal Invariants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Danish Hudani, Muhammad Haseeb, Muhammad Taufiq, Muhammad Azmi Umer, Nandha Kumar Kandasamy |
A Data-Centric Approach to Generate Invariants for a Smart Grid Using Machine Learning. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Thomas Izgin, Stefan Kopecz, Andreas Meister 0003 |
On the Stability of Unconditionally Positive and Linear Invariants Preserving Time Integration Schemes. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Shun Sato, Yuto Miyatake, John C. Butcher |
High-order linearly implicit schemes conserving quadratic invariants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Vitaliy Kurlin |
Computable complete invariants for finite clouds of unlabeled points under Euclidean isometry. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Elisa Gorla, Cristina Landolina |
Quasi optimal anticodes: structure and invariants. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | João Araújo 0002, Choiwah Chow, Mikolás Janota |
Boosting Isomorphic Model Filtering with Invariants. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Chao Wang, Zhiqiu Huang, Shu-Ren Qi, Yaoshen Yu, Guohua Shen |
Shrinking the Semantic Gap: Spatial Pooling of Local Moment Invariants for Copy-Move Forgery Detection. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Supratik Chakraborty, Ashutosh Gupta 0001, Divyesh Unadkat |
Full-Program Induction: Verifying Array Programs sans Loop Invariants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Qiuye Wang, Mingshuai Chen, Bai Xue 0001, Naijun Zhan, Joost-Pieter Katoen |
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Jason P. Bell |
Topological invariants for words of linear factor complexity. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Dominic Steinhöfel, Andreas Zeller |
Electronic Appendix to "Input Invariants". |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Kilian Ollivier, Chiara Boldrini, Andrea Passarella, Marco Conti |
Structural invariants and semantic fingerprints in the "ego network" of words. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura |
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Hanlin Mo, Hua Li 0009, Guoying Zhao 0001 |
Gaussian-Hermite Moment Invariants of General Vector Functions to Rotation-Affine Transform. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Roy Velich, Ron Kimmel |
Deep Signatures - Learning Invariants of Planar Curves. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Tomoki Ohsawa |
Preservation of Quadratic Invariants by Semiexplicit Symplectic Integrators for Non-separable Hamiltonian Systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Théo Karaboghossian |
Combinatorial expressions of Hopf polynomial invariants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Allison Irvine, Tan Dang, Murat Dundar, Bartek Rajwa |
IM: An R-Package for Computation of Image Moments and Moment Invariants. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Elisa Gorla, Alberto Ravagnani |
Generalized weights of codes over rings and invariants of monomial ideals. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
11 | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|