Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Tadeusz Litak |
Infinite Populations, Choice and Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 106(5), pp. 969-999, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
The First Order Truth behind Undecidability of Regular Path Queries Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.07767, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Stéphane Le Roux 0001 |
Memoryless Determinacy of Infinite Parity Games: Another Simple Proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.00655, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Rajat Talak, Sertac Karaman, Eytan H. Modiano |
Can Determinacy Minimize Age of Information? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.04371, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Stéphane Le Roux 0001, Arno Pauly, Mickael Randour |
Extending finite-memory determinacy by Boolean combination of winning conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.05791, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Stéphane Le Roux 0001 |
Concurrent games and semi-random determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.10896, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.01554, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Chris Le Sueur |
Determinacy of refinements to the difference hierarchy of co-analytic sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(1), pp. 83-115, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto |
Logics for Propositional Determinacy and Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 11(3), pp. 470-506, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Le Roux 0001, Arno Pauly |
Extending finite-memory determinacy to multi-player games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 261, pp. 676-694, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja |
Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 492-501, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hassan Salehe Matar, Didem Unat |
Runtime Determinacy Race Detection for OpenMP Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings, pp. 31-45, 2018, Springer, 978-3-319-96982-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Le Roux 0001 |
Concurrent Games and Semi-Random Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, pp. 40:1-40:15, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-086-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IScIDE ![In: Intelligence Science and Big Data Engineering - 8th International Conference, IScIDE 2018, Lanzhou, China, August 18-19, 2018, Revised Selected Papers, pp. 111-122, 2018, Springer, 978-3-030-02697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 25-29, 2018, pp. 95-104, 2018, IEEE Computer Society, 978-1-5386-7013-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | João R. M. Nicola, Giancarlo Guizzardi |
Individual Determinacy and Identity Criteria in Ontology-Driven Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: Formal Ontology in Information Systems - Proceedings of the 10th International Conference, FOIS 2018, Cape Town, South Africa, 19-21 September 2018, pp. 83-95, 2018, IOS Press, 978-1-61499-909-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yifan Xu 0007, I-Ting Angelina Lee, Kunal Agrawal |
Efficient parallel determinacy race detection for two-dimensional dags. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February 24-28, 2018, pp. 368-380, 2018, ACM, 978-1-4503-4982-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India, pp. 38:1-38:20, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-093-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sherwood Hachtman |
Calibrating Determinacy strength in Levels of the Borel Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 82(2), pp. 510-548, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Anatoliy Shmyrin, Irina Sedykh |
A Measure of the Non-Determinacy of a Dynamic Neighborhood Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 5(4), pp. 49, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Stat. Simul. Comput. ![In: Commun. Stat. Simul. Comput. 46(8), pp. 6144-6154, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Michael Benedikt, Joost Engelfriet, Sebastian Maneth |
Determinacy and rewriting of functional top-down and MSO tree transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 85, pp. 57-73, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert |
Qualitative Determinacy and Decidability of Stochastic Games with Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 64(5), pp. 33:1-33:48, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Nadime Francis |
Asymptotic Determinacy of Path Queries Using Union-of-Paths Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 61(1), pp. 156-190, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
On Strong Determinacy of Countable Stochastic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.05003, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Sherwood Hachtman |
Determinacy in third order arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 168(11), pp. 2008-2021, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Wenjuan Li, Kazuyuki Tanaka |
The determinacy strength of pushdown ω-languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 51(1), pp. 29-50, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
On strong determinacy of countable stochastic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Wolfgang Thomas |
Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 6:1-6:1, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 99-D(3), pp. 575-587, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 59(9), pp. 99102, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Pawel Urzyczyn |
Intuitionistic Games: Determinacy, Completeness, and Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 104(5), pp. 957-1001, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Le Roux 0001, Arno Pauly |
Extending Finite Memory Determinacy to Multiplayer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 27-40, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.08912, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Valentin Goranko, Antti Kuusisto |
Logics for Propositional Determinacy and Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.07398, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Rishi Surendran, Vivek Sarkar |
Dynamic Determinacy Race Detection for Task Parallelism with Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pp. 368-385, 2016, Springer, 978-3-319-46981-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Tomasz Gogacz, Jerzy Marcinkowski |
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016, pp. 121-134, 2016, ACM, 978-1-4503-4191-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 70-85, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Pavel Parízek |
Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 141-148, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Rishi Surendran, Vivek Sarkar |
Brief Announcement: Dynamic Determinacy Race Detection for Task Parallelism with Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, pp. 95-97, 2016, ACM, 978-1-4503-4210-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Philip D. Welch |
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 56(1), pp. 213-242, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tomasz Gogacz, Jerzy Marcinkowski |
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.01681, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Tomasz Gogacz, Jerzy Marcinkowski |
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.01817, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Felix Klein 0001, Martin Zimmermann 0002 |
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.02627, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Trevor M. Wilson |
The envelope of a pointclass under a local determinacy hypothesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 166(10), pp. 991-1018, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Dittmann |
Positional Determinacy of Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Itai Arieli, Yehuda John Levy |
Determinacy of games with Stochastic Eventual Perfect Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 91, pp. 166-185, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Daniel W. Cunningham |
Strong partition cardinals and determinacy in $${K(\mathbb{R})}$$ K ( R ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 54(1-2), pp. 173-192, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Tomasz Gogacz, Jerzy Marcinkowski |
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 281-292, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Nadime Francis |
Asymptotic Determinacy of Path Queries using Union-of-Paths Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium, pp. 44-59, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-79-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Felix Klein 0001, Martin Zimmermann 0002 |
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pp. 519-533, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-90-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
20 | S. Jackson, Richard Ketchersid, Farmer Schlutzenberg, W. Hugh Woodin |
Determinacy and JóNsson Cardinals in L(ℝ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(4), pp. 1184-1198, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Nam Trang |
Determinacy in L(ℝ, μ). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 14(1), pp. 1450006, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Julian Gutierrez 0001, Glynn Winskel |
On the determinacy of concurrent games on event structures with infinite winning sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 80(6), pp. 1119-1137, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Esben Andreasen, Anders Møller |
Determinacy in static analysis for jQuery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, pp. 17-31, 2014, ACM, 978-1-4503-2585-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Jael E. Kriener |
Towards a verified determinacy analysis for Prolog including cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
20 | Olivier Finkel |
The determinacy of context-free games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(4), pp. 1115-1134, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Václav Brozek |
Determinacy and optimal strategies in infinite-state stochastic reachability games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 493, pp. 80-97, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Finkel |
The Determinacy of Context-Free Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.3412, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 335-346, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Michael Benedikt, Joost Engelfriet, Sebastian Maneth |
Determinacy and Rewriting of Top-Down and MSO Tree Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings, pp. 146-158, 2013, Springer, 978-3-642-40312-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip |
Dynamic determinacy analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013, pp. 165-174, 2013, ACM, 978-1-4503-2014-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Julian Gutierrez 0001, Glynn Winskel |
Borel Determinacy of Concurrent Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 516-530, 2013, Springer, 978-3-642-40183-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Jose A. Fernandez-Leon |
Behavioral robustness: An emergent phenomenon by means of distributed mechanisms and neurodynamic determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biosyst. ![In: Biosyst. 107(1), pp. 34-51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Diego Rojas-Rebolledo |
Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 53(3), pp. 351-371, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Le Roux 0001 |
From determinacy to Nash equilibrium ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.1866, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Tomás Brázdil, Antonín Kucera 0001, Petr Novotný 0001 |
Determinacy in Stochastic Games with Unbounded Payoff Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.1639, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Wenfei Fan, Floris Geerts, Lixiao Zheng |
View determinacy for preserving selected information in data transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 37(1), pp. 1-12, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Daisuke Ikegami, David de Kloet, Benedikt Löwe |
The axiom of real Blackwell determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 51(7-8), pp. 671-685, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Paul B. Larson |
A Brief History of Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sets and Extensions in the Twentieth Century ![In: Sets and Extensions in the Twentieth Century, pp. 457-507, 2012, Elsevier, 978-0-444-51621-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers, pp. 94-105, 2012, Springer, 978-3-642-36044-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Finkel |
The Determinacy of Context-Free Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France, pp. 555-566, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-35-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Takanori Hida |
A Computational Interpretation of the Axiom of Determinacy in Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, pp. 335-349, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-42-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
20 | |
Determinacy Race. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 565, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Christoph von Praun |
Determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Parallel Computing ![In: Encyclopedia of Parallel Computing, pp. 561-565, 2011, Springer, 978-0-387-09765-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Philip D. Welch |
Weak systems of determinacy and arithmetical quasi-inductive definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 76(2), pp. 418-436, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Philip D. Welch |
Determinacy in strong cardinal models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 76(2), pp. 719-728, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Foto N. Afrati |
Determinacy and query rewriting for conjunctive queries and views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(11), pp. 1005-1021, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Jael Kriener, Andy King |
RedAlert: Determinacy Inference for Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.2548, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Olivier Finkel |
The Determinacy of Context-Free Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1112.1186, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Jael Kriener, Andy King |
RedAlert: Determinacy inference for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 11(4-5), pp. 537-553, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Lixiao Zheng, Haiming Chen |
Determinacy and rewriting of conjunctive queries over unary database schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1039-1044, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Pasaila |
Conjunctive queries determinacy and rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings, pp. 220-231, 2011, ACM, 978-1-4503-0529-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Rein Kuusik, Grete Lind |
New Developments of Determinacy Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA (2) ![In: Advanced Data Mining and Applications - 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part II, pp. 223-236, 2011, Springer, 978-3-642-25855-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Rocco De Nicola, Daniele Gorla, Anna Labella |
Tree-functors, determinacy and bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 20(3), pp. 319-358, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 28(2), pp. 177-206, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Heinatsch, Michael Möllerfeld |
The determinacy strength of Pi12-comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(12), pp. 1462-1470, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Alan Nash, Luc Segoufin, Victor Vianu |
Views and queries: Determinacy and rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 35(3), pp. 21:1-21:41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Rein Kuusik, Grete Lind |
Some Developments of Determinacy Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA (1) ![In: Advanced Data Mining and Applications - 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part I, pp. 593-602, 2010, Springer, 978-3-642-17315-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Takako Nemoto |
Determinacy of Wadge classes and subsystems of second order arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 55(2), pp. 154-176, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Carlos Pimienta |
Generic determinacy of Nash equilibrium in network-formation games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 66(2), pp. 920-927, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wim Veldman |
The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games: Unifying Logic, Language, and Philosophy ![In: Games: Unifying Logic, Language, and Philosophy, pp. 351-370, 2009, Springer, 978-1-4020-9373-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Victor Khomenko, Mark Schäfer, Walter Vogler |
Output-Determinacy and Asynchronous Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 88(4), pp. 541-579, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Ishanu Chattopadhyay, Asok Ray |
Generalised projections in finite state automata and decidability of state determinacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 81(10), pp. 1626-1644, 2008. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0811.3975, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Grete Lind, Rein Kuusik |
Some Problems in Determinacy Analysis Approaches Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMIN ![In: Proceedings of The 2008 International Conference on Data Mining, DMIN 2008, July 14-17, 2008, Las Vegas, USA, 2 Volumes, pp. 102-108, 2008, CSREA Press, 1-60132-062-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
20 | Stephen Pollard |
Mathematical determinacy and the transferability of aboutness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 159(1), pp. 83-98, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | MedYahya Ould MedSalem, Kazuyuki Tanaka |
Δ03-determinacy, comprehension and induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 72(2), pp. 452-462, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|