Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Valentin Champciaux, Juan Carlos Garcia Hernandez, Mathieu Agelou |
A breakdown of the pseudo-deterministic transport variance reduction method: Formalization and usage considerations. |
Comput. Phys. Commun. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | David Rozas, Steven Huckle |
Loosen control without losing control: Formalization and decentralization within commons-based peer production. |
J. Assoc. Inf. Sci. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
Towards an Extrinsic Formalization of Featherweight Java in Agda. |
CLEI Electron. J. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Nadia Hoggas |
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. |
Comput. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Bastian Tenbergen, Thorsten Weyer |
Generation of hazard relation diagrams: formalization and tool support. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Pavel Chuprikov, Alex Davydow, Kirill Kogan, Sergey I. Nikolenko, Alexander Sirotkin 0001 |
Formalization and taxonomy of compute-aggregate problems for cloud computing applications. |
Comput. Networks |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Alexandr Yu. Yurin, Nikita O. Dorodnykh, Alexey O. Shigarov |
Semi-Automated Formalization and Representation of the Engineering Knowledge Extracted From Spreadsheet Data. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Esin Ergen, Behlul Kula, Gursans Guven, Deniz Artan |
Formalization of Occupant Feedback and Integration with BIM in Office Buildings. |
J. Comput. Civ. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Andreas Deenen, Bardia Sharif, Sebastiaan van den Eijnden, Hendrik Nijmeijer, Maurice Heemels, Marcel Heertjes |
Projection-based integrators for improved motion control: Formalization, well-posedness and stability of hybrid integrator-gain systems. |
Autom. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Marta Caro-Martínez, Guillermo Jiménez-Díaz, Juan A. Recio-García |
Conceptual Modeling of Explainable Recommender Systems: An Ontological Formalization to Guide Their Design and Development. |
J. Artif. Intell. Res. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero |
A Coq Formalization of Lebesgue Integration of Nonnegative Functions. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Thibaut Benjamin |
Formalization of dependent type theory: The example of CaTT. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras |
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Mariam Nour, Mohamed H. Zaki |
Towards formalization and monitoring of microscopic traffic parameters using temporal logic. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio |
A formalization of Dedekind domains and class groups of global fields. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just |
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Vincenzo Daponte, Gilles Falquet |
An ontology for the formalization and visualization of scientific knowledge. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Muhammad Ahmed, Adnan Rashid |
Formalization of Transform Methods in Higher-order Logic: A Survey. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Marius Krumm, Markus P. Müller |
Computational irreducibility and compatibilism: towards a formalization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Ujala Qasim, Adnan Rashid, Osman Hasan |
Formalization of Bond Graph using Higher-order-logic Theorem Proving. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Alexandre Obadia, Alejo Salles, Lakshman Sankar, Tarun Chitra, Vaibhav Chellani, Philip Daian |
Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Colin Shea-Blymyer, Houssam Abbas |
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Tobias Nipkow, Simon Roßkopf |
Isabelle's Metalogic: Formalization and Proof Checker. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Colin Shea-Blymyer, Houssam Abbas |
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations. |
ACM Trans. Cyber Phys. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Baptiste David, Maxence Delong, Eric Filiol |
Detection of crawler traps: formalization and implementation - defeating protection on internet and on the TOR network. |
J. Comput. Virol. Hacking Tech. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ran Li, Huibiao Zhu, Jiaqi Yin |
Formalization and Analysis of Ceph Using Process Algebra. |
IEICE Trans. Inf. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mikhail Krasnyanskiy, Artem Obukhov, Denis Dedov |
Formalization of the Burning Process of Virtual Reality Objects in Adaptive Training Complexes. |
J. Imaging |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Christian Sternagel, René Thiemann, Akihisa Yamada 0002 |
A Formalization of Weighted Path Orders and Recursive Path Orders. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
13 | Matthias Brun 0002, Sára Decova, Andrea Lattuada, Dmitriy Traytel |
Formalization of Timely Dataflow's Progress Tracking Protocol. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
13 | Tobias Nipkow, Simon Roßkopf |
Isabelle's Metalogic: Formalization and Proof Checker. |
Arch. Formal Proofs |
2021 |
DBLP BibTeX RDF |
|
13 | Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann |
Automated formalization of structured natural language requirements. |
Inf. Softw. Technol. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Wilfried Sieg, Patrick Walsh |
Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF. |
Rev. Symb. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón |
Formalization of Ring Theory in PVS. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li 0003, Zhiping Shi 0002, Yongdong Li |
Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Danijela Simic, Filip Maric, Pierre Boutry |
Formalization of the Poincaré Disc Model of Hyperbolic Geometry. |
J. Autom. Reason. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Maletzky |
A generic and executable formalization of signature-based Gröbner basis algorithms. |
J. Symb. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Kenji Ohmori |
Formalization of Kublai Khan's globalization using Kunii's incrementally modular abstraction hierarchy. |
Vis. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Safia Nait Bahloul, Mohammed Walid Krakallah |
Formalization of Access Control Based on Observers Automata. |
Int. J. Syst. Syst. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Hanna Krasowski, Matthias Althoff |
Temporal Logic Formalization of Marine Traffic Rules. |
IV |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zhiru Hou, Jiaqi Yin, Huibiao Zhu |
Formalization and Verification of Dubbo Using CSP. |
SEKE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | João R. M. Nicola, Giancarlo Guizzardi |
On the Role of Automated Proof-Assistants in the Formalization of Upper Ontologies. |
JOWO |
2021 |
DBLP BibTeX RDF |
|
13 | Yezhi Yuan, Jing Xie, YunYan Huang |
The Experience and Enlightenment of Thailand's Chatuchak Weekend Market on the Development of the Formalization of the Chinese Vendor Economy. |
ICIBE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Viktoria Koscinski, Celeste Gambardella, Estey Gerstner, Mark Zappavigna, Jennifer Cassetti, Mehdi Mirakhorli |
A Natural Language Processing Technique for Formalization of Systems Requirement Specifications. |
RE Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Language and Communication Problems in Formalization: A Natural Language Approach. |
Logic, Computation and Rigorous Methods |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Robin Gröpler, Viju Sudhi, Emilio José Calleja García, Andre Bergmann |
NLP-Based Requirements Formalization for Automatic Test Case Generation. |
CS&P |
2021 |
DBLP BibTeX RDF |
|
13 | Viju Sudhi, Libin Kutty, Robin Gröpler |
Natural Language Processing for Requirements Formalization: How to Derive New Approaches? |
CS&P (Revised Selected Papers) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Asta Halkjær From |
A Succinct Formalization of the Completeness of First-Order Logic. |
TYPES |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Honoré Hounwanou, Laila Boumlik, Mohamed Mejri |
Toward the Formalization of Business Process Model and Notation. |
SoMeT |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Esteban Guerrero, Helena Lindgren |
Typologies of Persuasive Strategies and Content: A Formalization Using Argumentation. |
PAAMS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Esteban Guerrero |
Causal Interventions and Argumentation-Based Frameworks: Formalization of "What If" Scenarios. |
PAAMS (Workshops) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Nipkow, Simon Roßkopf |
Isabelle's Metalogic: Formalization and Proof Checker. |
CADE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yue Tang, Yang Xu 0001, Peiyao Liu, Guoyan Zeng |
Formalization and Verification of Cyclic Group. |
ISKE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Paul Bodeveix, Mamoun Filali |
Event-B Formalization of Event-B Contexts. |
ABZ |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Oleg Mashkov, Taras Ivashchenko, Waldemar Wójcik, Yuriy Bardachov, Viktor Kozel |
Method of Mathematical and Geoinformation Models Integration Based On Unification of the Ecological Data Formalization. |
ISDMCI |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Andrea Tigrini, Alessandro Mengarelli, Sandro Fioretti, Federica Verdini |
Anterior-Posterior Center of Pressure Analysis for the DIP/VIP Balance Maintenance model: Formalization and Preliminary Results. |
NER |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio |
A Formalization of Dedekind Domains and Class Groups of Global Fields. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Adrian De Lon, Peter Koepke, Anton Lorenzen |
A Natural Formalization of the Mutilated Checkerboard Problem in Naproche. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Stepan Holub, Stepán Starosta |
Formalization of Basic Combinatorics on Words. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini |
A Coq formalization of data provenance. |
CPP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Max W. Haslbeck, René Thiemann |
An Isabelle/HOL formalization of AProVE's termination method for LLVM IR. |
CPP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Tuan Nguyen Thanh, Nhan Le Thanh, Ha Hoang Thi Thanh |
Formalization of Business Processes and Business Rules Model using Colored Petri Nets. |
ICFNDS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Lorenzo Capra |
An Efficient Maude Formalization of (Rewritable) PT Nets. |
SYNASC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nadine Kashmar, Mehdi Adda, Mirna Atieh, Hussein Ibrahim |
Access Control Metamodel for Policy Specification and Enforcement: From Conception to Formalization. |
ANT/EDI40 |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Eugen Rigger, Tino Stankovic, Ruth Fleisch |
Facilitating Configuration Model Formalization based on Systems Engineering. |
ConfWS |
2021 |
DBLP BibTeX RDF |
|
13 | Olga Kosheleva, Vladik Kreinovich |
A Natural Formalization of Changing-One's-Mind Leads to Square Root of "Not" and to Complex-Valued Fuzzy Logic. |
NAFIPS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras |
A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs. |
Blockchain |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Tomer Libal, Tereza Novotná |
Towards Transparent Legal Formalization. |
EXTRAAMAS@AAMAS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Carolina Centeio Jorge, Siddharth Mehrotra, Catholijn M. Jonker, Myrthe L. Tielman |
Trust should correspond to Trustworthiness: a Formalization of Appropriate Mutual Trust in Human-Agent Teams. |
TRUST@AAMAS |
2021 |
DBLP BibTeX RDF |
|
13 | Sini Chen, Ran Li, Huibiao Zhu |
Formalization and Verification of Group Communication CoAP Using CSP. |
PDCAT |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Ahmed, Adnan Rashid |
Formalization of Transform Methods in Higher-order Logic: A Survey (short paper). |
CICM Workshops |
2021 |
DBLP BibTeX RDF |
|
13 | Zibo Yang |
Formalization of Gambler's Ruin Problem (short paper). |
CICM Workshops |
2021 |
DBLP BibTeX RDF |
|
13 | Karol Pak |
Formalization of Prime Representing Polynomial in Mizar (short paper). |
CICM Workshops |
2021 |
DBLP BibTeX RDF |
|
13 | Mohamed Abdelghany, Sofiène Tahar |
Formalization of RBD-Based Cause Consequence Analysis in HOL. |
CICM |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Diane Gallois-Wong |
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie. (Coq formalization of digital filter algorithms computed using finite precision arithmetic). |
|
2021 |
RDF |
|
13 | Denis A. Beloglazov, Valery I. Finaev, Victor V. Soloviev, Elena N. Pavlenko |
Methods Research and Software Development for Parameters Formalization of the Assignment Task Applicable to the Target Distribution. |
J. Robotics |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Simon Johanning, Fabian Scheller, Daniel Abitz, Claudius Wehner, Thomas Bruckner |
A modular multi-agent framework for innovation diffusion in changing business environments: conceptualization, formalization and implementation. |
Complex Adapt. Syst. Model. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Vinicius Fulber-Garcia, Elias P. Duarte Jr., Alexandre Huff, Carlos R. P. dos Santos |
Network service topology: Formalization, taxonomy and the CUSTOM specification model. |
Comput. Networks |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki |
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Christoph Schwarzweller |
Renamings and a Condition-free Formalization of Kronecker's Construction. |
Formaliz. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Dominik Kulesza, Adam Grabowski |
Formalization of Quasilattices. |
Formaliz. Math. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru 0001, Stylianos Basagiannis |
ReForm: A Tool for Rapid Requirements Formalization. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nikolay Kalenov, Irina N. Sobolevskaya, Aleksandr N. Sotnikov |
Formalization of Processes for Forming User Collections in the Digital Space of Scientific Knowledge. |
Russ. Digit. Libr. J. |
2020 |
DBLP BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Formalization of Forcing in Isabelle/ZF. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Wilmer Ricciotti, James Cheney |
A Formalization of SQL with Nulls. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Jordi Ganzer, Natalia Criado, Maite López-Sánchez, Simon Parsons, Juan A. Rodríguez-Aguilar |
A model to support collective reasoning: Formalization, analysis and computational assessment. |
CoRR |
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. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Yepeng Ding, Hiroyuki Sato |
Extending Concurrent Separation Logic to Enhance Modular Formalization. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Alexander Maletzky |
A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Charlotte Laclau, Franck Iutzeler, Ievgen Redko |
Rank-one partitioning: formalization, illustrative examples, and a new cluster enhancing strategy. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Jiatu Li |
Formalization of PAL·S5 in Proof Assistant. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Merlin Carl |
Automatized Evaluation of Formalization Exercises in Mathematics. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
SMT-Friendly Formalization of the Solidity Memory Model. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Haokun Liu, William Huang, Dhara A. Mungra, Samuel R. Bowman |
Precise Task Formalization Matters in Winograd Schema Evaluations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Saloua Bennani, Iliass Ait El Kouch, Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar |
A Formalization of Group Decision Making in Multi-viewpoints Design. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra |
Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh |
Formalization and Analysis of Haystack Architecture from Process Algebra Perspective. |
Mob. Networks Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Radim Belohlávek, Martin Trnecka |
Basic level of concepts in formal concept analysis 1: formalization and utilization. |
Int. J. Gen. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri |
Formalization and co-simulation of attacks on cyber-physical systems. |
J. Comput. Virol. Hacking Tech. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Amritraj Singh, Reza M. Parizi, Qi Zhang 0009, Kim-Kwang Raymond Choo, Ali Dehghantanha |
Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. |
Comput. Secur. |
2020 |
DBLP DOI BibTeX RDF |
|