|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 144-157, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Ewa Orlowska |
Two Logical Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 231, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Ricardo A. Munoz, Chao-Chih Yang |
Using Normal Deduction Graphs in Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 203-212, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 31-44, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | N. W. P. van Diepen, Helmuth Partsch |
Formalizing Informal Reuqirments. Some Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Methods ![In: Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989], pp. 7-27, 1989, Springer, 3-540-53912-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Robert Cartwright |
Types as Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, New Orleans, Louisiana, USA, January 1985, pp. 22-36, 1985, ACM Press, 0-89791-147-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 1451-1481, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Joshua M. Cohen, Philip Johnson-Freyd |
A Formalization of Core Why3 in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 1789-1818, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Barbie, Wilhelm Hasselbring |
From Digital Twins to Digital Twin Prototypes: Concepts, Formalization, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.07985, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Daisuke Ishii |
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10919, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11437, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Hugo Herbelin, Ramkumar Ramachandra |
A parametricity-based formalization of semi-simplicial and semi-cubical sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.00512, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Cornelis A. Middelburg |
On the formalization of the notion of an algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.08366, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Mnacho Echenim, Mehdi Mhalla |
A Formalization of the CHSH Inequality and Tsirelson's Upper-bound in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 68(1), pp. 2, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Telecommun. ![In: J. Inf. Telecommun. 8(1), pp. 71-91, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Sini Chen, Ran Li, Huibiao Zhu |
Formalization and Verification of Enhanced Group Communication CoAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 34(2), pp. 301-330, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024, pp. 190-204, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner |
Lean Formalization of Extended Regular Expression Matching with Lookarounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024, pp. 118-131, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
13 | María Julia Blas, Silvio Gonnet |
Metamodel-based formalization of DEVS atomic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 99(5), pp. 433-454, May 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cloud Comput. ![In: J. Cloud Comput. 12(1), pp. 48, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(1), pp. 75-110, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hiroyuki Okazaki |
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 31(1), pp. 53-57, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao |
Formalization and verification of Kafka messaging mechanism using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Inf. Syst. ![In: Comput. Sci. Inf. Syst. 20(1), pp. 277-306, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Strateg. Inf. Syst. ![In: J. Strateg. Inf. Syst. 32(1), pp. 101755, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zoltán Kovács, Predrag Janicic |
Formalization of geometry, automated and interactive geometric reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 91(6), pp. 751-752, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 9, pp. e1159, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mohammadreza Pourreza, Faezeh Ensan |
Towards semantic-driven boolean query formalization for biomedical systematic literature reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 170, pp. 104928, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pervasive Mob. Comput. ![In: Pervasive Mob. Comput. 92, pp. 101802, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jiaqi Zhang 0002, Xiangru Chen, Sandip Ray |
AINNS: All-Inclusive Neural Network Scheduling Via Accelerator Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(2), pp. 559-571, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 77, pp. 1021-1086, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Hugolin Bergier |
An Intensional Formalization of Generic Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 17(2), pp. 139-160, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Toshihiro Kamishima |
Re-formalization of Individual Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.05521, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ata Keskin |
A Formalization of Martingales in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.06188, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.06103, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.04598, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.10034, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Niloofar Shadab, Tyler Cody, Alejandro Salado, Peter A. Beling |
A Systems-Theoretical Formalization of Closed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10786, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04495, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Merlin Carl |
Using large language models for (de-)formalization and natural argumentation exercises for beginner's students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06186, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | William M. Farmer, Dennis Y. Zvigelsky |
Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.05658, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.09665, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | David M. Russinoff |
A Formalization of Finite Group Theory: Part III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023., pp. 33-49, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | David M. Russinoff |
A Formalization of Finite Group Theory: Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023., pp. 16-32, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13404, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ashvni Narayanan |
Formalization of p-adic L-functions in Lean 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.14491, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Bauer, Matej Petkovic, Ljupco Todorovski |
MLFMF: Data Sets for Machine Learning for Mathematical Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.16005, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.05243, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01998, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman |
A Formalization of Operads in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.08894, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mnacho Echenim, Mehdi Mhalla |
A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.12535, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.14245, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Junjie Luo 0005, Jianjun Zhao 0001 |
Formalization of Quantum Intermediate Representations for Code Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.14500, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Viju Sudhi, Libin Kutty, Robin Gröpler |
Natural Language Processing for Requirements Formalization: How to Derive New Approaches? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.13272, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mariano Caruso, Cecilia Jarne |
Recurrent Neural Networks as Electrical Networks, a formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06487, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Affect. Comput. ![In: IEEE Trans. Affect. Comput. 14(1), pp. 255-278, January - March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xinyi Wan, Ke Xu, Qinxiang Cao |
Coq Formalization of ZFC Set Theory for Teaching Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 13(3), pp. 323-357, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Thibault Dardinier |
Formalization of Hyper Hoare Logic: A Logic to (Dis-)Prove Program Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Thibault Dardinier |
Formalization of CommCSL: A Relational Concurrent Separation Logic for Proving Information Flow Security in Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Martin Desharnais |
A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Simon Roßkopf, Tobias Nipkow |
A Formalization and Proof Checker for Isabelle's Metalogic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(1), pp. 1, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(2), pp. 14, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 133, pp. 100861, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Guyet, Philippe Besnard |
Chronicles: Formalization of a Temporal Model ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
DOI RDF |
|
13 | Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins |
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN-W ![In: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023, pp. 263-266, 2023, IEEE, 979-8-3503-2543-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 1-10, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023, KSIR Virtual Conference Center, USA, July 1-10, 2023., pp. 404-409, 2023, KSI Research Inc., 1-891706-56-X. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe |
RQCODE: Security Requirements Formalization with Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 126-142, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Trapasso, Sofia Santilli, Luca Iocchi, Fabio Patrizi |
A formalization of multi-agent planning with explicit agent representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 816-823, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Aida Kamisalic |
Formalization of Drug Dose Titration Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023., pp. 4, 2023, IOS Press, 978-1-64368-448-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Danyang Wang, Jiaqi Yin, Sini Chen, Huibiao Zhu |
Formalization and Verification of Go-based New Simple Queue System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWESQ/QuASoQ@APSEC ![In: Joint Proceedings of the 5th International Workshop on Experience with SQuaRE series and its Future Direction and the 11th International Workshop on Quantitative Approaches to Software Quality co-located with the 30th Asia Pacific Software Engineering Conference (APSEC 2023), Seoul, South Korea, December 4, 2023., pp. 74-81, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, pp. 39-55, 2023, Springer, 978-3-031-27480-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Regan Meloche, Daniel Amyot, John Mylopoulos |
Towards Legal Contract Formalization with Controlled Natural Language Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, pp. 317-322, 2023, IEEE, 979-8-3503-2689-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOHOMA ![In: Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future - Proceedings of SOHOMA 2023, Annecy, France, 28-29 September 2023., pp. 481-491, 2023, Springer, 978-3-031-53444-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Wei Lin, Sini Chen, Huibiao Zhu |
Formalization and Verification of MQTT-SN Communication Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings, pp. 115-132, 2023, Springer, 978-3-031-49251-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Akihisa Yamada 0002 |
Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 4:1-4:5, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECon ![In: 2nd IEEE German Education Conference, GECon 2023, Berlin, Germany, August 2-4, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-4813-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCS ![In: Proceedings of the 7th ACM Computer Science in Cars Symposium, CSCS 2023, Darmstadt, Germany, 5 December 2023, pp. 8:1-8:17, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSREW ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023, pp. 89-95, 2023, IEEE, 979-8-3503-1956-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Forum ![In: Intelligent Information Systems - CAiSE Forum 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings, pp. 121-128, 2023, Springer, 978-3-031-34673-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Jules Torgue, Francis Mollica, Matthew Spike |
A Colorful Formalization of the Typological Prevalence Hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Pietro Vertechi, Mattia G. Bergomi |
Machines of Finite Depth: Towards a Formalization of Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 10061-10068, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), pp. 3204-3211, 2023, IOS Press, 978-1-64368-436-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Martin Bromberger, Martin Desharnais, Christoph Weidenbach |
An Isabelle/HOL Formalization of the SCL(FOL) Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 116-133, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Liudmyla Bilousiva, Liudmyla Gryzun, Natalia Zhytienova, Valentyna Pikalova |
Issues of formalization of risk management process in software design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelITSIS ![In: Proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security, Khmelnytskyi, Ukraine, March 22-24, 2023., pp. 48-57, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Kumar Manas, Adrian Paschke |
Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings, pp. 175-189, 2023, Springer, 978-3-031-45071-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Yiwen Liu, Hongyan Mao, Ning Qin, Kai Chen |
Formalization and Verification of RocketMQ Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023, Ocean Flower Island, China, December 17-21, 2023, pp. 813-819, 2023, IEEE, 979-8-3503-3071-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Xinyi Wan, Qinxiang Cao |
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 262-278, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Kexing Ying, Rémy Degenne |
A Formalization of Doob's Martingale Convergence Theorems in mathlib. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023, pp. 334-347, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Christina Kohl, Aart Middeldorp |
A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023, pp. 197-210, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023, pp. 13093-13111, 2023, Association for Computational Linguistics, 979-8-89176-060-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Bauer, Matej Petkovic, Ljupco Todorovski |
MLFMF: Data Sets for Machine Learning for Mathematical Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Kota Sugimoto, Takeshi Nakai, Yohei Watanabe 0001, Mitsugu Iwamoto |
The Two Sheriffs Problem: Cryptographic Formalization and Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOA (1) ![In: Combinatorial Optimization and Applications - 17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I, pp. 512-523, 2023, Springer, 978-3-031-49610-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Zeta Avarikioti, Antoine Desjardins, Lefteris Kokoris-Kogias, Roger Wattenhofer |
Divide & Scale: Formalization and Roadmap to Robust Sharding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity - 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings, pp. 199-245, 2023, Springer, 978-3-031-32732-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ConfWS ![In: Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), Málaga, Spain, September 6-7, 2023., pp. 85-94, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Massimiliano Carrara, Vittorio Morato |
A Compatibilist Approach in Ontology: Steps Towards a Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: Formal Ontology in Information Systems - Proceedings of the 13th International Conference (FOIS 2023), Sherbrooke, Quebec, Canada, July 17-20, 2013 and Virtual Event, September 18-20, 2013., pp. 182-194, 2023, IOS Press, 978-1-64368-468-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XAI.it@AI*IA ![In: Proceedings of the 4th Italian Workshop on Explainable Artificial Intelligence co-located with 22nd International Conference of the Italian Association for Artificial Intelligence(AIxIA 2023), Roma, Italy, November 8, 2023., pp. 29-46, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XAI.it@AI*IA ![In: Proceedings of the 4th Italian Workshop on Explainable Artificial Intelligence co-located with 22nd International Conference of the Italian Association for Artificial Intelligence(AIxIA 2023), Roma, Italy, November 8, 2023., pp. 67-75, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo |
Formalization and Analysis of BPMN Using Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 204-222, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 21st IEEE International Conference on Industrial Informatics, INDIN 2023, Lemgo, Germany, July 18-20, 2023, pp. 1-7, 2023, IEEE, 978-1-6654-9313-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Sarah Sallinger, Georg Weissenbacher, Florian Zuleger |
A Formalization of Heisenbugs and Their Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, pp. 282-300, 2023, Springer, 978-3-031-47114-8. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|