|
|
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. |
ICLA |
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. |
SEKE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Matteo Baldoni, Laura Giordano 0001, Ken Satoh |
Renvoi in Private International Law: A Formalization with Modal Contexts. |
JURIX |
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. |
JOWO |
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. |
FedCSIS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Isaac del Pozo, Francisco Gómez 0001 |
Formalization of Voice-Leadings and the Nabla Algorithm. |
MCM |
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. |
MTSR |
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. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes |
Category Theoretic Based Formalization of the Verifiable Design Process. |
SysCon |
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. |
MedInfo |
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. |
CogSci |
2019 |
DBLP BibTeX RDF |
|
13 | Parag Jain, Abhijit Mishra, Amar Prakash Azad, Karthik Sankaranarayanan |
Unsupervised Controllable Text Formalization. |
AAAI |
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. |
BNAIC/BENELEARN |
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. |
INFOCOM Workshops |
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). |
ACIIDS (1) |
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. |
SNPD |
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. |
STAF (Co-Located Events) |
2019 |
DBLP BibTeX RDF |
|
13 | Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich |
Formalization and Algebraic Modeling of Tokenomics Projects. |
ICTERI Workshops |
2019 |
DBLP BibTeX RDF |
|
13 | Vitalina Babenko |
Formalization of the Model of Management of the Technological Innovations. |
ICTERI Workshops |
2019 |
DBLP BibTeX RDF |
|
13 | Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak |
Formalization and Algebraic Modeling of University Economics. |
ICTERI Workshops |
2019 |
DBLP BibTeX RDF |
|
13 | Zuzana Bilanová, Ján Perhác |
Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic. |
ICTERI PhD Symposium |
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. |
SWAT4HCLS |
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. |
EuroVA@EuroVis |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jesse Michael Han, Floris van Doorn |
A Formalization of Forcing and the Unprovability of the Continuum Hypothesis. |
ITP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Daniel E. Severín |
Formalization of the Domination Chain with Weighted Parameters (Short Paper). |
ITP |
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. |
GSI |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul |
PCF-based formalization of the parallel composition of automata. |
ICCS-DE |
2019 |
DBLP BibTeX RDF |
|
13 | Takafumi Sakamoto, Yugo Takeuchi |
Tentative Formalization of Human-Agent Interaction for Model-Based Interaction Design. |
HAI |
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. |
DAMDID/RCDL |
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. |
FormaliSE@ICSE |
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. |
AIST (Supplement) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Flora Amato, Giovanni Cozzolino, Francesco Moscato 0001 |
Domain Formalization for Metaphorical Reasoning. |
EIDWT |
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. |
AICCSA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Raissa Uskenbayeva, Abu Kuandykov, Zhuldyz Kalpeyeva, Aizhan Kassymova |
Formalization of Applications for Processing in the e-Commerce System. |
CBI (2) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Igor Buzhinsky |
Formalization of natural language requirements into temporal logics: a survey. |
INDIN |
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. |
SIMBig |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Maletzky |
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. |
CICM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qingxiang Wang |
Automating Formalization of Mathematics with Machine Learning and Data Mining. |
CICM Workshops |
2019 |
DBLP BibTeX RDF |
|
13 | Andreas Seitz |
An Architectural Style for Fog Computing: Formalization and Application. |
|
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). |
|
2019 |
RDF |
|
13 | Dipty Tripathi, Shreya Banerjee 0002, Anirban Sarkar 0002 |
Formalization of business workflow with typed attributed graph. |
Int. J. Web Inf. Syst. |
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. |
LSFA |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
First Steps Towards a Formalization of Forcing. |
LSFA |
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. |
Comput. Informatics |
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. |
Softw. Syst. Model. |
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. |
Softw. Syst. Model. |
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. |
Softw. Syst. Model. |
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. |
J. Comput. Inf. Sci. Eng. |
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. |
FLAP |
2018 |
DBLP BibTeX RDF |
|
13 | Adnan Rashid, Osman Hasan |
Formalization of Lerch's Theorem using HOL Light. |
FLAP |
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). |
Dagstuhl Reports |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Chunna Zhao, Shanshan Li |
Formalization of fractional order PD control systems in HOL4. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Welch 0001 |
Formalization Integrated Development Environments: The Current Landscape. |
ACM SIGSOFT Softw. Eng. Notes |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko |
Implementation of the Composition-nominative Approach to Program Formalization in Mizar. |
Comput. Sci. J. Moldova |
2018 |
DBLP BibTeX RDF |
|
13 | Reynald Affeldt, Cyril Cohen, Damien Rouhling |
Formalization Techniques for Asymptotic Reasoning in Classical Analysis. |
J. Formaliz. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic |
Formalization of Automated Trading Systems in a Concurrent Linear Framework. |
Linearity-TLLA@FLoC |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Martin Mose Bentzen, Felix Lindner 0001 |
A Formalization of Kant's Second Formulation of the Categorical Imperative. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Erick Lavoie, Laurie J. Hendren |
A Formalization for Specifying and Implementing Correct Pull-Stream Modules. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Sylvie Davies |
A General Approach to State Complexity of Operations: Formalization and Limitations. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Janardan Misra |
An Inductive Formalization of Self Reproduction in Dynamical Hierarchies. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Parag Jain, Abhijit Mishra, Amar Prakash Azad, Karthik Sankaranarayanan |
Unsupervised Controllable Text Formalization. |
CoRR |
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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Adnan Rashid, Osman Hasan |
Formalization of Lerch's Theorem using HOL Light. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh |
One Formalization of Virtue Ethics via Learning. |
CoRR |
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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Frank Dignum |
Interactions as Social Practices: towards a formalization. |
CoRR |
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. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Floris van Doorn |
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Abhishek Kr Singh, Raja Natarajan |
Towards a constructive formalization of Perfect Graph Theorems. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang |
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Mohamed Yousri Mahmoud, Amy P. Felty |
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Dmitry Morozov, Mario Lezoche, Hervé Panetto |
Knowledge extraction, modeling and formalization: EEG case study. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf |
First steps towards a formalization of Forcing. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
13 | Amel Benabbou, Safia Nait Bahloul |
Automated Context Formalization for Context-aware Specification Approach. |
Int. J. Inf. Syst. Model. Des. |
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. |
Cogn. Syst. Res. |
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. |
IACR Cryptol. ePrint Arch. |
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. |
Arch. Formal Proofs |
2018 |
DBLP BibTeX RDF |
|
13 | Roy Overbeek |
Formalization of Concurrent Revisions. |
Arch. Formal Proofs |
2018 |
DBLP BibTeX RDF |
|
13 | Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann |
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. |
Arch. Formal Proofs |
2018 |
DBLP BibTeX RDF |
|
13 | Alexander Bentkamp |
Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms. |
Arch. Formal Proofs |
2018 |
DBLP BibTeX RDF |
|
13 | Marco Maggesi |
A Formalization of Metric Spaces in HOL Light. |
J. Autom. Reason. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Anders Schlichtkrull |
Formalization of the Resolution Calculus for First-Order Logic. |
J. Autom. Reason. |
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. |
Comput. Methods Programs Biomed. |
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. |
Complex. |
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. |
Comput. J. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei |
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. |
Int. J. Softw. Eng. Knowl. Eng. |
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. |
Fuzzy Logic Augmentation of Neural and Optimization Algorithms |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Natalia A. Serdyukova, Vladimir I. Serdyukov |
Algebraic Formalization of Smart Systems - Theory and Practice |
|
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. |
AREdu |
2018 |
DBLP BibTeX RDF |
|
13 | Jakub Zakrzewski 0001 |
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Alessandro Coglio |
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars. |
VSTTE |
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. |
CSDM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Ryota Akiyoshi |
A Formalization of Brouwer's Argument for Bar Induction. |
WoLLIC |
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. |
WoLLIC |
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. |
ISORC |
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. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao |
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. |
SEKE |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Martin Bodin, Tomás Diaz, Éric Tanter |
A trustworthy mechanized formalization of R. |
DLS |
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. |
IHSED |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Petr Velan |
Improving network flow definition: Formalization and applicability. |
NOMS |
2018 |
DBLP DOI BibTeX RDF |
|
|
|