|
|
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 |
13 | Abhishek Kr Singh, Raja Natarajan |
Towards a Constructive Formalization of Perfect Graph Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 183-194, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu |
Formalization and Verification of RTPS StatefulWriter Module Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019., pp. 147-198, 2019, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-48-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Baldoni, Laura Giordano 0001, Ken Satoh |
Renvoi in Private International Law: A Formalization with Modal Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JURIX ![In: Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019., pp. 157-162, 2019, IOS Press, 978-1-64368-048-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Barry Smith 0001, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will, J. Neil Otte |
A First-Order Logic Formalization of the Industrial Ontologies Foundry Signature Using Basic Formal Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOWO ![In: Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Marko Esche, Felix Salwiczek, Federico Grasso Toro |
Formalization of Software Risk Assessment Results in Legal Metrology Based on ISO/IEC 18045 Vulnerability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019, Leipzig, Germany, September 1-4, 2019., pp. 443-447, 2019, 978-83-952357-8-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Isaac del Pozo, Francisco Gómez 0001 |
Formalization of Voice-Leadings and the Nabla Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCM ![In: Mathematics and Computation in Music - 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings, pp. 352-358, 2019, Springer, 978-3-030-21391-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yasmmin Cortes Martins, Maria Cláudia Cavalcanti, Luis Willian Pacheco Arge, Artur Ziviani, Ana Tereza Ribeiro de Vasconcelos |
OntoPPI: Towards Data Formalization on the Prediction of Protein Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantic Research - 13th International Conference, MTSR 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers, pp. 260-271, 2019, Springer, 978-3-030-36598-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
An Inherently-Typed Formalization for Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 11-18, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes |
Category Theoretic Based Formalization of the Verifiable Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2019 IEEE International Systems Conference, SysCon 2019, Orlando, FL, USA, April 8-11, 2019, pp. 1-8, 2019, IEEE, 978-1-5386-8396-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Enrique Monsalvo San Macario, Marta Fernández Batalla, Alexandra González Aguña, José María Santamaría García, Adriana Cercas Duque, Virginia Díaz Teruel, Blanca Gonzalo de Diego, Sara Herrero Jaén, Diego Cobo González |
Algorithm Formalization for Decision Making in Influenza Vaccination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2019: Health and Wellbeing e-Networks for All - Proceedings of the 17th World Congress on Medical and Health Informatics, Lyon, France, 25-30 August 2019., pp. 1003-1006, 2019, IOS Press, 978-1-64368-002-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Christina Elmore |
A Formalization of Cognitive Continuity/Discontinuity, to Settle the Darwin's-Mistake Debate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019, pp. 3417, 2019, cognitivesciencesociety.org, 0-9911967-7-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Parag Jain, Abhijit Mishra, Amar Prakash Azad, Karthik Sankaranarayanan |
Unsupervised Controllable Text Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 6554-6561, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nikki Theeuwes, Geert-Jan van Houtum, Yingqian Zhang 0001, Björn Gadet |
Formalization and Improvement of Ambulance Dispatching in Brabant-Zuidoost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNAIC/BENELEARN ![In: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Rui Xu, Zhiyong Zhang, Zhihong Rao, Jianfeng Chen, Ming Li, Fang Liu, Shengli Pan 0001 |
Cyberspace Surveying and Mapping: Hierarchical Model and Resource Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM Workshops ![In: IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2019, Paris, France, April 29 - May 2, 2019, pp. 68-72, 2019, IEEE, 978-1-7281-1878-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Caterine Silva de Oliveira, Cesar Sanín, Edward Szczerbicki |
Towards Knowledge Formalization and Sharing in a Cognitive Vision Platform for Hazard Control (CVP-HC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (1) ![In: Intelligent Information and Database Systems - 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8-11, 2019, Proceedings, Part I, pp. 53-61, 2019, Springer, 978-3-030-14798-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yucong Duan |
Towards a Periodic Table of conceptualization and formalization on State, Style, Structure, Pattern, Framework, Architecture, Service and so on. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2019, Toyama, Japan, July 8-11, 2019, pp. 133-138, 2019, IEEE, 978-1-7281-1651-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Moharram Challenger, Albert Rosich, Joachim Denil, Hans Vangheluwe |
Towards Formalization of Assembly Knowledge for Product and Assembly Trade-Off Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAF (Co-Located Events) ![In: STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15 - 19, 2019., pp. 55-60, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich |
Formalization and Algebraic Modeling of Tokenomics Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 577-584, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Vitalina Babenko |
Formalization of the Model of Management of the Technological Innovations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 595-602, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak |
Formalization and Algebraic Modeling of University Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 585-594, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Zuzana Bilanová, Ján Perhác |
Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI PhD Symposium ![In: Proceedings of ICTERI 2019. Volume III: PhD Symposium co-located with 15th International Conference `ICT in Education, Research, and Industrial Applications 2019` (ICTERI 2019), Kherson, Ukraine, June 12 - 15, 2019., pp. 44-52, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Marius Michaelis, Olga Streibel |
Documentation Gap in Ontology Creation: Insights into the Reality of Knowledge Formalization in a Life Science Company. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4HCLS ![In: 12th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences, pp. 74-83, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Juri Buchmüller, Eren Cakmak, Natalia V. Andrienko, Gennady L. Andrienko, Jolle W. Jolles, Daniel A. Keim |
Moving Together: Towards a Formalization of Collective Movement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroVA@EuroVis ![In: 10th International EuroVis Workshop on Visual Analytics, EuroVA@EuroVis 2019, June 3, 2019, Porto, Portugal, pp. 37-41, 2019, Eurographics Association, 978-3-03868-087-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI 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) |
ITP ![In: 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., pp. 19:1-19:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-122-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Daniel E. Severín |
Formalization of the Domination Chain with Weighted Parameters (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA., pp. 36:1-36:7, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-122-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI 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) |
GSI ![In: Geometric Science of Information - 4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019, Proceedings, pp. 599-607, 2019, Springer, 978-3-030-26979-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul |
PCF-based formalization of the parallel composition of automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS-DE ![In: Proceedings of the 1st International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2019, Irkutsk, Russia, July 8-9, 2019., pp. 29-41, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Takafumi Sakamoto, Yugo Takeuchi |
Tentative Formalization of Human-Agent Interaction for Model-Based Interaction Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAI ![In: Proceedings of the 7th International Conference on Human-Agent Interaction, HAI 2019, Kyoto, Japan, October 06-10, 2019, pp. 319-320, 2019, ACM, 978-1-4503-6922-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Evgenii D. Viazilov, Alexander Mikheev |
Formalization of the Disasters Impacts on Enterprises and the Population and Recommendations for Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMDID/RCDL ![In: Selected Papers of the XXI International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2019), Kazan, Russia, October 15-18, 2019., pp. 95-106, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar |
On the formalization of importance measures using HOL theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FormaliSE@ICSE ![In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019., pp. 109-118, 2019, IEEE / ACM, 978-1-7281-3373-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Eduard Klyshinsky, Valeriya V. Gribova, Carina Shakhgeldyan, Elena A. Shalfeeva, Dmitry B. Okun, Boris I. Geltser, Tatiana A. Gorbach, Olesia D. Karpik |
Formalization of Medical Records Using an Ontology: Patient Complaints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIST (Supplement) ![In: Analysis of Images, Social Networks and Texts - 8th International Conference, AIST 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers, pp. 143-153, 2019, Springer, 978-3-030-39574-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Flora Amato, Giovanni Cozzolino, Francesco Moscato 0001 |
Domain Formalization for Metaphorical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIDWT ![In: Advances in Internet, Data and Web Technologies, The 7th International Conference on Emerging Internet, Data and Web Technologies, EIDWT-2019s, Fujairah Campus, United Arab Emirates, 26-28 February 2019., pp. 161-169, 2019, Springer, 978-3-030-12838-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Rogério Winter, Ferrucio de Franco Rosa, Rodrigo Bonacin, Mário Jino |
Architecture and Conceptual Formalization of Cyber-Mission Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 16th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2019, Abu Dhabi, UAE, November 3-7, 2019, pp. 1-8, 2019, IEEE Computer Society, 978-1-7281-5052-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Raissa Uskenbayeva, Abu Kuandykov, Zhuldyz Kalpeyeva, Aizhan Kassymova |
Formalization of Applications for Processing in the e-Commerce System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBI (2) ![In: 21st IEEE Conference on Business Informatics, CBI 2019, Moscow, Russia, July 15-17, 2019, Volume 2 - Research-in-Progress Papers and Workshop Papers, pp. 13-15, 2019, IEEE, 978-1-7281-0650-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Igor Buzhinsky |
Formalization of natural language requirements into temporal logics: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019, pp. 400-406, 2019, IEEE, 978-1-7281-2927-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Andréa Corrêa Flôres Albuquerque, José Laurindo Campos dos Santos |
A Progressive Formalization of Tacit Knowledge to Improve Semantic Expressiveness of Biodiversity Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMBig ![In: Information Management and Big Data - 6th International Conference, SIMBig 2019, Lima, Peru, August 21-23, 2019, Proceedings, pp. 151-164, 2019, Springer, 978-3-030-46139-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Maletzky |
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM ![In: Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings, pp. 155-170, 2019, Springer, 978-3-030-23249-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qingxiang Wang |
Automating Formalization of Mathematics with Machine Learning and Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Andreas Seitz |
An Architectural Style for Fog Computing: Formalization and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Behrang Moradi |
Contribution à la formalisation et à l'évaluation de propriétés non-fonctionnelles pour l'ingénierie de système complexe : application à la résilience. (Contribution to the formalization and evaluation of non-functional requirements for complex system engineering : application to resilience). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
13 | Dipty Tripathi, Shreya Banerjee 0002, Anirban Sarkar 0002 |
Formalization of business workflow with typed attributed graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Inf. Syst. ![In: Int. J. Web Inf. Syst. 14(3), pp. 372-398, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz |
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018, pp. 151-167, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
First Steps Towards a Formalization of Forcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018, pp. 119-136, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Miguel Morales Trujillo, Hanna Oktaba, Francisco Hernández Quiroz, Boris Escalante-Ramírez |
Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 37(1), pp. 109-141, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, Michael Schrefl |
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(1), pp. 233-268, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Chris Partridge, Sergio de Cesare, Andrew Mitchell, James Odell |
Formalization of the classification pattern: survey of classification modeling in information systems engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(1), pp. 167-203, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Bernard Carré, Gilles Vanwormhoudt, Olivier Caron |
On submodels and submetamodels with their relation - A uniform formalization through inclusion properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 17(4), pp. 1105-1137, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Dimitrios Anagnostakis, James M. Ritchie, Theodore Lim, Raymond C. W. Sung, Richard G. Dewar |
Automated Coordinate Measuring Machine Inspection Planning Knowledge Capture and Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 18(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ricardo Sousa Silvestre |
A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1439-1472, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Adnan Rashid, Osman Hasan |
Formalization of Lerch's Theorem using HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(8), pp. 1623-1652, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Andrej Bauer, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Assia Mahboubi |
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 8(8), pp. 130-155, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Chunna Zhao, Shanshan Li |
Formalization of fractional order PD control systems in HOL4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 706, pp. 22-34, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Welch 0001 |
Formalization Integrated Development Environments: The Current Landscape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 43(3), pp. 17, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko |
Implementation of the Composition-nominative Approach to Program Formalization in Mizar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. J. Moldova ![In: Comput. Sci. J. Moldova 26(1), pp. 59-76, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Reynald Affeldt, Cyril Cohen, Damien Rouhling |
Formalization Techniques for Asymptotic Reasoning in Classical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Formaliz. Reason. ![In: J. Formaliz. Reason. 11(1), pp. 43-76, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic |
Formalization of Automated Trading Systems in a Concurrent Linear Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity-TLLA@FLoC ![In: Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018., pp. 1-14, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Martin Mose Bentzen, Felix Lindner 0001 |
A Formalization of Kant's Second Formulation of the Categorical Imperative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.03160, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Erick Lavoie, Laurie J. Hendren |
A Formalization for Specifying and Implementing Correct Pull-Stream Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.06144, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Sylvie Davies |
A General Approach to State Complexity of Operations: Formalization and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.08476, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Janardan Misra |
An Inductive Formalization of Self Reproduction in Dynamical Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.08925, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Parag Jain, Abhijit Mishra, Amar Prakash Azad, Karthik Sankaranarayanan |
Unsupervised Controllable Text Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.04556, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Yujing Hu, Qing Da, Anxiang Zeng, Yang Yu 0001, Yinghui Xu |
Reinforcement Learning to Rank in E-Commerce Search Engine: Formalization, Analysis, and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.00710, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Adnan Rashid, Osman Hasan |
Formalization of Lerch's Theorem using HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.03049, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh |
One Formalization of Virtue Ethics via Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.07797, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP 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) |
CoRR ![In: CoRR abs/1812.11927, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Frank Dignum |
Interactions as Social Practices: towards a formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.08751, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Martín Copes, Nora Szasz, Álvaro Tasistro |
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@FSCD ![In: Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018., pp. 27-41, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Floris van Doorn |
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.10690, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Abhishek Kr Singh, Raja Natarajan |
Towards a constructive formalization of Perfect Graph Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.11108, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP 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) |
CoRR ![In: CoRR abs/1801.07844, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP 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) |
CoRR ![In: CoRR abs/1812.03624, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Dmitry Morozov, Mario Lezoche, Hervé Panetto |
Knowledge extraction, modeling and formalization: EEG case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1809.09955, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
First steps towards a formalization of Forcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.05174, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Amel Benabbou, Safia Nait Bahloul |
Automated Context Formalization for Context-aware Specification Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Syst. Model. Des. ![In: Int. J. Inf. Syst. Model. Des. 9(3), pp. 23-47, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Sumant Pushp, Adity Saikia, Md. Arif Khan, Shyamanta M. Hazarika |
A cognitively enhanced collaborative control architecture for an intelligent wheelchair: Formalization, implementation and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 49, pp. 114-127, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Nicholas Stifter, Aljosha Judmayer, Philipp Schindler, Alexei Zamyatin, Edgar R. Weippl |
Agreement with Satoshi - On the Formalization of Nakamoto Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 400, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch |
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Roy Overbeek |
Formalization of Concurrent Revisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann |
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Alexander Bentkamp |
Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2018, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Marco Maggesi |
A Formalization of Metric Spaces in HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 60(2), pp. 237-254, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Anders Schlichtkrull |
Formalization of the Resolution Calculus for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 61(1-4), pp. 455-484, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Aida Kamisalic, David Riaño 0001, Tatjana Welzer |
Formalization and acquisition of temporal knowledge for decision support in medical processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Methods Programs Biomed. ![In: Comput. Methods Programs Biomed. 158, pp. 207-228, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Esther H. Park Lee, Zofia Lukszo, Paulien M. Herder |
Conceptualization of Vehicle-to-Grid Contract Types and Their Formalization in Agent-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2018, pp. 3569129:1-3569129:11, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Edans Flavius de Oliveira Sandes, George Luiz Medeiros Teodoro, Maria Emília M. T. Walter, Xavier Martorell, Eduard Ayguadé, Alba Cristina Magalhaes Alves de Melo |
Formalization of Block Pruning: Reducing the Number of Cells Computed in Exact Biological Sequence Comparison Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 61(5), pp. 687-713, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei |
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 28(11-12), pp. 1657-1677, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Héctor Echavarría-Heras, Cecilia Leal Ramírez, Juan Ramón Castro-Rodríguez, Enrique Villa-Diharce, Oscar Castillo 0001 |
A Takagi-Sugeno-Kang Fuzzy Model Formalization of Eelgrass Leaf Biomass Allometry with Application to the Estimation of Average Biomass of Leaves in Shoots: Comparing the Reproducibility Strength of the Present Fuzzy and Related Crisp Proxies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Logic Augmentation of Neural and Optimization Algorithms ![In: Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications, pp. 329-362, 2018, Springer, 978-3-319-71007-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Natalia A. Serdyukova, Vladimir I. Serdyukov |
Algebraic Formalization of Smart Systems - Theory and Practice ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
DOI RDF |
|
13 | Bogdan B. Buyak, Ivan M. Tsidylo, Victor I. Repskyi, Vitaliy P. Lyalyuk |
Stages of Conceptualization and Formalization in the Design of the Model of the Neuro-Fuzzy Expert System of Professional Selection of Pupils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AREdu ![In: Proceedings of the 1st International Workshop on Augmented Reality in Education, Kryvyi Rih, Ukraine, October 2, 2018., pp. 112-121, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Jakub Zakrzewski 0001 |
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 229-247, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Coglio |
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 177-195, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Diana Meléndez, Thierry Coudert, Laurent Geneste, Juan Camilo Romero Bejarano, Aymeric De Valroger |
Formalization and Reuse of Collaboration Experiences in Industrial Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM ![In: Complex Systems Design & Management, Proceedings of the Ninth International Conference on Complex Systems Design & Management, CSD&M, Paris, France, 18-19 December 2018., pp. 157-167, 2018, Springer, 978-3-030-04208-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ryota Akiyoshi |
A Formalization of Brouwer's Argument for Bar Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 77-90, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
Formalization of the Undecidability of the Halting Problem for a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 196-209, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Fabíola Gonçalves C. Ribeiro, Achim Rettberg, Carlos Eduardo Pereira, Charles Steinmetz, Michel S. Soares |
An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 21st IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapore, Singapore, May 29-31, 2018, pp. 59-66, 2018, IEEE Computer Society, 978-1-5386-5847-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Guohui Wang, Yong Guan, Zhiping Shi 0002, Qianying Zhang, Xiaojuan Li, Yongdong Li |
Formalization of Symplectic Geometry in HOL-Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 270-283, 2018, Springer, 978-3-030-02449-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao |
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018., pp. 169-168, 2018, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-44-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Martin Bodin, Tomás Diaz, Éric Tanter |
A trustworthy mechanized formalization of R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2018, Boston, MA, USA, November 6, 2018, pp. 13-24, 2018, ACM, 978-1-4503-6030-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Taro Kanno, Daichi Mitsuhashi, Satoru Inoue, Daisuke Karikawa, Kohei Nonose |
Formalization and Quantification of Team Contexts for Meso-cognitive Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHSED ![In: Human Systems Engineering and Design - Proceedings of the 1st International Conference on Human Systems Engineering and Design: Future Trends and Applications, IHSED 2018, Reims, France, October 25-27, 2018, pp. 838-844, 2018, Springer, 978-3-030-02052-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Petr Velan |
Improving network flow definition: Formalization and applicability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 2018 IEEE/IFIP Network Operations and Management Symposium, NOMS 2018, Taipei, Taiwan, April 23-27, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-3416-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
|
|