|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1787 occurrences of 1141 keywords
|
|
|
Results
Found 3158 publication records. Showing 3158 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 3158 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|