Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
49 | Do-Hyoung Kim, Kiwon Chong |
A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 208-216, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Verification, Consistency, Formalizing, Object-Oriented Analysis, Object Modeling Technique |
46 | |
Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![AAAI The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Chitta Baral |
Organizing Committee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
A Tool for Knowledge Base Integration and Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 16-21, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Boris A. Galitsky |
Building a Repository of Background Knowledge Using Semantic Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 22-27, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Michael Gelfond, J. Nelson Rushton, Weijun Zhu |
Combining Logical and Probabilistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 50-55, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Vladimir Lifschitz, Wanwan Ren |
Towards a Modular Action Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 33-43, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Richard B. Scherl |
Development of a Background Knowledge-Base about Shipping and Smuggling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 72-, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Peter Clark, Philip Harrison, Tom Jenkins, John A. Thompson, Rick Wojcik |
From WordNet to a Knowlege Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 10-15, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Cynthia Matuszek, John Cabral, Michael Witbrock, John DeOliveira |
An Introduction to the Syntax and Content of Cyc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 44-49, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Chitta Baral, Saadat Anwar, Juraj Dzifcak |
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 1-9, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Michael Gelfond |
Going Places: Notes on a Modular Development of Knowledge about Travel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 56-66, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Alfredo Gabaldon |
Hierarchical Task Libraries in (Con) Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 67-71, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
46 | Joohyung Lee 0002, Vladimir Lifschitz |
A Knowledge Module: Buying and Selling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 28-32, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
40 | W. Lewis Johnson, Martin S. Feather, David R. Harris 0002 |
Representation and Presentation of Requirements Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(10), pp. 853-869, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
requirements knowledge, target domains, formalizing system requirements, evolution knowledge, automated focusing support, formal specification, knowledge representation, specifications, knowledge based systems, consistency, representation, system architecture, software reusability, presentation, propagation, ARIES |
33 | Huaikou Miao, Junmei Sun, Xiaoxia Cao |
Formalizing and analyzing service oriented software architecture style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 387-390, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Xiaofeng Tao, Changjun Jiang |
Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (1) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part I, pp. 1008-1011, 2003, Springer, 3-540-21988-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Zhanjun Li, Yongzhong Huang, Shaozhong Guo |
Using Pi-Calculus to Formalize Grid Workflow Parallel Computing Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 1568-1571, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel computing patterns, Pi Calculus, grid workflow, formalizing description |
28 | Silvia Susana Reyes |
Formalizing the Ancient Greek Participle Inflection with NooJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NooJ ![In: Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities - 16th International Conference, NooJ 2022, Rosario, Argentina, June 14-16, 2022, Revised Selected Papers, pp. 26-38, 2022, Springer, 978-3-031-23316-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Javiera Jacobsen, Walter Koza, Mirian Muñoz, Francisca Saiz |
Formalizing Predicates for Discovery Under the Lexicon Grammar Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NooJ ![In: Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities - 15th International Conference, NooJ 2021, Besançon, France, June 9-11, 2021, Revised Selected Papers, pp. 62-71, 2021, Springer, 978-3-030-92860-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ilham Blanchete, Mohammed Mourchid, Samir Mbarki, Abdelaziz Mouloudi |
Formalizing Arabic Inflectional and Derivational Verbs Based on Root and Pattern Approach Using NooJ Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NooJ ![In: Formalizing Natural Languages with NooJ and Its Natural Language Processing Applications - 11th International Conference, NooJ 2017, Kenitra and Rabat, Morocco, May 18-20, 2017, Revised Selected Papers, pp. 52-65, 2017, Springer, 978-3-319-73419-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Olga Kosheleva, Renata Reiser, Vladik Kreinovich |
Formalizing the Informal, Precisiating the Imprecise: How Fuzzy Logic Can Help Mathematicians and Physicists by Formalizing Their Intuitive Ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards the Future of Fuzzy Logic ![In: Towards the Future of Fuzzy Logic, pp. 301-321, 2015, Springer, 978-3-319-18749-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Vladik Kreinovich |
Formalizing the informal, precisiating the imprecise: How fuzzy logic can help mathematicians and physicists by formalizing their intuitive ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAFIPS/WConSC ![In: 2015 Annual Conference of the North American Fuzzy Information Processing Society (NAFIPS) held jointly with 2015 5th World Conference on Soft Computing (WConSC), Redmond, WA, USA, August 17-19, 2015, pp. 1, 2015, IEEE, 978-1-4673-7248-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ana Luiza Dias, Júnia Coutinho Anacleto Silva, Luciana Martha Silveira, Rosângela Dellosso Penteado |
Formalizing motivational patterns based on colors and their cultural meanings for developing web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 152-153, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
motivational patterns, emotions, colors, collaborative work, common sense, web project |
23 | Nicolas Magaud, Julien Narboux, Pascal Schreck |
Formalizing Desargues' theorem in Coq using ranks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1110-1115, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Desargues, rank, formalization, projective geometry, Coq |
23 | Nan Wang, Dantong Ouyang, Shanwu Sun, Chengli Zhao |
Formalizing the Modeling Process of Physical Systems in MBD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICI ![In: Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 685-695, 2009, Springer, 978-3-642-05252-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
G-KRA Model, Knowledge Modeling, Model-Based Diagnosis |
23 | Zheng Yan 0002, Rong Yan |
Formalizing Trust Based on Usage Behaviours for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pp. 194-208, 2009, Springer, 978-3-642-02703-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Toufik Marir, Farid Mokhati, Hassina Seridi-Bouchelaghem |
Formalizing ARTIS Agent Model Using RT-Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, pp. 226-231, 2009, Springer, 978-3-642-04142-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ARTIS Agent, Real-Time Maude, Formal specification, Validation |
23 | Allen H. Renear, Karen M. Wickett, Richard J. Urban, David Dubin |
The return of the trivial: problems formalizing collection/item metadata relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008, pp. 464, 2008, ACM, 978-1-59593-998-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
metadata, logic, collections, dublin core |
23 | Yi Cai 0001, Ho-fung Leung |
Formalizing Object Typicality in Context-Aware Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (2) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2, pp. 233-240, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Katharina Kaiser, Silvia Miksch |
Formalizing 'Living Guidelines' Using LASSIE: A Multi-step Information Extraction Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings, pp. 401-410, 2007, Springer, 978-3-540-73598-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Mahdi Niamanesh, Rasool Jalili |
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 49-64, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Lu Songfeng, Sun Chengfu, Ma Xinjian |
Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 514-517, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Martin Fischer 0010 |
Formalizing Construction Knowledge for Concurrent Performance-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EG-ICE ![In: Intelligent Computing in Engineering and Architecture, 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers, pp. 186-205, 2006, Springer, 3-540-46246-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Glenn Munkvold, Gunnar Ellingsen, Hege Koksvik |
Formalizing work: reallocating redundancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2006 ACM Conference on Computer Supported Cooperative Work, CSCW 2006, Banff, Alberta, Canada, November 4-8, 2006, pp. 59-68, 2006, ACM, 1-59593-249-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
health care work, collaboration, coordination, transformation, redundancy, informal, formal, nursing |
23 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Improvements Towards Formalizing UML State Diagrams in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 176-184, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Xuede Zhan, Huaikou Miao, Ling Liu |
Formalizing the Semantics of UML Statecharts with Z*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1116-1121, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
23 | Xuede Zhan, Huaikou Miao |
An Approach to Formalizing the Semantics of UML Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 753-765, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | William M. Farmer |
Formalizing Undefinedness Arising in Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 475-489, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Uta Priss |
Formalizing Botanical Taxonomies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings, pp. 309-322, 2003, Springer, 3-540-40576-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Huaikou Miao, Ling Liu, Li Li |
Formalizing UML Models with Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 523-534, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
Formalizing Properties of Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings, pp. 72-87, 2002, Springer, 3-540-43410-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Aarati Parmar |
Formalizing Approximate Objects and Theories: Some Initial Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 178-195, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Betty H. C. Cheng |
A Metamodel-Based Approach to Formalizing UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 278-, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy |
Formalizing Implementation Strategies for First-Class Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 88-103, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Fahringer, Michael Gerndt, Graham D. Riley, Jesper Larsson Träff |
Formalizing OpenMP Performance Properties with ASL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, Third International Symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000. Proceedings, pp. 428-439, 2000, Springer, 3-540-41128-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
performance analysis, knowledge representation, OpenMP, language design, performance problems |
23 | John Harrison 0001 |
Formalizing Basic First Order Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 153-170, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini |
Formalizing Belief Reports - The Approach and a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 62-75, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Dirk Eisenbiegler, Klaus Schneider 0001, Ramayya Kumar |
A Functional Approach for Formalizing Regular Hardware Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 101-114, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Raymond Reiter |
On Formalizing Database Updates: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings, pp. 10-20, 1992, Springer, 3-540-55270-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | M. Saacks, J. Hassell |
Two-Level Grammars as a Technique for Formalizing Programming Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 305-308, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Anas Abou El Kalam, Philippe Balbiani |
A Policy Language for Modelling Recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Emerging Challenges for Security, Privacy and Trust, 24th IFIP TC 11 International Information Security Conference, SEC 2009, Pafos, Cyprus, May 18-20, 2009. Proceedings, pp. 176-189, 2009, Springer, 978-3-642-01243-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
Developing Topology Discovery in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 1-19, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Artur Boronat, Reiko Heckel, José Meseguer 0001 |
Rewriting Logic Semantics and Verification of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 18-33, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude |
19 | Marc Denecker, Eugenia Ternovska |
A logic of nonmonotone inductive definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(2), pp. 14:1-14:52, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic programming, classical logic, Inductive definitions |
19 | Stefan Mandl, Bernd Ludwig |
Coping with Unconsidered Context of Formalized Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings, pp. 342-355, 2007, Springer, 978-3-540-74254-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
Machine Learning Biochemical Networks from Temporal Logic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comp. Sys. Biology ![In: Transactions on Computational Systems Biology VI, pp. 68-94, 2006, Springer, 3-540-45779-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Riccardo Rosati 0001 |
Multi-modal nonmonotonic logics of minimal knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 48(3-4), pp. 169-185, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T30 |
19 | Brigitte Pientka |
Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 3-10, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Robert Milewski |
Transformations of MML Database's Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 376-388, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001 |
A Formalization of Off-Line Guessing for Security Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, pp. 363-379, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Hongwei Xi |
Applied Type System: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 394-408, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Joel C. Adams |
Chance-It: an object-oriented capstone project for CS-1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 10-14, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Michael Gelfond, Tran Cao Son |
Reasoning with Prioritized Defaults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPKR ![In: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers, pp. 164-223, 1997, Springer, 3-540-64958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Uri J. Schild, Shai Herzog |
The Use of Meta-Rules in Rule Based Legal Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 100-109, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Anthony Hunter |
A Conceptualization of Preferences in Non-Monotonic Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 174-188, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Labelled Deductive Systems, Non-monotonic logics |
14 | Wenjun Shi, Qinxiang Cao, Yuxin Deng |
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 33(6), pp. 2450112:1-2450112:25, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Daniele Pusceddu, Massimo Bartoletti |
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06064, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ashok Dahal, Raphaël Huser, Luigi Lombardo |
At the junction between deep learning and statistics of extremes: formalizing the landslide hazard definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14210, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Junyu Liu, Wangkai Jin, Xiangjun Peng |
Formalizing Feint Actions, and Example Studies in Two-Player Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07931, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Raphaël Monat, Aymeric Fromherz, Denis Merigoux |
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08935, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos |
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 43(2), pp. 203-238, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Simpson, Matthias Dellago, Daniel W. Woods |
Formalizing Attack Trees To Support Economic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 67(1), pp. 220-235, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Raphaël Monat, Aymeric Fromherz, Denis Merigoux |
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP (2) ![In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 421-450, 2024, Springer, 978-3-031-57266-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Bertram Poettering, Simon Rastikian |
Formalizing Hash-then-Sign Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography (1) ![In: Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part I, pp. 289-315, 2024, Springer, 978-3-031-57720-8. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Nikolai Kudasov, Emily Riehl, Jonathan Weinberger |
Formalizing the ∞-Categorical Yoneda Lemma. ![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. 274-290, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Siddhartha Gadgil, Anand Rao Tadipatri |
Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. ![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. 177-189, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui |
Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (2) ![In: Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 2, pp. 199-212, 2024, Springer, 978-3-031-57852-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jianyu Chen, Jinlian Luo, Wenan Hu, Jun Ma |
Fit into work! From formalizing governance of gig platform ecosystems to helping gig workers craft their platform work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 174, pp. 114016, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Azwan Ibrahim, Faizan Qamar, Zarina Shukur, Nasharuddin Zainal, Nazri Marzuki, Maria Ulfah Siregar |
Formalizing Attack Tree on Security Object for MySANi in Legal Metrology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 11(1), pp. 49, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Nikolai Kudasov, Emily Riehl, Jonathan Weinberger |
Formalizing the ∞-categorical Yoneda lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.08340, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Daniele Malitesta, Giandomenico Cornacchia, Claudio Pomo, Felice Antonio Merra, Tommaso Di Noia, Eugenio Di Sciascio |
Formalizing Multimedia Recommendation through Multimodal Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.05273, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Joanne Taery Kim, Wenhao Yu 0003, Yash Kothari, Jie Tan, Greg Turk, Sehoon Ha |
Transforming a Quadruped into a Guide Robot for the Visually Impaired: Formalizing Wayfinding, Interaction Modeling, and Safety Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.14055, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese |
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.05128, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Emmanouil Karystinaios, Francesco Foscarin, Florent Jacquemard, Masahiko Sakai, Satoshi Tojo, Gerhard Widmer |
8+8=4: Formalizing Time Units to Handle Symbolic Music Durations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.14952, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Andrei Aleksandrov, Kim Völlinger |
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12893, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Elif Üsküplü |
Formalizing two-level type theory with cofibrant exo-nat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.09395, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Marco Alecci, Mauro Conti, Francesco Marchiori, Luca Martinelli, Luca Pajola |
Your Attack Is Too DUMB: Formalizing Attacker Scenarios for Adversarial Transferability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.15363, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Martin Berglund, Brink van der Merwe |
Formalizing BPE Tokenization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCMA ![In: Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2023, Famagusta, North Cyprus, 18th-19th September, 2023., pp. 16-27, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yichen Xu, Martin Odersky |
Formalizing Box Inference for Capture Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.06496, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | María Inés de Frutos-Fernández |
Formalizing Norm Extensions and Applications to Number Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17234, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri |
Formalizing Natural Language Intent into Program Specifications via Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01831, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Benedikt Ahrens, Ralph Matthes, Kobe Wullaert |
Formalizing Monoidal Categories and Actions for Syntax with Binders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16270, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Axel Ljungström, Anders Mörtberg |
Formalizing π4(S^3) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.00151, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Qingzong Li, Yuqian Yang, Maolin Yang, Pingyu Jiang |
A graphical model for formalizing health maintenance activities in the context of the whole equipment lifecycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 58, pp. 102226, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Étienne André, Shuang Liu 0007, Yang Liu 0003, Christine Choppy, Jun Sun 0001, Jin Song Dong |
Formalizing UML State Machines for Automated Verification - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 55(13s), pp. 277:1-277:47, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bolton Bailey, Andrew Miller |
Formalizing Soundness Proofs of SNARKs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 656, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Daniel J. Bernstein, Tung Chou |
CryptAttackTester: formalizing attack analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 940, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Muhammad Irfan Khalid, Mansoor Ahmed, Jungsuk Kim |
Enhancing Data Protection in Dynamic Consent Management Systems: Formalizing Privacy and Security Definitions with Differential Privacy, Decentralization, and Zero-Knowledge Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(17), pp. 7604, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shanmugapriya T |
Developing Computational Models for Formalizing Concepts in the British Colonial India Corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Humanit. Q. ![In: Digit. Humanit. Q. 17(3), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|