Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Ching-Tsun Chou	A Formal Theory of Undirected Graphs in Higher-Order Logic.	TPHOLs	1994	DBLP DOI BibTeX RDF
14	Ewa Orlowska	Two Logical Dimensions.	JELIA	1994	DBLP DOI BibTeX RDF
14	Ricardo A. Munoz, Chao-Chih Yang	Using Normal Deduction Graphs in Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF	normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
14	David Garlan, David Notkin	Formalizing Design Spaces: Implicit Invocation Mechanisms.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
14	N. W. P. van Diepen, Helmuth Partsch	Formalizing Informal Reuqirments. Some Aspects.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
14	Robert Cartwright	Types as Intervals.	POPL	1985	DBLP DOI BibTeX RDF
13	Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger	Validation of Modern JSON Schema: Formalization and Complexity.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
13	Joshua M. Cohen, Philip Johnson-Freyd	A Formalization of Core Why3 in Coq.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
13	Alexander Barbie, Wilhelm Hasselbring	From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications.	CoRR	2024	DBLP DOI BibTeX RDF
13	Daisuke Ishii	A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method.	CoRR	2024	DBLP DOI BibTeX RDF
13	Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen	Formalization of Complexity Analysis of the First-order Optimization Algorithms.	CoRR	2024	DBLP DOI BibTeX RDF
13	Hugo Herbelin, Ramkumar Ramachandra	A parametricity-based formalization of semi-simplicial and semi-cubical sets.	CoRR	2024	DBLP DOI BibTeX RDF
13	Cornelis A. Middelburg	On the formalization of the notion of an algorithm.	CoRR	2024	DBLP DOI BibTeX RDF
13	Mnacho Echenim, Mehdi Mhalla	A Formalization of the CHSH Inequality and Tsirelson's Upper-bound in Isabelle/HOL.	J. Autom. Reason.	2024	DBLP DOI BibTeX RDF
13	Amina Affes, Ismaïl Biskri, Adel Jebali 0001	The formalization of interlanguage: the example of object clitic pronouns acquisition in French L2.	J. Inf. Telecommun.	2024	DBLP DOI BibTeX RDF
13	Sini Chen, Ran Li, Huibiao Zhu	Formalization and Verification of Enhanced Group Communication CoAP.	Int. J. Softw. Eng. Knowl. Eng.	2024	DBLP DOI BibTeX RDF
13	María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio	A Formalization of Complete Discrete Valuation Rings and Local Fields.	CPP	2024	DBLP DOI BibTeX RDF
13	Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner	Lean Formalization of Extended Regular Expression Matching with Lookarounds.	CPP	2024	DBLP DOI BibTeX RDF
13	María Julia Blas, Silvio Gonnet	Metamodel-based formalization of DEVS atomic models.	Simul.	2023	DBLP DOI BibTeX RDF
13	Aya Elouali, Higinio Mora Mora, Francisco José Mora-Gimeno	Data transmission reduction formalization for cloud offloading-based IoT systems.	J. Cloud Comput.	2023	DBLP DOI BibTeX RDF
13	Victoria Döller, Dimitris Karagiannis, Wilfrid Utz	MetaMorph: formalization of domain-specific conceptual modeling methods - an evaluative case study, juxtaposition and empirical assessment.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
13	Hiroyuki Okazaki	On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors.	Formaliz. Math.	2023	DBLP DOI BibTeX RDF
13	Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao	Formalization and verification of Kafka messaging mechanism using CSP.	Comput. Sci. Inf. Syst.	2023	DBLP DOI BibTeX RDF
13	Tobias Röth, Fiona Schweitzer, Patrick Spieth	Digital new market creation by incumbent firms: A political lens on the effect of formalization on agility.	J. Strateg. Inf. Syst.	2023	DBLP DOI BibTeX RDF
13	Zoltán Kovács, Predrag Janicic	Formalization of geometry, automated and interactive geometric reasoning.	Ann. Math. Artif. Intell.	2023	DBLP DOI BibTeX RDF
13	Cristina-Iulia Bucur, Tobias Kuhn, Davide Ceolin, Jacco van Ossenbruggen	Nanopublication-based semantic publishing and reviewing: a field study with formalization papers.	PeerJ Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	Mohammadreza Pourreza, Faezeh Ensan	Towards semantic-driven boolean query formalization for biomedical systematic literature reviews.	Int. J. Medical Informatics	2023	DBLP DOI BibTeX RDF
13	Zirong Chen, Isaac Li, Haoxiang Zhang 0003, Sarah Preum, John A. Stankovic, Meiyi Ma	CitySpec with shield: A secure intelligent assistant for requirement formalization.	Pervasive Mob. Comput.	2023	DBLP DOI BibTeX RDF
13	Jiaqi Zhang 0002, Xiangru Chen, Sandip Ray	AINNS: All-Inclusive Neural Network Scheduling Via Accelerator Formalization.	IEEE Trans. Computers	2023	DBLP DOI 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.	J. Artif. Intell. Res.	2023	DBLP DOI BibTeX RDF
13	Hugolin Bergier	An Intensional Formalization of Generic Statements.	Logica Universalis	2023	DBLP DOI BibTeX RDF
13	Toshihiro Kamishima	Re-formalization of Individual Fairness.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ata Keskin	A Formalization of Martingales in Isabelle/HOL.	CoRR	2023	DBLP DOI BibTeX RDF
13	Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa	A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory.	CoRR	2023	DBLP DOI BibTeX RDF
13	Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi 0002, Yong Guan, Ximeng Li 0003	Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.	CoRR	2023	DBLP DOI BibTeX RDF
13	Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger	Validation of Modern JSON Schema: Formalization and Complexity.	CoRR	2023	DBLP DOI BibTeX RDF
13	Niloofar Shadab, Tyler Cody, Alejandro Salado, Peter A. Beling	A Systems-Theoretical Formalization of Closed Systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	Simon Rädler, Jürgen Mangler, Stefanie Rinderle-Ma	Model-Driven Engineering Method to Support the Formalization of Machine Learning using SysML.	CoRR	2023	DBLP DOI BibTeX RDF
13	Merlin Carl	Using large language models for (de-)formalization and natural argumentation exercises for beginner's students.	CoRR	2023	DBLP DOI BibTeX RDF
13	William M. Farmer, Dennis Y. Zvigelsky	Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zirong Chen, Issa Li, Haoxiang Zhang 0003, Sarah Masud Preum, John A. Stankovic, Meiyi Ma	CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization.	CoRR	2023	DBLP DOI BibTeX RDF
13	David M. Russinoff	A Formalization of Finite Group Theory: Part III.	ACL2	2023	DBLP DOI BibTeX RDF
13	David M. Russinoff	A Formalization of Finite Group Theory: Part II.	ACL2	2023	DBLP DOI BibTeX RDF
13	Mikel D. Jedrusiak, Thomas Harweg, Timo Haselhoff, Bryce T. Lawrence, Susanne Moebus, Frank Weichert	Definition-independent Formalization of Soundscapes: Towards a Formal Methodology.	CoRR	2023	DBLP DOI BibTeX RDF
13	Ashvni Narayanan	Formalization of p-adic L-functions in Lean 3.	CoRR	2023	DBLP DOI BibTeX RDF
13	Andrej Bauer, Matej Petkovic, Ljupco Todorovski	MLFMF: Data Sets for Machine Learning for Mathematical Formalization.	CoRR	2023	DBLP DOI BibTeX RDF
13	Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo	A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.	CoRR	2023	DBLP DOI BibTeX RDF
13	María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio	A Formalization of Complete Discrete Valuation Rings and Local Fields.	CoRR	2023	DBLP DOI BibTeX RDF
13	Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman	A Formalization of Operads in Coq.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mnacho Echenim, Mehdi Mhalla	A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL.	CoRR	2023	DBLP DOI BibTeX RDF
13	Mahasweta Chakraborti, Curtis Atkisson, Stefan Stanciulescu, Vladimir Filkov, Seth Frey	Do We Run How We Say We Run? Formalization and Practice of Governance in OSS Communities.	CoRR	2023	DBLP DOI BibTeX RDF
13	Junjie Luo 0005, Jianjun Zhao 0001	Formalization of Quantum Intermediate Representations for Code Safety.	CoRR	2023	DBLP DOI BibTeX RDF
13	Viju Sudhi, Libin Kutty, Robin Gröpler	Natural Language Processing for Requirements Formalization: How to Derive New Approaches?	CoRR	2023	DBLP DOI BibTeX RDF
13	Mariano Caruso, Cecilia Jarne	Recurrent Neural Networks as Electrical Networks, a formalization.	CoRR	2023	DBLP DOI BibTeX RDF
13	Johan F. Hoorn, Thomas Baier 0007, Jeroen van Maanen, Jeroen Wester	Silicon Coppélia and the Formalization of the Affective Process.	IEEE Trans. Affect. Comput.	2023	DBLP DOI BibTeX RDF
13	Xinyi Wan, Ke Xu, Qinxiang Cao	Coq Formalization of ZFC Set Theory for Teaching Scenarios.	Int. J. Softw. Informatics	2023	DBLP DOI BibTeX RDF
13	Thibault Dardinier	Formalization of Hyper Hoare Logic: A Logic to (Dis-)Prove Program Hyperproperties.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Thibault Dardinier	Formalization of CommCSL: A Relational Concurrent Separation Logic for Proving Information Flow Security in Concurrent Programs.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Martin Desharnais	A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
13	Simon Roßkopf, Tobias Nipkow	A Formalization and Proof Checker for Isabelle's Metalogic.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
13	Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner	First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
13	Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi 0002, Ximeng Li 0003, Jingzhi Zhang	Formalization of the inverse kinematics of three-fingered dexterous hand.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
13	Thomas Guyet, Philippe Besnard	Chronicles: Formalization of a Temporal Model		2023	DOI RDF
13	Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins	Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.	DSN-W	2023	DBLP DOI BibTeX RDF
13	Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino	Formalization of Algebraic Theorems in PVS (Invited Talk).	LPAR	2023	DBLP DOI BibTeX RDF
13	Yingjia Du, Yuan Fei, Sini Chen, Huibiao Zhu	Formalization and Verification of Data Auction Mechanism Based on Smart Contract Using CSP.	SEKE	2023	DBLP DOI BibTeX RDF
13	Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe	RQCODE: Security Requirements Formalization with Testing.	ICTSS	2023	DBLP DOI BibTeX RDF
13	Alessandro Trapasso, Sofia Santilli, Luca Iocchi, Fabio Patrizi	A formalization of multi-agent planning with explicit agent representation.	SAC	2023	DBLP DOI BibTeX RDF
13	Aida Kamisalic	Formalization of Drug Dose Titration Procedures.	CCIA	2023	DBLP DOI BibTeX RDF
13	Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu	Formalization and Verification of Go-based New Simple Queue System.	IWESQ/QuASoQ@APSEC	2023	DBLP BibTeX RDF
13	Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine	A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.	FM	2023	DBLP DOI BibTeX RDF
13	Regan Meloche, Daniel Amyot, John Mylopoulos	Towards Legal Contract Formalization with Controlled Natural Language Templates.	RE	2023	DBLP DOI BibTeX RDF
13	Sundeep Tamak, Yasamin Eslami, Catherine Da Cunha	Formalization and Validation of Sustainability Assessment Models for Manufacturing Organizations: A Formal Concept Analysis Approach.	SOHOMA	2023	DBLP DOI BibTeX RDF
13	Wei Lin, Sini Chen, Huibiao Zhu	Formalization and Verification of MQTT-SN Communication Using CSP.	ECBS	2023	DBLP DOI BibTeX RDF
13	Akihisa Yamada 0002	Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).	FSCD	2023	DBLP DOI BibTeX RDF
13	Dominic Lohr, Marc Berges, Michael Kohlhase, Dennis Müller 0001, Max Rapp	The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems.	GECon	2023	DBLP DOI BibTeX RDF
13	Ali Recai Yekta, Dominik Spychalski, Erhan Yekta, Cenk Yekta, Stefan Katzenbeisser 0001	VATT&EK: Formalization of Cyber Attacks on Intelligent Transport Systems - a TTP based approach for Automotive and Rail.	CSCS	2023	DBLP DOI BibTeX RDF
13	Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu	Formalization and Verification of the ICC Mechanism in Android System Using CSP.	ISSREW	2023	DBLP DOI BibTeX RDF
13	Vânia Sousa, Daniela Barros, Pedro Guimarães, Antonina Santos, Maribel Yasmina Santos	Conceptual Formalization of Massive Storage for Advancing Decision-Making with Data Analytics.	CAiSE Forum	2023	DBLP DOI BibTeX RDF
13	Jules Torgue, Francis Mollica, Matthew Spike	A Colorful Formalization of the Typological Prevalence Hypothesis.	CogSci	2023	DBLP BibTeX RDF
13	Pietro Vertechi, Mattia G. Bergomi	Machines of Finite Depth: Towards a Formalization of Neural Networks.	AAAI	2023	DBLP DOI BibTeX RDF
13	Matthias Kerzel, Julia Markert, Emad Aghajanzadeh, Stephanie von Riegen, Lothar Hotz, Pascal Krenz	Acquisition and Formalization of Tacit Knowledge for Value Chain Generation in Local Production Networks.	ECAI	2023	DBLP DOI BibTeX RDF
13	Martin Bromberger, Martin Desharnais, Christoph Weidenbach	An Isabelle/HOL Formalization of the SCL(FOL) Calculus.	CADE	2023	DBLP DOI BibTeX RDF
13	Liudmyla Bilousiva, Liudmyla Gryzun, Natalia Zhytienova, Valentyna Pikalova	Issues of formalization of risk management process in software design.	IntelITSIS	2023	DBLP BibTeX RDF
13	Kumar Manas, Adrian Paschke	Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle.	RuleML+RR	2023	DBLP DOI BibTeX RDF
13	Yiwen Liu, Hongyan Mao, Ning Qin, Kai Chen	Formalization and Verification of RocketMQ Using CSP.	ICPADS	2023	DBLP DOI BibTeX RDF
13	Xinyi Wan, Qinxiang Cao	Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.	SETTA	2023	DBLP DOI BibTeX RDF
13	Kexing Ying, Rémy Degenne	A Formalization of Doob's Martingale Convergence Theorems in mathlib.	CPP	2023	DBLP DOI BibTeX RDF
13	Christina Kohl, Aart Middeldorp	A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems.	CPP	2023	DBLP DOI BibTeX RDF
13	Shizhe Diao, Yongyu Lei, Liangming Pan, Tianqing Fang, Wangchunshu Zhou, Sedrick Scott Keh, Min-Yen Kan, Tong Zhang 0001	Doolittle: Benchmarks and Corpora for Academic Writing Formalization.	EMNLP	2023	DBLP DOI BibTeX RDF
13	Andrej Bauer, Matej Petkovic, Ljupco Todorovski	MLFMF: Data Sets for Machine Learning for Mathematical Formalization.	NeurIPS	2023	DBLP BibTeX RDF
13	Kota Sugimoto, Takeshi Nakai, Yohei Watanabe 0001, Mitsugu Iwamoto	The Two Sheriffs Problem: Cryptographic Formalization and Generalization.	COCOA (1)	2023	DBLP DOI BibTeX RDF
13	Zeta Avarikioti, Antoine Desjardins, Lefteris Kokoris-Kogias, Roger Wattenhofer	Divide & Scale: Formalization and Roadmap to Robust Sharding.	SIROCCO	2023	DBLP DOI BibTeX RDF
13	Nicolas Rühling, Torsten Schaub, Tobias Stolzmann	Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report.	ConfWS	2023	DBLP BibTeX RDF
13	Massimiliano Carrara, Vittorio Morato	A Compatibilist Approach in Ontology: Steps Towards a Formalization.	FOIS	2023	DBLP DOI BibTeX RDF
13	Andrea Tocchetti, Jie Yang 0028, Marco Brambilla 0001	Rationale Trees: Towards a Formalization of Human Knowledge for Explainable Natural Language Processing.	XAI.it@AI*IA	2023	DBLP BibTeX RDF
13	Simona Colucci, Tommaso Di Noia, Francesco M. Donini, Claudio Pomo, Eugenio Di Sciascio	Irrelevant Explanations: a Logical Formalization and a Case Study.	XAI.it@AI*IA	2023	DBLP BibTeX RDF
13	Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo	Formalization and Analysis of BPMN Using Graph Transformation Systems.	ICGT	2023	DBLP DOI BibTeX RDF
13	Maximilian Rappl, Max Luca Bergmann, Alexander Fay	Formalization of a Product-Process-Resource Model within Aircraft Component Maintenance, Repair, and Overhaul.	INDIN	2023	DBLP DOI BibTeX RDF
13	Sarah Sallinger, Georg Weissenbacher, Florian Zuleger	A Formalization of Heisenbugs and Their Causes.	SEFM	2023	DBLP DOI BibTeX RDF