![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "formal idea"
@article{DBLP:journals/argcom/CaminadaHS22, author = {Martin Caminada and Sri Harikrishnan and Samy S{\'{a}}}, title = {Comparing logic programming and formal argumentation; the case of ideal and eager semantics}, journal = {Argument Comput.}, volume = {13}, number = {1}, pages = {93--120}, year = {2022} }
@article{DBLP:journals/tib/Lobo22, author = {Carlos Lobo}, title = {The limits of the mathematization of the living and the idea of formal morphology of the living world following Husserlian phenomenology}, journal = {Theory Biosci.}, volume = {141}, number = {2}, pages = {175--202}, year = {2022} }
@inproceedings{DBLP:conf/clei/SilveiraBCL22, author = {Adri{\'{a}}n Silveira and Gustavo Betarte and Maximiliano Cristi{\'{a}} and Carlos Luna}, title = {An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol}, booktitle = {{CLEI}}, pages = {1--10}, publisher = {{IEEE}}, year = {2022} }
@inproceedings{DBLP:conf/ideas/GuyotGLC22, author = {Alexis Guyot and Annabelle Gillet and {\'{E}}ric Leclercq and Nadine Cullot}, title = {A Formal Framework for Data Lakes Based on Category Theory}, booktitle = {{IDEAS}}, pages = {75--83}, publisher = {{ACM}}, year = {2022} }
@article{DBLP:journals/fm/Watase21a, author = {Yasushige Watase}, title = {On Primary Ideals. Part {I}}, journal = {Formaliz. Math.}, volume = {29}, number = {2}, pages = {95--101}, year = {2021} }
@article{DBLP:journals/ijim/AlkhatibJ21, author = {Asma'a S. Alkhatib and Suhair A. Jaradat}, title = {The Impact of Blended Learning using the Ideas Box on the Motivation for Learning Among Non-formal Syrian Female Refugee Students in Jordan}, journal = {Int. J. Interact. Mob. Technol.}, volume = {15}, number = {11}, pages = {81}, year = {2021} }
@article{DBLP:journals/ndjfl/Haffner21, author = {Emmylou Haffner}, title = {The Shaping of Dedekind's Rigorous Mathematics: What Do Dedekind's Drafts Tell Us about His Ideal of Rigor?}, journal = {Notre Dame J. Formal Log.}, volume = {62}, number = {1}, year = {2021} }
@article{DBLP:journals/ndjfl/ChodounskyZ20, author = {David Chodounsk{\'{y}} and Jindrich Zapletal}, title = {Ideals and Their Generic Ultrafilters}, journal = {Notre Dame J. Formal Log.}, volume = {61}, number = {3}, pages = {403--408}, year = {2020} }
@inproceedings{DBLP:conf/isola/GaborL20, author = {Thomas Gabor and Claudia Linnhoff{-}Popien}, title = {A Formal Model for Reasoning About the Ideal Fitness in Evolutionary Processes}, booktitle = {ISoLA {(2)}}, series = {Lecture Notes in Computer Science}, volume = {12477}, pages = {473--490}, publisher = {Springer}, year = {2020} }
@article{DBLP:journals/ndjfl/AsperoHKM19, author = {David Asper{\'{o}} and Tapani Hyttinen and Vadim Kulikov and Miguel Moreno}, title = {Reducibility of Equivalence Relations Arising from Nonstationary Ideals under Large Cardinal Assumptions}, journal = {Notre Dame J. Formal Log.}, volume = {60}, number = {4}, pages = {665--682}, year = {2019} }
@inproceedings{DBLP:conf/ideal/VatianTOEBRTSG19, author = {Aleksandra Vatian and Anna Tatarinova and Svyatoslav Osipov and Nikolai Egorov and Vitalii Boitsov and Elena Ryngach and Tatiana Treshkur and Anatoly Shalyto and Natalia F. Gusarova}, title = {Retrieving and Processing Information from Clinical Algorithm via Formal Concept Analysis}, booktitle = {{IDEAL} {(1)}}, series = {Lecture Notes in Computer Science}, volume = {11871}, pages = {166--174}, publisher = {Springer}, year = {2019} }
@inproceedings{DBLP:conf/ideas/JoshaghaniBSM19, author = {Rezvan Joshaghani and Stacy Black and Elena Sherman and Hoda Mehrpouyan}, title = {Formal specification and verification of user-centric privacy policies for ubiquitous systems}, booktitle = {{IDEAS}}, pages = {31:1--31:10}, publisher = {{ACM}}, year = {2019} }
@article{DBLP:journals/flap/Seldin18, author = {Jonathan P. Seldin}, title = {Formalism and Structuralism, a Synthesis: the Philosophical Ideas of H. B. Curry}, journal = {{FLAP}}, volume = {5}, number = {6}, pages = {1301--1306}, year = {2018} }
@inproceedings{DBLP:conf/lata/Okhotin18, author = {Alexander Okhotin}, title = {Underlying Principles and Recurring Ideas of Formal Grammars}, booktitle = {{LATA}}, series = {Lecture Notes in Computer Science}, volume = {10792}, pages = {36--59}, publisher = {Springer}, year = {2018} }
@inproceedings{DBLP:conf/icse/SiqueiraSS17, author = {F{\'{a}}bio Levy Siqueira and Thiago C. de Sousa and Paulo S{\'{e}}rgio Muniz Silva}, title = {Using {BDD} and {SBVR} to Refine Business Goals into an Event-B Model: {A} Research Idea}, booktitle = {FormaliSE@ICSE}, pages = {31--36}, publisher = {{IEEE}}, year = {2017} }
@inproceedings{DBLP:conf/ispec/MinagarSL17, author = {Sepehr Minagar and Balasubramaniam Srinivasan and Phu Dung Le}, title = {A Formal Model for an Ideal {CFI}}, booktitle = {{ISPEC}}, series = {Lecture Notes in Computer Science}, volume = {10701}, pages = {707--726}, publisher = {Springer}, year = {2017} }
@article{DBLP:journals/isci/Yao16, author = {Yiyu Yao}, title = {Rough-set concept analysis: Interpreting RS-definable concepts based on ideas from formal concept analysis}, journal = {Inf. Sci.}, volume = {346-347}, pages = {442--462}, year = {2016} }
@article{DBLP:journals/jetai/AlsinetBGG16, author = {Teresa Alsinet and Ram{\'{o}}n B{\'{e}}jar and Llu{\'{\i}}s Godo and Francesc Guitart}, title = {Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming}, journal = {J. Exp. Theor. Artif. Intell.}, volume = {28}, number = {1-2}, pages = {275--294}, year = {2016} }
@inproceedings{DBLP:conf/icis/SeeberWDMVMM16, author = {Isabella Seeber and Lena Waizenegger and Lukas Demetz and Alexander Benedikt Merz and Gert{-}Jan de Vreede and Ronald Maier}, title = {IT-Supported Formal Control: How Perceptual (in)Congruence Affects the Convergence of Crowd-Sourced Ideas}, booktitle = {{ICIS}}, publisher = {Association for Information Systems}, year = {2016} }
@inproceedings{DBLP:conf/vstte/FilliatreP16, author = {Jean{-}Christophe Filli{\^{a}}tre and M{\'{a}}rio Pereira}, title = {Producing All Ideals of a Forest, Formally (Verification Pearl)}, booktitle = {{VSTTE}}, series = {Lecture Notes in Computer Science}, volume = {9971}, pages = {46--55}, year = {2016} }
@inproceedings{DBLP:conf/nafips/Kreinovich15, author = {Vladik Kreinovich}, title = {Formalizing the informal, precisiating the imprecise: How fuzzy logic can help mathematicians and physicists by formalizing their intuitive ideas}, booktitle = {NAFIPS/WConSC}, pages = {1}, publisher = {{IEEE}}, year = {2015} }
@incollection{DBLP:series/sfsc/KoshelevaRK15, author = {Olga Kosheleva and Renata Reiser and Vladik Kreinovich}, title = {Formalizing the Informal, Precisiating the Imprecise: How Fuzzy Logic Can Help Mathematicians and Physicists by Formalizing Their Intuitive Ideas}, booktitle = {Towards the Future of Fuzzy Logic}, series = {Studies in Fuzziness and Soft Computing}, volume = {325}, pages = {301--321}, publisher = {Springer}, year = {2015} }
@article{DBLP:journals/fm/Bancerek14, author = {Grzegorz Bancerek}, title = {Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm}, journal = {Formaliz. Math.}, volume = {22}, number = {1}, pages = {37--56}, year = {2014} }
@article{DBLP:journals/fm/Grabowski13c, author = {Adam Grabowski}, title = {Prime Filters and Ideals in Distributive Lattices}, journal = {Formaliz. Math.}, volume = {21}, number = {3}, pages = {213--221}, year = {2013} }
@article{DBLP:journals/mima/Angius13, author = {Nicola Angius}, title = {Abstraction and Idealization in the Formal Verification of Software Systems}, journal = {Minds Mach.}, volume = {23}, number = {2}, pages = {211--226}, year = {2013} }
@inproceedings{DBLP:conf/cscl/WeibertA13, author = {Anne Weibert and Konstantin Aal}, title = {When Ideas Learn How to Fly: Children at the Intersection of Formal and Informal Learning Settings}, booktitle = {{CSCL} {(2)}}, pages = {377--378}, publisher = {International Society of the Learning Sciences, LuLu, Amazon}, year = {2013} }
@inproceedings{DBLP:conf/types/BartheBCCL13, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Jes{\'{u}}s Mauricio Chimento and Carlos Luna}, title = {Formally Verified Implementation of an Idealized Model of Virtualization}, booktitle = {{TYPES}}, series = {LIPIcs}, volume = {26}, pages = {45--63}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013} }
@inproceedings{DBLP:conf/websci/Debruyne13, author = {Christophe Debruyne}, title = {The Relation between a Framework for Collaborative Ontology Engineering and Nicola Guarino's Terminology and Ideas in "Formal Ontology and Information Systems"}, booktitle = {VaSCo@WebSci}, series = {{CEUR} Workshop Proceedings}, volume = {1357}, pages = {34--44}, publisher = {CEUR-WS.org}, year = {2013} }
@article{DBLP:journals/lu/Dufatanye12, author = {Aimable{-}Andr{\'{e}} Dufatanye}, title = {From the Logical Square to Blanch{\'{e}}'s Hexagon: Formalization, Applicability and the Idea of the Normative Structure of Thought}, journal = {Logica Universalis}, volume = {6}, number = {1-2}, pages = {45--67}, year = {2012} }
@article{DBLP:journals/ndjfl/Cox12, author = {Sean Cox}, title = {{PFA} and Ideals on {\(\omega\)}\({}_{\mbox{2}}\) Whose Associated Forcings Are Proper}, journal = {Notre Dame J. Formal Log.}, volume = {53}, number = {3}, pages = {397--412}, year = {2012} }
@incollection{DBLP:series/sfsc/Termini12b, author = {Settimo Termini}, title = {Concepts, Theories, and Applications: The Role of "Experimentation" (and "Context") for Formalizing New Ideas along Innovative Avenues}, booktitle = {Combining Experimentation and Theory}, series = {Studies in Fuzziness and Soft Computing}, volume = {271}, pages = {359--370}, publisher = {Springer}, year = {2012} }
@article{DBLP:journals/ijcm/MoraGEC11, author = {{\'{A}}ngel Mora and Inmaculada Perez de Guzm{\'{a}}n and Manuel Enciso and Pablo Cordero}, title = {Ideal non-deterministic operators as a formal framework to reduce the key finding problem}, journal = {Int. J. Comput. Math.}, volume = {88}, number = {9}, pages = {1860--1868}, year = {2011} }
@inproceedings{DBLP:conf/fm/BartheBCL11, author = {Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna}, title = {Formally Verifying Isolation and Availability in an Idealized Model of Virtualization}, booktitle = {{FM}}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {231--245}, publisher = {Springer}, year = {2011} }
@inproceedings{DBLP:conf/interact/VeerV11, author = {Gerrit C. van der Veer and Dhaval Vyas}, title = {Non-formal Techniques for Early Assessment of Design Ideas for Services}, booktitle = {{HCIV}}, series = {Lecture Notes in Computer Science}, volume = {8345}, pages = {135--149}, publisher = {Springer}, year = {2011} }
@inproceedings{DBLP:conf/icfem/WangLM10, author = {Xi Wang and Shaoying Liu and Huaikou Miao}, title = {A Pattern System to Support Refining Informal Ideas into Formal Expressions}, booktitle = {{ICFEM}}, series = {Lecture Notes in Computer Science}, volume = {6447}, pages = {662--677}, publisher = {Springer}, year = {2010} }
@article{DBLP:journals/jns/Munnier09, author = {Alexandre Munnier}, title = {Locomotion of Deformable Bodies in an Ideal Fluid: Newtonian versus Lagrangian Formalisms}, journal = {J. Nonlinear Sci.}, volume = {19}, number = {6}, pages = {665--715}, year = {2009} }
@inproceedings{DBLP:conf/ideas/BelussiCP09, author = {Alberto Belussi and Carlo Combi and Gabriele Pozzani}, title = {Formal and conceptual modeling of spatio-temporal granularities}, booktitle = {{IDEAS}}, series = {{ACM} International Conference Proceeding Series}, pages = {275--283}, publisher = {{ACM}}, year = {2009} }
@article{DBLP:journals/dam/CorderoMGE08, author = {Pablo Cordero and {\'{A}}ngel Mora and Inman P. de Guzm{\'{a}}n and Manuel Enciso}, title = {Non-deterministic ideal operators: An adequate tool for formalization in Data Bases}, journal = {Discret. Appl. Math.}, volume = {156}, number = {6}, pages = {911--923}, year = {2008} }
@article{DBLP:journals/fm/WuD08, author = {Chenglong Wu and Yuzhong Ding}, title = {Ideals of BCI-algebras and their Properties}, journal = {Formaliz. Math.}, volume = {16}, number = {1-4}, pages = {109--114}, year = {2008} }
@inproceedings{DBLP:conf/icassp/Thao07, author = {Nguyen T. Thao}, title = {Formal Spectral Theory for Ideal Sigma-Delta Quantization with Stationary Time-Varying Inputs}, booktitle = {{ICASSP} {(3)}}, pages = {1481--1484}, publisher = {{IEEE}}, year = {2007} }
@inproceedings{DBLP:conf/eumas/DavidSC06, author = {Nuno David and Jaime Sim{\~{a}}o Sichman and Helder Coelho}, title = {Simulation as Formal and Generative Social Science: The Very Idea}, booktitle = {{EUMAS}}, series = {{CEUR} Workshop Proceedings}, volume = {223}, publisher = {CEUR-WS.org}, year = {2006} }
@article{DBLP:journals/ndjfl/Eisworth05, author = {Todd Eisworth}, title = {On Ideals Related to \emph{I}[{\(\lambda\)}]}, journal = {Notre Dame J. Formal Log.}, volume = {46}, number = {3}, pages = {301--307}, year = {2005} }
@article{DBLP:journals/ndjfl/Ishiu05, author = {Tetsuya Ishiu}, title = {A Tail Club Guessing Ideal Can Be Saturated without Being a Restriction of the Nonstationary Ideal}, journal = {Notre Dame J. Formal Log.}, volume = {46}, number = {3}, pages = {327--333}, year = {2005} }
@inproceedings{DBLP:conf/dsvis/FurnissDPZ05, author = {Dominic Furniss and Alan J. Dix and Christophe Ponsard and Guo{-}Qiang Zhang}, title = {Outdated Ideas of the Design Process and the Future of Formal Models, Methods and Notations}, booktitle = {{DSV-IS}}, series = {Lecture Notes in Computer Science}, volume = {3941}, pages = {265}, publisher = {Springer}, year = {2005} }
@inproceedings{DBLP:conf/adhs/MorvanCBR03, author = {C{\'{e}}cile Morvan and Herv{\'{e}} Cormerais and Jean Buisson and Pierre{-}Yves Richard}, title = {Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes}, booktitle = {{ADHS}}, series = {{IFAC} Proceedings Volumes}, volume = {36}, number = {6}, pages = {211--216}, publisher = {Elsevier}, year = {2003} }
@article{DBLP:journals/scp/Berry02, author = {Daniel M. Berry}, title = {Formal methods: the very idea - Some thoughts about why they work when they work}, journal = {Sci. Comput. Program.}, volume = {42}, number = {1}, pages = {11--27}, year = {2002} }
@inproceedings{DBLP:conf/dexaw/Mathuria02, author = {Anish Mathuria}, title = {Using a Formal Technique for Protocol Idealization: {A} Cautionary Note}, booktitle = {{DEXA} Workshops}, pages = {468--472}, publisher = {{IEEE} Computer Society}, year = {2002} }
@inproceedings{DBLP:conf/ideas/DeoB00, author = {Annalisa Di Deo and Dmitri Boulanger}, title = {A Formal Background to Build Constraint Objects}, booktitle = {{IDEAS}}, pages = {7--15}, publisher = {{IEEE} Computer Society}, year = {2000} }
@inproceedings{DBLP:conf/zum/Lanet00, author = {Jean{-}Louis Lanet}, title = {Are Smart Cards the Ideal Domain for Applying Formal Methods?}, booktitle = {{ZB}}, series = {Lecture Notes in Computer Science}, volume = {1878}, pages = {363--373}, publisher = {Springer}, year = {2000} }
@article{DBLP:journals/eatcs/Koshelev98, author = {Misha Koshelev}, title = {Towards the Use of Aesthetics in Decision Making: Kolmogorov Complexity Formalizes Birkhoff's Idea}, journal = {Bull. {EATCS}}, volume = {66}, pages = {166--170}, year = {1998} }
@article{DBLP:journals/synthese/Wybraniec-Skardowska98, author = {Urszula Wybraniec{-}Skardowska}, title = {Logical and Philosophical Ideas in Certain Formal Approaches to Language}, journal = {Synth.}, volume = {116}, number = {2}, pages = {231--277}, year = {1998} }
@inproceedings{DBLP:conf/ideas/OunisP98, author = {Iadh Ounis and Marius Pasca}, title = {A Promising Retrieval Algorithm for Systems Based on the Conceptual Graphs Formalism}, booktitle = {{IDEAS}}, pages = {121--130}, publisher = {{IEEE} Computer Society}, year = {1998} }
@inproceedings{DBLP:journals/entcs/Berry99, author = {Daniel M. Berry}, title = {Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work}, booktitle = {Monterey Workshop}, series = {Electronic Notes in Theoretical Computer Science}, volume = {25}, pages = {10--22}, publisher = {Elsevier}, year = {1998} }
@inproceedings{DBLP:conf/ideas/EhikioyaB97, author = {Sylvanus A. Ehikioya and Ken Barker}, title = {A Formal Specification Strategy for Electronic Commerce}, booktitle = {{IDEAS}}, pages = {201--210}, publisher = {{IEEE} Computer Society}, year = {1997} }
@article{DBLP:journals/ndjfl/Leary94, author = {Christopher C. Leary}, title = {The Structure of Pleasant Ideals}, journal = {Notre Dame J. Formal Log.}, volume = {35}, number = {2}, pages = {292--298}, year = {1994} }
@article{DBLP:journals/ndjfl/Leary91, author = {Christopher C. Leary}, title = {Pleasant Ideals}, journal = {Notre Dame J. Formal Log.}, volume = {32}, number = {4}, pages = {612--617}, year = {1991} }
@article{DBLP:journals/ndjfl/Marker90, author = {David Marker}, title = {Enumerations of Turing Ideals with Applications}, journal = {Notre Dame J. Formal Log.}, volume = {31}, number = {4}, pages = {509--514}, year = {1990} }
@inproceedings{DBLP:conf/concur/Larsen90, author = {Kim Guldstrand Larsen}, title = {Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ..}, booktitle = {{CONCUR}}, series = {Lecture Notes in Computer Science}, volume = {458}, pages = {33--56}, publisher = {Springer}, year = {1990} }
@article{DBLP:journals/ndjfl/Kreisel87, author = {Georg Kreisel}, title = {Church's thesis and the ideal of informal rigour}, journal = {Notre Dame J. Formal Log.}, volume = {28}, number = {4}, pages = {499--519}, year = {1987} }
@article{DBLP:journals/ndjfl/Jech81, author = {Thomas Jech}, title = {On the number of generators of an ideal}, journal = {Notre Dame J. Formal Log.}, volume = {22}, number = {2}, pages = {105--108}, year = {1981} }
@article{DBLP:journals/ndjfl/Hickman78c, author = {John L. Hickman}, title = {The ideal of orderable subsets of a set}, journal = {Notre Dame J. Formal Log.}, volume = {19}, number = {4}, pages = {593--598}, year = {1978} }
@article{DBLP:journals/ndjfl/Goldstein72, author = {Marie Goldstein}, title = {The historical development of group theoretical ideas in connection with Euclid's axiom of congruence}, journal = {Notre Dame J. Formal Log.}, volume = {13}, number = {3}, pages = {331--349}, year = {1972} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.