Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "formal idea"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-09-11 10:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
