Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Christian Sternagel, René Thiemann |
A Formalization of Knuth-Bendix Orders. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Achim D. Brucker, Michael Herzberg |
A Formalization of Web Components. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Formalization of Forcing in Isabelle/ZF. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider 0001, Dmitriy Traytel |
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Lukas Heimes, Dmitriy Traytel, Joshua Schneider 0001 |
Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Andrei Popescu 0001, Dmitriy Traytel |
An Abstract Formalization of Gödel's Incompleteness Theorems. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Achim D. Brucker, Michael Herzberg |
A Formalization of Safely Composable Web Components. |
Arch. Formal Proofs |
2020 |
DBLP BibTeX RDF |
|
13 | Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
A Library for Formalization of Linear Error-Correcting Codes. |
J. Autom. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Qi Wang 0026, Thierry Artières, Sylvain Takerkart |
Inter-subject pattern analysis for multivariate group analysis of functional neuroimaging. A unifying formalization. |
Comput. Methods Programs Biomed. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Frantisek Silvási, Martin Tomásek |
Lean formalization of bounded grids and computable cellular automata defined thereover. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B formalization of a variability-aware component model patterns framework. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | François Bry |
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. |
Theory Pract. Log. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shanyan Chen, Guohui Wang, Ximeng Li 0003, Qianying Zhang, Zhi-Ping Shi 0002, Yong Guan |
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Chunna Zhao, Murong Jiang, Yaqun Huang, Dali Chen |
Formalization of fractional calculus and fractional order PI controller. |
J. Comput. Methods Sci. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yong Guan, Jie Zhang 0074, Zhiping Shi 0002, Yi Wang 0003, Yongdong Li |
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. |
J. Syst. Archit. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Karoline Saatkamp, Uwe Breitenbücher, Oliver Kopp, Frank Leymann |
Method, formalization, and algorithms to split topology models for distributed cloud application deployments. |
Computing |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mehdi Saqalli |
Redonner son poids au social : Formalisation d'une démarche intégrant facteurs socio-anthropologiques et environnementaux dans les approches d'observation et de modélisation des Systèmes Socio-écologiques Ruraux. (Giving back its weight to the society: Formalization of an approach integrating socio-anthropological and environmental factors in the observation and modeling approaches of Rural Socio-Ecological Systems). |
|
2020 |
RDF |
|
13 | Maxence Delong, Baptiste David, Eric Filiol |
Detection of Crawler Traps: Formalization and Implementation Defeating Protection on Internet and on the TOR Network. |
ICISSP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Salah Hamdoun |
Technology and the Formalization of the Informal Economy. |
ISTAS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff |
Formalization of Interstate Traffic Rules in Temporal Logic. |
IV |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
Formalization and Verification of VANET. |
SEKE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Vincent Iampietro, David Andreu 0001, David Delahaye |
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets. |
PNSE@Petri Nets |
2020 |
DBLP BibTeX RDF |
|
13 | Felix Lindner 0001 |
Towards a Formalization of Explanations for Robots' Actions and Beliefs. |
JOWO |
2020 |
DBLP BibTeX RDF |
|
13 | Charles Lesire, David Doose, Christophe Grand |
Formalization of Robot Skills with Descriptive and Operational Models. |
IROS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Said Fathalla, Sören Auer, Christoph Lange 0002 |
Towards the semantic formalization of science. |
SAC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi |
Production Recipe Validation through Formalization and Digital Twin Generation. |
DATE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer |
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX. |
DSD |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yaoshun Fu, Wensheng Yu |
A Formalization of Properties of Continuous Functions on Closed Intervals. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
SMT-Friendly Formalization of the Solidity Memory Model. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yuler Montalvo, Vidal Aramburu, Nestor Mamani-Macedo, Carlos Raymundo Ibañez, Francisco Dominguez |
Public Management Model with a Sustainable Development Approach Based on Lean Six Sigma: Formalization of Small-Scale and Artisanal Mining in Peru. |
IHIET (Lausanne) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Martin Rohrmeier |
Towards a Formalization of Musical Rhythm. |
ISMIR |
2020 |
DBLP BibTeX RDF |
|
13 | Mattia Lecci, Michele Polese, Chiehping Lai, Jian Wang 0098, Camillo Gentile, Nada Golmie, Michele Zorzi |
Quasi-Deterministic Channel Model for mmWaves: Mathematical Formalization and Validation. |
GLOBECOM |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Formalization of Forcing in Isabelle/ZF. |
IJCAR (2) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Cecilia Manzino, Alberto Pardo |
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. |
LSFA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Alireza Shirvani, Stephen G. Ware |
A Formalization of Emotional Planning for Strong-Story Systems. |
AIIDE |
2020 |
DBLP BibTeX RDF |
|
13 | Miroslav Hudec, Radko Mesiar |
The Formalization of Asymmetry in Disjunctive Evaluation. |
IPMU (2) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Karl Palmskog, Ahmet Çelik, Milos Gligoric 0001 |
Practical Machine-Checked Formalization of Change Impact Analysis. |
TACAS (2) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul |
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. |
ICSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier |
On the Formalization of Decentralized Contact Tracing Protocols. |
OVERLAY |
2020 |
DBLP BibTeX RDF |
|
13 | Mykhailo Susla, Roman Pasichnyk, Andriy Melnyk, Natalia A. Pasichnyk, Olena Vasylkiv, Olexander Androshchuk |
Formalization of Scientific Researches Results in Corporate Knowledge Bases As a Tool of Their Accumulation. |
ACIT |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abhishek Kr Singh, Raja Natarajan |
A constructive formalization of the weak perfect graph theorem. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tomás Díaz, Federico Olmedo, Éric Tanter |
A mechanized formalization of GraphQL. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Haokun Liu, William Huang, Dhara A. Mungra, Samuel R. Bowman |
Precise Task Formalization Matters in Winograd Schema Evaluations. |
EMNLP (1) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tomer Libal, Alexander Steen |
Towards an Executable Methodology for the Formalization of Legal Texts. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Zhe Yu |
A Formalization of the Slippery Slope Argument. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Anna Bakurova, Mariia Pasichnyk, Elina Tereschenko, Yurii Filei |
Formalization of Ukrainian-Language Content for Fuzzy Product in Court. |
COLINS |
2020 |
DBLP BibTeX RDF |
|
13 | Yuki Kondo, Manabu Hagiwara, Midori Kudo |
Formalization of VT Codes and Their Single-Deletion Correcting Property in Lean. |
ISITA |
2020 |
DBLP BibTeX RDF |
|
13 | Agustín E. Martinez Suñé |
Formalization and analysis of quantitative attributes of distributed systems. |
ICSE (Companion Volume) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Bastian Wollschlaeger, Elke Eichenberg, Klaus Kabitzsch |
How to Play Tag: A Formalization of Semantic Interoperability to Catch Semantics in Building Automation. |
ETFA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Luis Carlos Suárez, David Espes, Frédéric Cuppens, Philippe Bertin, Cao-Thanh Phan, Philippe Le Parc |
Formalization of a security access control model for the 5G system. |
NOF |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. |
SMT |
2020 |
DBLP BibTeX RDF |
|
13 | Adam Naumowicz |
Dataset Description: Formalization of Elementary Number Theory in Mizar. |
CICM |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Matthew Peveler |
Building cognitive and immersive systems: architecture, implementation, and formalization. |
|
2020 |
RDF |
|
13 | Mathias Fleury |
Formalization of logical calculi in Isabelle/HOL. |
|
2020 |
RDF |
|
13 | Anas Maazu Kademi |
Formalization and modeling of cyberspace (Siber uzayin formalizasyonu ve modellenmesi) |
|
2020 |
RDF |
|
13 | Manon Froger |
Une approche d'accompagnement de la maturation BPM d'une entreprise et de la formalisation de ses processus métiers. (An approach to support the BPM maturation of a company and the formalization of its business processes). |
|
2020 |
RDF |
|
13 | Louise Sarrabezolles |
Formalization and Simulation of Bio-Inspired On-chip Dynamic Attractors for Low Power Computer Vision. (Formalisation et simulation des Attracteurs Dynamiques sur composant bio-inspiré pour une vision artificielle à faible consommation énergétique). |
|
2020 |
RDF |
|
13 | Vincent Jaillot |
3D, temporal and documented cities : formalization, visualization and navigation. (Villes numériques 3D temporelles et documentées : formalisation, visualisation et navigation). |
|
2020 |
RDF |
|
13 | John Bender, Jens Palsberg |
A formalization of Java's concurrent access modes. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
A mechanical formalization of higher-ranked polymorphic type inference. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Dudenhefner, Jakob Rehof |
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. |
Fundam. Informaticae |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Federico Joaquín, Luciano H. Tamargo, Alejandro Javier García |
A taxonomy approach for multi-context trust: Formalization and implementation. |
Expert Syst. Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jingzhi Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan, Yongdong Li |
Formalization of functional variation in HOL Light. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wei Mei |
Formalization of Fuzzy Control in Possibility Theory via Rule Extraction. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Karol Pak |
Formalization of the MRDP Theorem in the Mizar System. |
Formaliz. Math. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wattana Viriyasitavat, Li Da Xu, Zhuming Bi |
The Extension of Semantic Formalization of Service Workflow Specification Language. |
IEEE Trans. Ind. Informatics |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Milazzo, Giovanni Pardini |
Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. |
J. Intell. Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pascal Schreck, Tetsuo Ida, Laura Kovács |
Foreword - Formalization of geometry, automated and interactive geometric reasoning. |
Ann. Math. Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Vinícius Midena Ramos |
Formalization of Context-Free Language Theory. |
Bull. Symb. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wenbin Gan, Xinguo Yu, Mingshu Wang |
Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach. |
Int. J. Artif. Intell. Tools |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tianyu Sun, Wensheng Yu |
Formalization of the Axiom of Choice and its Equivalent Theorems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Jesse Michael Han, Floris van Doorn |
A formalization of forcing and the unprovability of the continuum hypothesis. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Sadok Ben Yahia |
Contributions to the Formalization and Extraction of Generic Bases of Association Rules. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Anton Mallasto, Tom C. J. Dela Haije, Aasa Feragen |
A Formalization of The Natural Gradient Method for General Similarity Measures. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Antal Spector-Zabusky, Joachim Breitner, Yao Li 0004, Stephanie Weirich |
Embracing a mechanized formalization gap. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
A Formalization of Robustness for Deep Neural Networks. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Georgia Avarikioti, Eleftherios Kokoris-Kogias, Roger Wattenhofer |
Divide and Scale: Formalization of Distributed Ledger Sharding Protocols. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar |
On the Formalization of Importance Measures using HOL Theorem Proving. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Abhishek Kr Singh, Raja Natarajan |
A Constructive Formalization of the Weak Perfect Graph Theorem. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Hai Long, Yan Zhu, Lirong Jia, Bo Gao, Jing Liu, Lihong Liu, Heinrich Herre |
An ontological framework for the formalization, organization and usage of TCM-Knowledge. |
BMC Medical Informatics Decis. Mak. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aida Kamisalic, David Riaño 0001, Suzana Kert, Tatjana Welzer, Lili Nemec Zlatolas |
Multi-level medical knowledge formalization to support medical practice for chronic diseases. |
Data Knowl. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Brun 0002, Dmitriy Traytel |
Formalization of Generic Authenticated Data Structures. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
13 | Joshua Schneider 0001, Dmitriy Traytel |
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
13 | Thibault Dardinier |
Formalization of Multiway-Join Algorithms. |
Arch. Formal Proofs |
2019 |
DBLP BibTeX RDF |
|
13 | Xavier Allamigeon, Ricardo D. Katz |
A Formalization of Convex Polyhedra Based on the Simplex Method. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Fabian Immler, Christoph Traut |
The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Li-Ming Li, Zhi-Ping Shi 0002, Yong Guan, Qianying Zhang, Yong-Dong Li |
Formalization of Geometric Algebra in HOL Light. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Yousri Mahmoud, Amy P. Felty |
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Bohua Zhan |
Formalization of the Fundamental Group in Untyped Set Theory Using Auto2. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Boutry, Gabriel Braun, Julien Narboux |
Formalization of the arithmetization of Euclidean plane geometry and applications. |
J. Symb. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zhenwei Ma, Gang Chen |
基于Coq记录的矩阵形式化方法 (Matrix Formalization Based on Coq Record). |
计算机科学 |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Haibin Cai, Hao Wu |
An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems. |
Clust. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang |
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation. |
Comput. J. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin |
Formalization and Verification of TESAC Using CSP. |
Int. J. Softw. Eng. Knowl. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zonghua Li, Xiaofeng Zhou, Zhengwei Ye |
A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level. |
Int. J. Softw. Eng. Knowl. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001 |
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. |
Automated Reasoning for Systems Biology and Medicine |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yuxiang Hong, Steven Furnell |
Organizational formalization and employee information security behavioral intentions based on an extended TPB model. |
Cyber Security |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dimia Iberraken, Lounis Adouanc, Dieumet Denis |
Multi-Controller Architecture for Reliable Autonomous Vehicle Navigation: Combination of Model-Driven and Data-Driven Formalization. |
IV |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad |
Formalization of Asymptotic Notations in HOL4. |
ICCCS |
2019 |
DBLP DOI BibTeX RDF |
|