Search results for "determinacy"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Tadeusz Litak	Infinite Populations, Choice and Determinacy.	Stud Logica	2018	DBLP DOI BibTeX RDF
20	Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja	The First Order Truth behind Undecidability of Regular Path Queries Determinacy.	CoRR	2018	DBLP BibTeX RDF
20	Stéphane Le Roux 0001	Memoryless Determinacy of Infinite Parity Games: Another Simple Proof.	CoRR	2018	DBLP BibTeX RDF
20	Rajat Talak, Sertac Karaman, Eytan H. Modiano	Can Determinacy Minimize Age of Information?	CoRR	2018	DBLP BibTeX RDF
20	Stéphane Le Roux 0001, Arno Pauly, Mickael Randour	Extending finite-memory determinacy by Boolean combination of winning conditions.	CoRR	2018	DBLP BibTeX RDF
20	Stéphane Le Roux 0001	Concurrent games and semi-random determinacy.	CoRR	2018	DBLP BibTeX RDF
20	Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja	Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable.	CoRR	2018	DBLP BibTeX RDF
20	Chris Le Sueur	Determinacy of refinements to the difference hierarchy of co-analytic sets.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
20	Valentin Goranko, Antti Kuusisto	Logics for Propositional Determinacy and Independence.	Rev. Symb. Log.	2018	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001, Arno Pauly	Extending finite-memory determinacy to multi-player games.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
20	Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja	Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable.	LICS	2018	DBLP DOI BibTeX RDF
20	Hassan Salehe Matar, Didem Unat	Runtime Determinacy Race Detection for OpenMP Tasks.	Euro-Par	2018	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001	Concurrent Games and Semi-Random Determinacy.	MFCS	2018	DBLP DOI BibTeX RDF
20	Jingyi Zhang, Zhixin Ma, Qijuan Sun, Jun Yan, Xiao Zhang, Mengjia Shen	Finding Overlapping Communities by Increasing the Determinacy of SLPA in Complex Networks.	IScIDE	2018	DBLP DOI BibTeX RDF
20	Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler	On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.	ACSD	2018	DBLP DOI BibTeX RDF
20	João R. M. Nicola, Giancarlo Guizzardi	Individual Determinacy and Identity Criteria in Ontology-Driven Information Systems.	FOIS	2018	DBLP DOI BibTeX RDF
20	Yifan Xu 0007, I-Ting Angelina Lee, Kunal Agrawal	Efficient parallel determinacy race detection for two-dimensional dags.	PPoPP	2018	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001, Arno Pauly, Mickael Randour	Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions.	FSTTCS	2018	DBLP DOI BibTeX RDF
20	Sherwood Hachtman	Calibrating Determinacy strength in Levels of the Borel Hierarchy.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
20	Anatoliy Shmyrin, Irina Sedykh	A Measure of the Non-Determinacy of a Dynamic Neighborhood Model.	Syst.	2017	DBLP DOI BibTeX RDF
20	André Beauducel, Norbert Hilger	On the bias of factor score determinacy coefficients based on different estimation methods of the exploratory factor model.	Commun. Stat. Simul. Comput.	2017	DBLP DOI BibTeX RDF
20	Michael Benedikt, Joost Engelfriet, Sebastian Maneth	Determinacy and rewriting of functional top-down and MSO tree transformations.	J. Comput. Syst. Sci.	2017	DBLP DOI BibTeX RDF
20	Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert	Qualitative Determinacy and Decidability of Stochastic Games with Signals.	J. ACM	2017	DBLP DOI BibTeX RDF
20	Nadime Francis	Asymptotic Determinacy of Path Queries Using Union-of-Paths Views.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF
20	Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak	On Strong Determinacy of Countable Stochastic Games.	CoRR	2017	DBLP BibTeX RDF
20	Sherwood Hachtman	Determinacy in third order arithmetic.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
20	Wenjuan Li, Kazuyuki Tanaka	The determinacy strength of pushdown ω-languages.	RAIRO Theor. Informatics Appl.	2017	DBLP DOI BibTeX RDF
20	Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak	On strong determinacy of countable stochastic games.	LICS	2017	DBLP DOI BibTeX RDF
20	Wolfgang Thomas	Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk).	CSL	2017	DBLP DOI BibTeX RDF
20	Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara	Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
20	Lixiao Zheng, Shuai Ma 0001, Xiangyu Luo, Tiejun Ma	Single-view determinacy and rewriting completeness for a fragment of XPath queries.	Sci. China Inf. Sci.	2016	DBLP DOI BibTeX RDF
20	Pawel Urzyczyn	Intuitionistic Games: Determinacy, Completeness, and Normalization.	Stud Logica	2016	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001, Arno Pauly	Extending Finite Memory Determinacy to Multiplayer Games.	SR	2016	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001, Arno Pauly	Extending finite memory determinacy: General techniques and an application to energy parity games.	CoRR	2016	DBLP BibTeX RDF
20	Valentin Goranko, Antti Kuusisto	Logics for Propositional Determinacy and Independence.	CoRR	2016	DBLP BibTeX RDF
20	Rishi Surendran, Vivek Sarkar	Dynamic Determinacy Race Detection for Task Parallelism with Futures.	RV	2016	DBLP DOI BibTeX RDF
20	Tomasz Gogacz, Jerzy Marcinkowski	Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable.	PODS	2016	DBLP DOI BibTeX RDF
20	Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz	Proving Determinacy of the PharOS Real-Time Operating System.	ABZ	2016	DBLP DOI BibTeX RDF
20	Pavel Parízek	Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information.	FMCAD	2016	DBLP DOI BibTeX RDF
20	Rishi Surendran, Vivek Sarkar	Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures.	SPAA	2016	DBLP DOI BibTeX RDF
20	Philip D. Welch	Large Cardinals, Inner Models, and Determinacy: An Introductory Overview.	Notre Dame J. Formal Log.	2015	DBLP DOI BibTeX RDF
20	Tomasz Gogacz, Jerzy Marcinkowski	Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable.	CoRR	2015	DBLP BibTeX RDF
20	Tomasz Gogacz, Jerzy Marcinkowski	The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable.	CoRR	2015	DBLP BibTeX RDF
20	Felix Klein 0001, Martin Zimmermann 0002	What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead.	CoRR	2015	DBLP BibTeX RDF
20	Trevor M. Wilson	The envelope of a pointclass under a local determinacy hypothesis.	Ann. Pure Appl. Log.	2015	DBLP DOI BibTeX RDF
20	Christoph Dittmann	Positional Determinacy of Parity Games.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
20	Itai Arieli, Yehuda John Levy	Determinacy of games with Stochastic Eventual Perfect Monitoring.	Games Econ. Behav.	2015	DBLP DOI BibTeX RDF
20	Daniel W. Cunningham	Strong partition cardinals and determinacy in $${K(\mathbb{R})}$$ K ( R ).	Arch. Math. Log.	2015	DBLP DOI BibTeX RDF
20	Tomasz Gogacz, Jerzy Marcinkowski	The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable.	LICS	2015	DBLP DOI BibTeX RDF
20	Nadime Francis	Asymptotic Determinacy of Path Queries using Union-of-Paths Views.	ICDT	2015	DBLP DOI BibTeX RDF
20	Felix Klein 0001, Martin Zimmermann 0002	What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead.	CSL	2015	DBLP DOI BibTeX RDF
20	Nadime Francis	View-based query determinacy and rewritings over graph databases. (Vues et requêtes sur les graphes de données : déterminabilité et réécritures).		2015	RDF
20	S. Jackson, Richard Ketchersid, Farmer Schlutzenberg, W. Hugh Woodin	Determinacy and JóNsson Cardinals in L(ℝ).	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
20	Nam Trang	Determinacy in L(ℝ, μ).	J. Math. Log.	2014	DBLP DOI BibTeX RDF
20	Julian Gutierrez 0001, Glynn Winskel	On the determinacy of concurrent games on event structures with infinite winning sets.	J. Comput. Syst. Sci.	2014	DBLP DOI BibTeX RDF
20	Esben Andreasen, Anders Møller	Determinacy in static analysis for jQuery.	OOPSLA	2014	DBLP DOI BibTeX RDF
20	Jael E. Kriener	Towards a verified determinacy analysis for Prolog including cut.		2014	RDF
20	Olivier Finkel	The determinacy of context-free games.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
20	Václav Brozek	Determinacy and optimal strategies in infinite-state stochastic reachability games.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Olivier Finkel	The Determinacy of Context-Free Games.	CoRR	2013	DBLP BibTeX RDF
20	Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara	Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers.	LATA	2013	DBLP DOI BibTeX RDF
20	Michael Benedikt, Joost Engelfriet, Sebastian Maneth	Determinacy and Rewriting of Top-Down and MSO Tree Transformations.	MFCS	2013	DBLP DOI BibTeX RDF
20	Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip	Dynamic determinacy analysis.	PLDI	2013	DBLP DOI BibTeX RDF
20	Julian Gutierrez 0001, Glynn Winskel	Borel Determinacy of Concurrent Games.	CONCUR	2013	DBLP DOI BibTeX RDF
20	Jose A. Fernandez-Leon	Behavioral robustness: An emergent phenomenon by means of distributed mechanisms and neurodynamic determinacy.	Biosyst.	2012	DBLP DOI BibTeX RDF
20	Diego Rojas-Rebolledo	Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets.	Notre Dame J. Formal Log.	2012	DBLP DOI BibTeX RDF
20	Stéphane Le Roux 0001	From determinacy to Nash equilibrium	CoRR	2012	DBLP BibTeX RDF
20	Tomás Brázdil, Antonín Kucera 0001, Petr Novotný 0001	Determinacy in Stochastic Games with Unbounded Payoff Functions	CoRR	2012	DBLP BibTeX RDF
20	Wenfei Fan, Floris Geerts, Lixiao Zheng	View determinacy for preserving selected information in data transformations.	Inf. Syst.	2012	DBLP DOI BibTeX RDF
20	Daisuke Ikegami, David de Kloet, Benedikt Löwe	The axiom of real Blackwell determinacy.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
20	Paul B. Larson	A Brief History of Determinacy.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
20	Tomás Brázdil, Antonín Kucera 0001, Petr Novotný 0001	Determinacy in Stochastic Games with Unbounded Payoff Functions.	MEMICS	2012	DBLP DOI BibTeX RDF
20	Olivier Finkel	The Determinacy of Context-Free Games.	STACS	2012	DBLP DOI BibTeX RDF
20	Takanori Hida	A Computational Interpretation of the Axiom of Determinacy in Arithmetic.	CSL	2012	DBLP DOI BibTeX RDF
20	Mehdi Dogguy	Déterminisme et Confluence dans des systèmes concurrents et synchrones. (Determinacy and confluence in concurrent and synchronous process calculi).		2012	RDF
20		Determinacy Race.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
20	Christoph von Praun	Determinacy.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
20	Philip D. Welch	Weak systems of determinacy and arithmetical quasi-inductive definitions.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
20	Philip D. Welch	Determinacy in strong cardinal models.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
20	Foto N. Afrati	Determinacy and query rewriting for conjunctive queries and views.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
20	Jael Kriener, Andy King	RedAlert: Determinacy Inference for Prolog	CoRR	2011	DBLP BibTeX RDF
20	Olivier Finkel	The Determinacy of Context-Free Games	CoRR	2011	DBLP BibTeX RDF
20	Jael Kriener, Andy King	RedAlert: Determinacy inference for Prolog.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
20	Lixiao Zheng, Haiming Chen	Determinacy and rewriting of conjunctive queries over unary database schemas.	SAC	2011	DBLP DOI BibTeX RDF
20	Daniel Pasaila	Conjunctive queries determinacy and rewriting.	ICDT	2011	DBLP DOI BibTeX RDF
20	Rein Kuusik, Grete Lind	New Developments of Determinacy Analysis.	ADMA (2)	2011	DBLP DOI BibTeX RDF
20	Rocco De Nicola, Daniele Gorla, Anna Labella	Tree-functors, determinacy and bisimulations.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
20	Pedro López-García 0001, Francisco Bueno, Manuel V. Hermenegildo	Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.	New Gener. Comput.	2010	DBLP DOI BibTeX RDF
20	Christoph Heinatsch, Michael Möllerfeld	The determinacy strength of Pi12-comprehension.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
20	Alan Nash, Luc Segoufin, Victor Vianu	Views and queries: Determinacy and rewriting.	ACM Trans. Database Syst.	2010	DBLP DOI BibTeX RDF
20	Rein Kuusik, Grete Lind	Some Developments of Determinacy Analysis.	ADMA (1)	2010	DBLP DOI BibTeX RDF
20	Takako Nemoto	Determinacy of Wadge classes and subsystems of second order arithmetic.	Math. Log. Q.	2009	DBLP DOI BibTeX RDF
20	Carlos Pimienta	Generic determinacy of Nash equilibrium in network-formation games.	Games Econ. Behav.	2009	DBLP DOI BibTeX RDF
20	Wim Veldman	The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View.	Games: Unifying Logic, Language, and Philosophy	2009	DBLP DOI BibTeX RDF
20	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	Fundam. Informaticae	2008	DBLP BibTeX RDF
20	Ishanu Chattopadhyay, Asok Ray	Generalised projections in finite state automata and decidability of state determinacy.	Int. J. Control	2008	DBLP DOI BibTeX RDF
20	Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert	Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides	CoRR	2008	DBLP BibTeX RDF
20	Grete Lind, Rein Kuusik	Some Problems in Determinacy Analysis Approaches Development.	DMIN	2008	DBLP BibTeX RDF
20	Stephen Pollard	Mathematical determinacy and the transferability of aboutness.	Synth.	2007	DBLP DOI BibTeX RDF
20	MedYahya Ould MedSalem, Kazuyuki Tanaka	Δ03-determinacy, comprehension and induction.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF