The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for allais with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2014 (16) 2017-2023 (19) 2024 (1)
Publication types (Num. hits)
article(17) inproceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 7 keywords

Results
Found 43 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
59Pierfrancesco La Mura Projective expected utility: a subjective formulation. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF allais, ellsberg, projective, expected utility, quantum, paradoxes
59Pierfrancesco La Mura Game Theory without Decision-Theoretic Paradoxes. Search on Bibsonomy ADT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Allais, Ellsberg, game theory, projective, expected utility, paradoxes
53Ka-man Lam, Ho-fung Leung Expected Utility Maximization and Attractiveness Maximization. Search on Bibsonomy PRIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Ardavan Salehi Nobandegani, Thomas R. Shultz, Laurette Dubé A Unified, Resource-Rational Account of the Allais and Ellsberg Paradoxes. Search on Bibsonomy CogSci The full citation details ... 2021 DBLP  BibTeX  RDF
39Peijun Guo Focus theory of choice and its application to resolving the St. Petersburg, Allais, and Ellsberg paradoxes and other anomalies. Search on Bibsonomy Eur. J. Oper. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Philippe Ezran, Yoram Haddad 0001, Mérouane Debbah Allais' paradox and resource allocation in telecommunication networks. Search on Bibsonomy Telecommun. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Paul Snow Pfanzagl Exchanges Diagnose a Continuity Anomaly Pertinent to Allais' Problem. Search on Bibsonomy FLAIRS The full citation details ... 2005 DBLP  BibTeX  RDF
35Guillaume Allais Scoped and Typed Staging by Evaluation. Search on Bibsonomy PEPM The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
35Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady Type Theory as a Language Workbench. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Seamless, Correct, and Generic Programming over Serialised Data. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Scoped and Typed Staging by Evaluation. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop Frex: dependently-typed algebraic simplification. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Builtin Types viewed as Inductive Families. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady Type Theory as a Language Workbench. Search on Bibsonomy Eelco Visser Commemorative Symposium The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Builtin Types Viewed as Inductive Families. Search on Bibsonomy ESOP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Generic Level Polymorphic N-ary Functions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
35Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna A type- and scope-safe universe of syntaxes with binding: their semantics and proofs. Search on Bibsonomy J. Funct. Program. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Ksenia Gasnikova, Olivier Allais, Michèle Sebag Towards causal modeling of nutritional outcomes. Search on Bibsonomy CAWS The full citation details ... 2021 DBLP  BibTeX  RDF
35Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Andreas Abel 0001, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark POPLMark reloaded: Mechanizing proofs by logical relations. Search on Bibsonomy J. Funct. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Generic level polymorphic n-ary functions. Search on Bibsonomy TyDe@ICFP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna A type and scope safe universe of syntaxes with binding: their semantics and proofs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Guillaume Allais Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Guillaume Allais, James Chapman 0001, Conor McBride, James McKinna Type-and-scope safe programs and their proofs. Search on Bibsonomy CPP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Yves Bertot, Guillaume Allais Views of PI: Definition and computation. Search on Bibsonomy J. Formaliz. Reason. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
35Kiyan Vadoudi, Romain Allais, Tatiana Reyes, Nadege Troussier Sustainable Product Lifecycle Management and Territoriality: New Structure for PLM. Search on Bibsonomy PLM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
35Guillaume Allais, Pierre Boutillier, Conor McBride New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
35John E. McInroy, John F. O'Brien, Anthony A. Allais Designing dynamics and control of isotropic Gough-Stewart micromanipulators. Search on Bibsonomy ICRA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Guillaume Allais, Conor McBride, Pierre Boutillier New equations for neutral terms: a sound and complete decision procedure, formalized. Search on Bibsonomy DTP@ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
35Anthony A. Allais, John E. McInroy, John F. O'Brien Locally Decoupled Micromanipulation Using an Even Number of Parallel Force Actuators. Search on Bibsonomy IEEE Trans. Robotics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Anthony A. Allais, John E. McInroy, John F. O'Brien A new class of locally decoupled Gough-Stewart platform manipulators. Search on Bibsonomy IROS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35René Thiemann, Guillaume Allais, Julian Nagele On the Formalization of Termination Techniques based on Multiset Orderings. Search on Bibsonomy RTA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Filippo Molinari, Samanta Rosati, William Liboni, Emanuela Negri, Ornella Mana, Gianni Allais, Chiara Benedetto Time-Frequency Characterization of Cerebral Hemodynamics of Migraine Sufferers as Assessed by NIRS Signals. Search on Bibsonomy EURASIP J. Adv. Signal Process. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
35Nathalie Perrot, Irina Ioannou, I. Allais, C. Curt, Joseph Hossenlopp, Gilles Trystram Fuzzy concepts applied to food product quality control: A review. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Vincent Brandou, Ezio Malis, Patrick Rives, Anne-Gaëlle Allais, Michel Perrier Active Stereovision Using Invariant Visual Servoing. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella Self-deceptive decision making: normative and descriptive insights. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF self-deception, wishful thinking, multi-agent systems, decision theory
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license