Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue |
Formalization of a Big Graph API in Coq. |
HPCS |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Florian Faissole |
Formalization and Closedness of Finite Dimensional Subspaces. |
SYNASC |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Victor A. Dudarev, Nadezhda N. Kiselyova |
Высокоуровневая формализация предметной области для консолидации информационных ресурсов в области неорганического материаловедения (High-level Formalization of Problem Domain for Inorganic Materials Science Information Resources Consolidation). |
DAMDID/RCDL |
2017 |
DBLP BibTeX RDF |
|
13 | Nonyelum Ndefo |
Formalization of Database Reverse Engineering. |
ADBIS (Short Papers and Workshops) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Diogo Proença, José Borbinha |
A Formalization of the ISO/IEC 15504: Enabling Automatic Inference of Capability Levels. |
SPICE |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Ioannis Bourlakos, Manolis Wallace, Angeliki Antoniou, Costas Vassilakis, George Lepouras, Anna Vassiliki Karapanagiotou |
Formalization and Visualization of the Narrative for Museum Guides. |
International KEYSTONE Conference |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yaya Liu, Jiulei Jiang, Lingyu Xu, Lishuang Zhao |
Formalization of Business Process with Flexibility Based on Service Interaction. |
DASC/PiCom/DataCom/CyberSciTech |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Yifei Wang, Gang Chen |
Formalization of Laplace Transform in Coq. |
DSA |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Adnan Rashid, Osman Hasan |
Formalization of Transform Methods Using HOL Light. |
CICM |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Maletzky, Wolfgang Windsteiger |
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. |
CICM |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov |
Formalization of the Nominative Algorithmic Algebra in Mizar. |
ISAT (2) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Obinna Chinedu Onyimadu |
Formalization and modeling of human values for recipient sentiment prediction. |
|
2017 |
RDF |
|
13 | Evmorfia-Iro Bartzia |
A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie). |
|
2017 |
RDF |
|
13 | Cécile Saint-Marc |
Formalisation et géovisualisation d'événements historiques issus de risques naturels pour la compréhension des dynamiques spatiales : Application aux inondations ayant touché le système ferroviaire français. (Formalization and geovisualization of historical natural risk events to understand spatial dynamics : Application to floods impacting the French railway system). |
|
2017 |
RDF |
|
13 | Min Zhang 0002, Toshiaki Aoki, Yueying He |
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. |
J. Inf. Secur. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Alfimtsev, Sergey Sakulin, Alexey Levanov |
Formalization of Expert Knowledge About the Usability of Web Pages Based on User Criteria Aggregation. |
Int. J. Softw. Innov. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Stuart Bretschneider, Marla Parker |
Organization formalization, sector and social media: Does increased standardization of policy broaden and deepen social media use in organizations? |
Gov. Inf. Q. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | James Mnatzaganian, Ernest Fokoué, Dhireesha Kudithipudi |
A Mathematical Formalization of Hierarchical Temporal Memory's Spatial Pooler. |
Frontiers Robotics AI |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Nico Ebert, Christian Ruf |
Documentation is dead: why Requirements Engineering should further develop from formalization to effective collaboration. |
Softwaretechnik-Trends |
2016 |
DBLP BibTeX RDF |
|
13 | Sylvie Boldo, Catherine Lelay, Guillaume Melquiond |
Formalization of real analysis: a survey of proof assistants and libraries. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama |
Formalization of resilience for constraint-based dynamic systems. |
J. Reliab. Intell. Environ. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Fangzhen Lin |
A formalization of programs in first-order logic with a discrete linear order. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Gioele Barabucci, Paolo Ciancarini, Angelo Di Iorio, Fabio Vitali |
Measuring the quality of diff algorithms: a formalization. |
Comput. Stand. Interfaces |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001 |
Towards a Formalization of System Requirements for an Integrated Clinical Environment. |
EAI Endorsed Trans. Self Adapt. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz |
Formalization of the pumping lemma for context-free languages. |
J. Formaliz. Reason. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Waqar Ahmad, Osman Hasan |
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Keith Foster, Jan Olaf Blech, Guillaume Prévost 0001 |
Towards the Formalization of a Factory Demonstrator in BeSpaceD. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Alexis Bernadet, Ivan Lanese |
A Modular Formalization of Reversibility for Concurrent Models and Languages. |
ICE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
Formalization of Phase Ordering. |
PLACES |
2016 |
DBLP DOI BibTeX RDF |
|
13 | James Mnatzaganian, Ernest Fokoué, Dhireesha Kudithipudi |
A Mathematical Formalization of Hierarchical Temporal Memory Cortical Learning Algorithm's Spatial Pooler. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Philipp Haller, Alexandre Loiko |
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Victor Eijkhout |
A mathematical formalization of data parallel operations. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
The HoTT Library: A formalization of homotopy type theory in Coq. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | |
Taking a Detour to Zero: An Alternative Formalization of Functions Beyond PR. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
13 | Ligita Businska, Marite Kirikova |
The Formalization of the Business Process Modeling Goals. |
Complex Syst. Informatics Model. Q. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Formalization of Reliability Block Diagrams in Higher-order Logic. |
J. Appl. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jonathan Dechaux, Eric Filiol |
Proactive defense against malicious documents: formalization, implementation and case studies. |
J. Comput. Virol. Hacking Tech. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Xi Wu 0005, Huibiao Zhu |
Formalization and analysis of the REST architecture from the process algebra perspective. |
Future Gener. Comput. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Brahim Hamid, Sigrid Gürgens, Andreas Fuchs 0002 |
Security patterns modeling and formalization for pattern-based development of secure software systems. |
Innov. Syst. Softw. Eng. |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand |
Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms. |
Arch. Formal Proofs |
2016 |
DBLP BibTeX RDF |
|
13 | Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel |
Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals. |
Arch. Formal Proofs |
2016 |
DBLP BibTeX RDF |
|
13 | Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand |
Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms. |
Arch. Formal Proofs |
2016 |
DBLP BibTeX RDF |
|
13 | Xiumei Yang, Yong Guan, Zhiping Shi 0002, Aixuan Wu, Qianying Zhang, Jie Zhang 0074 |
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi 0002, Rui Wang 0024, Xiaojuan Li, Shiwei Ye |
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Zonghua Li, Xiaofeng Zhou, Keli Wu, Fubing Chen |
基于扩展Petri网模型的BPMN形式化 (BPMN Formalization Based on Extended Petri Nets Model). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Thibaut Balabonski, François Pottier, Jonathan Protzenko |
The Design and Formalization of Mezzo, a Permission-Based Programming Language. |
ACM Trans. Program. Lang. Syst. |
2016 |
DBLP BibTeX RDF |
|
13 | Galina L. Rogova, Alan N. Steinberg |
Formalization of "Context" for Information Fusion. |
Context-Enhanced Information Fusion |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
Probability Logics - Probability-Based Formalization of Uncertain Reasoning |
|
2016 |
DOI RDF |
|
13 | Yufei Jiang, Can Zhang, Dinghao Wu, Peng Liu 0005 |
Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods. |
HASE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Taskia A. Khan, Jing Wang 0005 |
On formalization of emergent behaviors in multiagent systems with limited interactions. |
EIT |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida |
On the Formalization of Some Results of Context-Free Language Theory. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Torben Braüner, Patrick Blackburn, Irina Polyanskaya |
Second-Order False-Belief Tasks: Analysis and Formalization. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Hiroyuki Okazaki, Yuichi Futa |
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
13 | Mario Carneiro |
Formalization of the prime number theorem and Dirichlet's theorem. |
FM4M/MathUI/ThEdu/DP/WIP@CIKM |
2016 |
DBLP BibTeX RDF |
|
13 | David Morquin, Roxana Ologeanu-Taddeï |
Professional Facing Coercive Work Formalization: Vicious Circle of the Electronic Medical Record (EMR) Implementation and Appropriation. |
CENTERIS/ProjMAN/HCist |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Andreia P. Guerreiro, Carlos M. Fonseca |
Hypervolume Sharpe-Ratio Indicator: Formalization and First Theoretical Results. |
PPSN |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Marco Filax, Tim Gonschorek, Frank Ortmeier |
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models. |
RSSRail |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Maria Otworowska, Lorijn Zaadnoordijk, Erwin de Wolff, Johan Kwisthout, Iris van Rooij |
Causal learning in the Crib: A predictive processing formalization and babybot simulation. |
ICDL-EPIROB |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Matthew Dickinson, Saptarshi Debroy, Prasad Calyam, Samaikya Valluripally, Yuanxun Zhang, Trupti Joshi, Dong Xu 0002 |
End-to-End Security Formalization and Alignment for Federated Workflow Management. |
CLOUD |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin |
Formalization and Verification of the Powerlink Protocol Using CSP. |
APSEC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Boutry, Gabriel Braun, Julien Narboux |
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. |
SCSS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tylar Murray, Eric B. Hekler, Donna Spruijt-Metz, Daniel E. Rivera, Andrew Raij |
Formalization of Computational Human Behavior Models for Contextual Persuasive Technology. |
PERSUASIVE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Widmer, Marc Premm, Stefan Kirn |
A Formalization of Multiagent Organizations in Business Information Systems. |
BIS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Bente Christensen |
Formalization and Accountability in Surgery Planning. |
GROUP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Tino Teige, Tom Bienmüller, Hans Jürgen Holberg |
Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. |
MBMV |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Bahar Sateli, René Witte |
An Automatic Workflow for the Formalization of Scholarly Articles' Structural and Semantic Elements. |
SemWebEval@ESWC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Mohnish Dubey, Sourish Dasgupta, Ankit Sharma, Konrad Höffner, Jens Lehmann 0001 |
AskNow: A Framework for Natural Language Query Formalization in SPARQL. |
ESWC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Walid Fdhila, Manuel Gall, Stefanie Rinderle-Ma, Juergen Mangler, Conrad Indiono |
Classification and Formalization of Instance-Spanning Constraints in Process-Driven Applications. |
BPM |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Sidonie Christophe, Bertrand Duménieu, Jérémie Turbet, Charlotte Hoarau, Nicolas Mellado, Jérémie Ory, Hugo Loi, Antoine Masse, Benoit Arbelot, Romain Vergne, Mathieu Brédif, Thomas Hurtut, Joëlle Thollot, David Vanderhaeghe |
Map style formalization: rendering techniques extension for cartography. |
Expressive |
2016 |
DBLP BibTeX RDF |
|
13 | Daniel Urieli, Peter Stone |
An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis. |
AAAI Workshop: AI for Smart Grids and Smart Buildings |
2016 |
DBLP BibTeX RDF |
|
13 | Radu-Daniel Vatavu, Jacob O. Wobbrock |
Between-Subjects Elicitation Studies: Formalization and Tool Support. |
CHI |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Mohammadhani Fouladgar, Ramez Elmasri |
Formalization of network-constrained moving object queries with application to benchmarking. |
IWGS@SIGSPATIAL |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Walter Koza |
Enumerative Series in Spanish: Formalization and Automatic Detection. |
NooJ |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Masai, Cecilia Zanni-Merk |
Formalization of a Framework for Cultural Translation in Global Collaboration. The Case of the Lean Organization. |
KES |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra |
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. |
PRIMA |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Roussanka Loukanova |
A Formalization of Generalized Parameters in Situated Information. |
ICAART (1) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Peter Fritzson |
Model-based development of sustainable cyber-physical systems including requirement formalization using the openModelica model-based development toolkit. |
ECSA Workshops |
2016 |
DBLP BibTeX RDF |
|
13 | Anders Schlichtkrull |
Formalization of the Resolution Calculus for First-Order Logic. |
ITP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Adnan Rashid, Osman Hasan |
On the Formalization of Fourier Transform in Higher-order Logic. |
ITP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Oscar Rodriguez Rocha, Catherine Faron-Zucker |
A Formalization Of Standard Knowledge And Skills For The French Elementary School Curricula. |
EKM@EKAW |
2016 |
DBLP BibTeX RDF |
|
13 | Oscar Rodriguez Rocha, Catherine Faron-Zucker, Géraud Fokou Pelap |
A Formalization of the French Elementary School Curricula. |
EKAW (Satellite Events) |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Waqar Ahmad, Osman Hasan |
Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. |
SETTA |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Cyril Cohen, Boris Djalal |
Formalization of a newton series representation of polynomials. |
CPP |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Kiyoshi Akama, Ekawit Nantajeewarawat |
Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. |
KEOD |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Gérard P. Huet |
Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization. |
FSCD |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Alexandre Muzy, Matthieu Lerasle, Franck Grammont, Van Toan Dao, David R. C. Hill |
Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results. |
HPCS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Axel Busboom, Simone Schuler, Alexander Walsch |
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification. |
ARCH@CPSWeek |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki 0001 |
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
13 | Hiroyuki Okazaki |
Formalization of statistical indistinguishability of probability distribution ensembles in Mizar. |
ISITA |
2016 |
DBLP BibTeX RDF |
|
13 | Manabu Hagiwara, Kyosuke Nakano, Justin Kong 0002 |
Formalization of coding theory using lean. |
ISITA |
2016 |
DBLP BibTeX RDF |
|
13 | Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi |
Formalization of proofs using relational calculus. |
ISITA |
2016 |
DBLP BibTeX RDF |
|
13 | Kyosuke Nakano, Manabu Hagiwara |
Formalization of binary symmetric erasure channel based on infotheo. |
ISITA |
2016 |
DBLP BibTeX RDF |
|
13 | Haitong Liu, Annette ten Teije, Kathrin Dentler, Jingdong Ma, Shijing Zhang |
Formalization and Computation of Diabetes Quality Indicators with Patient Data from a Chinese Hospital. |
KR4HC/ProHealth@HEC |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Jacques Bouaud, Alexandre Galopin, Assia Oulad Kouider, Brigitte Séroussi |
Design of a Fine-Grained Knowledge Model for the Formalization of Clinical Practice Guidelines: Comparison with GEM. |
MIE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures. |
WETICE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ilyass El Kassmi, Zahi Jarir |
Security Requirements in Web Service Composition: Formalization, Integration, and Verification. |
WETICE |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Zhisheng Huang, Qing Hu 0002, Annette ten Teije, Frank van Harmelen, Salah Ait-Mokhtar |
Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials. |
HIS |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Ahmad Outfarouin, Abdelmounaïm Abdali, Mohamedou Cheikh Tourad |
Towards a new decisional needs formalization. |
AICCSA |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Victor A. Krisilov, Katherine Gorodnichaya |
The formalization of complex operations on the temporal characteristics of objects under uncertainty. |
CSIT |
2016 |
DBLP DOI BibTeX RDF |
|
13 | Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
A study on user-friendly formal specification languages for requirements formalization. |
INDIN |
2016 |
DBLP DOI BibTeX RDF |
|