Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Christian Sternagel, René Thiemann |
A Formalization of Knuth-Bendix Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Achim D. Brucker, Michael Herzberg |
A Formalization of Web Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Formalization of Forcing in Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Thibault Dardinier, Lukas Heimes, Martin Raszyk, Joshua Schneider 0001, Dmitriy Traytel |
Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Lukas Heimes, Dmitriy Traytel, Joshua Schneider 0001 |
Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Andrei Popescu 0001, Dmitriy Traytel |
An Abstract Formalization of Gödel's Incompleteness Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Achim D. Brucker, Michael Herzberg |
A Formalization of Safely Composable Web Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
A Library for Formalization of Linear Error-Correcting Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 64(6), pp. 1123-1164, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Qi Wang 0026, Thierry Artières, Sylvain Takerkart |
Inter-subject pattern analysis for multivariate group analysis of functional neuroimaging. A unifying formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 197, pp. 105730, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Frantisek Silvási, Martin Tomásek |
Lean formalization of bounded grids and computable cellular automata defined thereover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 195, pp. 102471, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B formalization of a variability-aware component model patterns framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 199, pp. 102511, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | François Bry |
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 20(1), pp. 99-146, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shanyan Chen, Guohui Wang, Ximeng Li 0003, Qianying Zhang, Zhi-Ping Shi 0002, Yong Guan |
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 32(4-6), pp. 417-437, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Chunna Zhao, Murong Jiang, Yaqun Huang, Dali Chen |
Formalization of fractional calculus and fractional order PI controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Methods Sci. Eng. ![In: J. Comput. Methods Sci. Eng. 20(1), pp. 113-119, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yong Guan, Jie Zhang 0074, Zhiping Shi 0002, Yi Wang 0003, Yongdong Li |
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 106, pp. 101707, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Karoline Saatkamp, Uwe Breitenbücher, Oliver Kopp, Frank Leymann |
Method, formalization, and algorithms to split topology models for distributed cloud application deployments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 102(2), pp. 343-363, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mehdi Saqalli |
Redonner son poids au social : Formalisation d'une démarche intégrant facteurs socio-anthropologiques et environnementaux dans les approches d'observation et de modélisation des Systèmes Socio-écologiques Ruraux. (Giving back its weight to the society: Formalization of an approach integrating socio-anthropological and environmental factors in the observation and modeling approaches of Rural Socio-Ecological Systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Maxence Delong, Baptiste David, Eric Filiol |
Detection of Crawler Traps: Formalization and Implementation Defeating Protection on Internet and on the TOR Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISSP ![In: Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020., pp. 775-783, 2020, SCITEPRESS, 978-989-758-399-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Salah Hamdoun |
Technology and the Formalization of the Informal Economy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISTAS ![In: IEEE International Symposium on Technology and Society, ISTAS 2020, Tempe, AZ, USA, November 12-15, 2020, pp. 85-90, 2020, IEEE, 978-1-6654-1507-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Maierhofer, Anna-Katharina Rettinger, Eva Charlotte Mayer, Matthias Althoff |
Formalization of Interstate Traffic Rules in Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: IEEE Intelligent Vehicles Symposium, IV 2020, Las Vegas, NV, USA, October 19 - November 13, 2020, pp. 752-759, 2020, IEEE, 978-1-7281-6673-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
Formalization and Verification of VANET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020., pp. 1-6, 2020, KSI Research Inc., 1-891706-50-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Vincent Iampietro, David Andreu 0001, David Delahaye |
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)., pp. 214-215, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Felix Lindner 0001 |
Towards a Formalization of Explanations for Robots' Actions and Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOWO ![In: Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Charles Lesire, David Doose, Christophe Grand |
Formalization of Robot Skills with Descriptive and Operational Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, pp. 7227-7232, 2020, IEEE, 978-1-7281-6212-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Said Fathalla, Sören Auer, Christoph Lange 0002 |
Towards the semantic formalization of science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020, pp. 2057-2059, 2020, ACM, 978-1-4503-6866-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi |
Production Recipe Validation through Formalization and Digital Twin Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp. 1698-1703, 2020, IEEE, 978-3-9819263-4-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Muhammad Usama Sardar, Do Le Quoc, Christof Fetzer |
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 23rd Euromicro Conference on Digital System Design, DSD 2020, Kranj, Slovenia, August 26-28, 2020, pp. 604-607, 2020, IEEE, 978-1-7281-9535-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yaoshun Fu, Wensheng Yu |
A Formalization of Properties of Continuous Functions on Closed Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings, pp. 272-280, 2020, Springer, 978-3-030-52199-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
SMT-Friendly Formalization of the Solidity Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 224-250, 2020, Springer, 978-3-030-44913-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yuler Montalvo, Vidal Aramburu, Nestor Mamani-Macedo, Carlos Raymundo Ibañez, Francisco Dominguez |
Public Management Model with a Sustainable Development Approach Based on Lean Six Sigma: Formalization of Small-Scale and Artisanal Mining in Peru. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHIET (Lausanne) ![In: Human Interaction, Emerging Technologies and Future Applications II - Proceedings of the 2nd International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET - AI 2020), April 23-25, 2020, Lausanne, Switzerland, pp. 625-631, 2020, Springer, 978-3-030-44266-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Martin Rohrmeier |
Towards a Formalization of Musical Rhythm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIR ![In: Proceedings of the 21th International Society for Music Information Retrieval Conference, ISMIR 2020, Montreal, Canada, October 11-16, 2020, pp. 621-629, 2020, 978-0-9813537-1-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2020, Virtual Event, Taiwan, December 7-11, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-8298-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
Formalization of Forcing in Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR (2) ![In: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II, pp. 221-235, 2020, Springer, 978-3-030-51053-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Cecilia Manzino, Alberto Pardo |
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020, pp. 75-94, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Alireza Shirvani, Stephen G. Ware |
A Formalization of Emotional Planning for Strong-Story Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the Sixteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2020, virtual, October 19-23, 2020, pp. 116-122, 2020, AAAI Press, 978-1-57735-849-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Miroslav Hudec, Radko Mesiar |
The Formalization of Asymmetry in Disjunctive Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (2) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part II, pp. 435-446, 2020, Springer, 978-3-030-50142-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Karl Palmskog, Ahmet Çelik, Milos Gligoric 0001 |
Practical Machine-Checked Formalization of Change Impact Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 137-157, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul |
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020., pp. 250-259, 2020, ScitePress, 978-989-758-443-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier |
On the Formalization of Decentralized Contact Tracing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OVERLAY ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020., pp. 65-70, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Mykhailo Susla, Roman Pasichnyk, Andriy Melnyk, Natalia A. Pasichnyk, Olena Vasylkiv, Olexander Androshchuk |
Formalization of Scientific Researches Results in Corporate Knowledge Bases As a Tool of Their Accumulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIT ![In: 10th International Conference on Advanced Computer Information Technologies, ACIT 2020, Deggendorf, Germany, September 16-18, 2020, pp. 488-491, 2020, IEEE, 978-1-7281-6759-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abhishek Kr Singh, Raja Natarajan |
A constructive formalization of the weak perfect graph theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 313-324, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tomás Díaz, Federico Olmedo, Éric Tanter |
A mechanized formalization of GraphQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 201-214, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Haokun Liu, William Huang, Dhara A. Mungra, Samuel R. Bowman |
Precise Task Formalization Matters in Winograd Schema Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (1) ![In: Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020, pp. 8275-8280, 2020, Association for Computational Linguistics, 978-1-952148-60-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tomer Libal, Alexander Steen |
Towards an Executable Methodology for the Formalization of Legal Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 151-165, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Zhe Yu |
A Formalization of the Slippery Slope Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 346-361, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Anna Bakurova, Mariia Pasichnyk, Elina Tereschenko, Yurii Filei |
Formalization of Ukrainian-Language Content for Fuzzy Product in Court. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLINS ![In: Proceedings of the 4th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2020). Volume I: Main Conference, Lviv, Ukraine, April 23-24, 2020., pp. 428-441, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Yuki Kondo, Manabu Hagiwara, Midori Kudo |
Formalization of VT Codes and Their Single-Deletion Correcting Property in Lean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISITA ![In: International Symposium on Information Theory and Its Applications, ISITA 2020, Kapolei, HI, USA, October 24-27, 2020, pp. 597-601, 2020, IEEE, 978-4-88552-330-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Agustín E. Martinez Suñé |
Formalization and analysis of quantitative attributes of distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, pp. 210-213, 2020, ACM, 978-1-4503-7122-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Bastian Wollschlaeger, Elke Eichenberg, Klaus Kabitzsch |
How to Play Tag: A Formalization of Semantic Interoperability to Catch Semantics in Building Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020, pp. 875-882, 2020, IEEE, 978-1-7281-8956-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Luis Carlos Suárez, David Espes, Frédéric Cuppens, Philippe Bertin, Cao-Thanh Phan, Philippe Le Parc |
Formalization of a security access control model for the 5G system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOF ![In: 11th International Conference on Network of the Future, NoF 2020, Bordeaux, France, October 12-14, 2020, pp. 150-158, 2020, IEEE, 978-1-7281-8055-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ákos Hajdu, Dejan Jovanovic |
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020., pp. 59, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Adam Naumowicz |
Dataset Description: Formalization of Elementary Number Theory in Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings, pp. 303-308, 2020, Springer, 978-3-030-53517-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Matthew Peveler |
Building cognitive and immersive systems: architecture, implementation, and formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Mathias Fleury |
Formalization of logical calculi in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Anas Maazu Kademi |
Formalization and modeling of cyberspace (Siber uzayin formalizasyonu ve modellenmesi) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Manon Froger |
Une approche d'accompagnement de la maturation BPM d'une entreprise et de la formalisation de ses processus métiers. (An approach to support the BPM maturation of a company and the formalization of its business processes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Louise Sarrabezolles |
Formalization and Simulation of Bio-Inspired On-chip Dynamic Attractors for Low Power Computer Vision. (Formalisation et simulation des Attracteurs Dynamiques sur composant bio-inspiré pour une vision artificielle à faible consommation énergétique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Vincent Jaillot |
3D, temporal and documented cities : formalization, visualization and navigation. (Villes numériques 3D temporelles et documentées : formalisation, visualisation et navigation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | John Bender, Jens Palsberg |
A formalization of Java's concurrent access modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(OOPSLA), pp. 142:1-142:28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
A mechanical formalization of higher-ranked polymorphic type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(ICFP), pp. 112:1-112:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Dudenhefner, Jakob Rehof |
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 170(1-3), pp. 93-110, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Federico Joaquín, Luciano H. Tamargo, Alejandro Javier García |
A taxonomy approach for multi-context trust: Formalization and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 127, pp. 295-307, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jingzhi Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan, Yongdong Li |
Formalization of functional variation in HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 106, pp. 29-38, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Frank Drewes, Berthold Hoffmann, Mark Minas |
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 104, pp. 303-341, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wei Mei |
Formalization of Fuzzy Control in Possibility Theory via Rule Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 90115-90124, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Karol Pak |
Formalization of the MRDP Theorem in the Mizar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 27(2), pp. 209-221, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wattana Viriyasitavat, Li Da Xu, Zhuming Bi |
The Extension of Semantic Formalization of Service Workflow Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 15(2), pp. 741-754, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Milazzo, Giovanni Pardini |
Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 52(3), pp. 533-571, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pascal Schreck, Tetsuo Ida, Laura Kovács |
Foreword - Formalization of geometry, automated and interactive geometric reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 85(2-4), pp. 71-72, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Vinícius Midena Ramos |
Formalization of Context-Free Language Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 25(2), pp. 214, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wenbin Gan, Xinguo Yu, Mingshu Wang |
Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 28(4), pp. 1940003:1-1940003:28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tianyu Sun, Wensheng Yu |
Formalization of the Axiom of Choice and its Equivalent Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.03930, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Jesse Michael Han, Floris van Doorn |
A formalization of forcing and the unprovability of the continuum hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.10570, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Sadok Ben Yahia |
Contributions to the Formalization and Extraction of Generic Bases of Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.00524, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Anton Mallasto, Tom C. J. Dela Haije, Aasa Feragen |
A Formalization of The Natural Gradient Method for General Similarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.08959, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Antal Spector-Zabusky, Joachim Breitner, Yao Li 0004, Stephanie Weirich |
Embracing a mechanized formalization gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.11724, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
A Formalization of Robustness for Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.10033, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Georgia Avarikioti, Eleftherios Kokoris-Kogias, Roger Wattenhofer |
Divide and Scale: Formalization of Distributed Ledger Sharding Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.10434, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar |
On the Formalization of Importance Measures using HOL Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.01605, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Abhishek Kr Singh, Raja Natarajan |
A Constructive Formalization of the Weak Perfect Graph Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.02211, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Hai Long, Yan Zhu, Lirong Jia, Bo Gao, Jing Liu, Lihong Liu, Heinrich Herre |
An ontological framework for the formalization, organization and usage of TCM-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 19-S(2), pp. 79-89, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aida Kamisalic, David Riaño 0001, Suzana Kert, Tatjana Welzer, Lili Nemec Zlatolas |
Multi-level medical knowledge formalization to support medical practice for chronic diseases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 119, pp. 36-57, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Matthias Brun 0002, Dmitriy Traytel |
Formalization of Generic Authenticated Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Joshua Schneider 0001, Dmitriy Traytel |
Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Thibault Dardinier |
Formalization of Multiway-Join Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Xavier Allamigeon, Ricardo D. Katz |
A Formalization of Convex Polyhedra Based on the Simplex Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 323-345, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Fabian Immler, Christoph Traut |
The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 62(2), pp. 215-236, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Li-Ming Li, Zhi-Ping Shi 0002, Yong Guan, Qianying Zhang, Yong-Dong Li |
Formalization of Geometric Algebra in HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(3), pp. 787-808, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mohamed Yousri Mahmoud, Amy P. Felty |
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(4), pp. 967-1002, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Bohua Zhan |
Formalization of the Fundamental Group in Untyped Set Theory Using Auto2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 517-538, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Boutry, Gabriel Braun, Julien Narboux |
Formalization of the arithmetization of Euclidean plane geometry and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 90, pp. 149-168, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zhenwei Ma, Gang Chen |
基于Coq记录的矩阵形式化方法 (Matrix Formalization Based on Coq Record). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 46(7), pp. 139-145, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Haibin Cai, Hao Wu |
An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(Supplement), pp. 2543-2554, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang |
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 62(12), pp. 1849-1862, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin |
Formalization and Verification of TESAC Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 29(11&12), pp. 1741-1760, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zonghua Li, Xiaofeng Zhou, Zhengwei Ye |
A Formalization Model Transformation Approach on Workflow Automatic Execution from CIM Level to PIM Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 29(9), pp. 1179-1217, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001 |
Logic-Based Formalization of System Requirements for Integrated Clinical Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning for Systems Biology and Medicine ![In: Automated Reasoning for Systems Biology and Medicine, pp. 215-242, 2019, Springer, 978-3-030-17296-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yuxiang Hong, Steven Furnell |
Organizational formalization and employee information security behavioral intentions based on an extended TPB model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber Security ![In: 2019 International Conference on Cyber Security and Protection of Digital Services, Cyber Security 2018, Oxford, United Kingdom, June 3-4, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-0229-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dimia Iberraken, Lounis Adouanc, Dieumet Denis |
Multi-Controller Architecture for Reliable Autonomous Vehicle Navigation: Combination of Model-Driven and Data-Driven Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019, pp. 245-251, 2019, IEEE, 978-1-7281-0560-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nadeem Iqbal, Osman Hasan, Umair Siddique, Falah Awwad |
Formalization of Asymptotic Notations in HOL4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCS ![In: IEEE 4th International Conference on Computer and Communication Systems, ICCCS 2019, Singapore, February 23-25, 2019, pp. 383-387, 2019, IEEE, 978-1-7281-1322-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|