|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 424 occurrences of 301 keywords
|
|
|
Results
Found 542 publication records. Showing 542 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Cyrille Artho, Armin Biere, Shinichi Honiden |
Enforcer - Efficient Failure Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 412-427, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Levi Lucio, Luis Pedro, Didier Buchs |
A Test Language for CO-OPN Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 195-201, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Florence Maraninchi, Nicolas Halbwachs |
Compositional Semantics of Non-Deterministic Synchronous Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 235-249, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Yiannis N. Moschovakis, Glen T. Whitney |
Powerdomains, Powerstructures and Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 382-396, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Yves Bekkers, Lucien Ungaro |
Real-Time Memory Management for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 1-12, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
early reset, variable shunting, attributed variable, virtual backtracking, Prolog, implementation, abstract machine, realtime, garbage collector |
21 | Gail E. Kaiser |
Concurrent meld. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 120-122, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
MELD |
20 | Vincent Barichard |
CHR++: An efficient CHR system in C++ with don't know non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part B), pp. 121810, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Sisi Duan, Yue Huang |
Byzantine Fault Tolerance with Non-Determinism, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 134, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
20 | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 9(2), pp. 23:1-23:3, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Miguel Alcon, Axel Brando, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla |
Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 59(3), pp. 438-478, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Dmytro Gavinsky |
Patterned non-determinism in communication complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR23, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Baicai Sun, Dunwei Gong, Feng Pan 0008, Xiangjuan Yao, Tian Tian |
Evolutionary Generation of Test Suites for Multi-Path Coverage of MPI Programs With Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(6), pp. 3504-3523, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yucong Chen, Xianzhi Tang, Shuaixin Xu, Fangfang Zhu, Qingguo Zhou, Tien-Hsiung Weng |
Analyzing execution path non-determinism of the Linux kernel in different scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 35(1), December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Dmytro Gavinsky |
Patterned non-determinism in communication complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.02659, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Octavio Malherbe |
Non-determinism in a linear logic type discipline: A concrete categorical perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.04624, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shuyin Ouyang, Jie M. Zhang, Mark Harman, Meng Wang |
LLM is Like a Box of Chocolates: the Non-determinism of ChatGPT in Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.02828, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Typed Non-determinism in Functional and Concurrent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings, pp. 112-132, 2023, Springer, 978-981-99-8310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 23:1-23:25, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Arnaud Carayol, Philippe Duchon, Florent Koechlin, Cyril Nicaud |
One Drop of Non-Determinism in a Random Deterministic Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023, March 7-9, 2023, Hamburg, Germany., pp. 19:1-19:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-266-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Bas van den Heuvel 0001, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez 0001 |
Functions as Processes: The Case of Collapsing Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.00680, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | A. Feder Cooper, Jonathan Frankle, Christopher De Sa |
Non-Determinism and the Lawlessness of ML Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.11834, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Eduard Kamburjan, Nathan Wasser |
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., pp. 1-16, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | A. Feder Cooper, Jonathan Frankle, Christopher De Sa |
Non-Determinism and the Lawlessness of Machine Learning Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSLAW ![In: Proceedings of the 2022 Symposium on Computer Science and Law, CSLAW 2022, Washington DC, USA, November 1-2, 2022, pp. 1-8, 2022, ACM, 978-1-4503-9234-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre Fernandez, Luidnel Maignan, Antoine Spicher |
Non-Determinism in Lindenmayer Systems and Global Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria., pp. 49:1-49:13, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-256-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Bell, Kae Suarez, Barbara Fossum, Dylan Chapp, Sanjukta Bhowmick, Michela Taufer |
A Research-Based Course Module to Study Non-determinism in High Performance Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS Workshops 2022, Lyon, France, May 30 - June 3, 2022, pp. 346-353, 2022, IEEE, 978-1-6654-9747-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Rongjian Liang, Hua Xiang 0001, Jinwook Jung, Jiang Hu, Gi-Joon Nam |
A Stochastic Approach to Handle Non-Determinism in Deep Learning-Based Design Rule Violation Predictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022, San Diego, California, USA, 30 October 2022 - 3 November 2022, pp. 64:1-64:8, 2022, ACM, 978-1-4503-9217-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alexander Rucker, Muhammad Shahbaz 0001, Kunle Olukotun |
Chopping off the Tail: Bounded Non-Determinism for Real-Time Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 20(2), pp. 110-113, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Arpit Sharma 0002 |
The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 850, pp. 148-167, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Dylan Chapp, Nigel Tan, Sanjukta Bhowmick, Michela Taufer |
Identifying Degree and Sources of Non-Determinism in MPI Applications Via Graph Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 32(12), pp. 2936-2952, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Shin-Cheng Mu |
Equational reasoning for non-determinism monad: the case of Spark aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.09408, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Patrick Bell, Kae Suarez, Dylan Chapp, Nigel Tan, Sanjukta Bhowmick, Michela Taufer |
ANACIN-X: A software framework for studying non-determinism in MPI applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Impacts ![In: Softw. Impacts 10, pp. 100151, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Jonas Böhm, Michael Hanus, Finn Teegen |
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021, pp. 16:1-16:15, 2021, ACM, 978-1-4503-8689-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Anant Dhayal |
On Limiting & Limited Non-determinism in NEXP Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
20 | Miguel Morin, Matthew Willetts |
Non-Determinism in TensorFlow ResNets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.11396, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Sandra Dylus |
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.01531, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
On Resolving Non-determinism in Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Habib Saissi, Stefan Winter 0001, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri |
TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020, pp. 52-63, 2020, IEEE, 978-1-7281-5809-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Jaak Henno, Hannu Jaakkola, Jukka Mäkelä |
Non-determinism in nowadays computing and IT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 43rd International Convention on Information, Communication and Electronic Technology, MIPRO 2020, Opatija, Croatia, September 28 - October 2, 2020, pp. 794-801, 2020, IEEE, 978-953-233-099-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Girish Mururu, Kaushik Ravichandran 0001, Ada Gavrilovska, Santosh Pande |
Generating Robust Parallel Programs via Model Driven Prediction of Compiler Optimizations for Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: ICPP 2020: 49th International Conference on Parallel Processing, Edmonton, AB, Canada, August 17-20, 2020, pp. 32:1-32:12, 2020, ACM, 978-1-4503-8816-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sandra Dylus |
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
20 | Jym Paul Carandang, Francis George C. Cabarle, Henry N. Adorna, Nestine Hope S. Hernandez, Miguel Ángel Martínez-del-Amor |
Handling Non-determinism in Spiking Neural P Systems: Algorithms and Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 164(2-3), pp. 139-155, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Moustafa Zein, Ammar Adl, Aboul Ella Hassanien |
Spiking neural P grey wolf optimization system: Novel strategies for solving non-determinism problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 121, pp. 204-220, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Daanish Ali Khan, Linhong Li, Ninghao Sha, Zhuoran Liu 0009, Abelino Jimenez, Bhiksha Raj, Rita Singh |
Non-Determinism in Neural Networks for Adversarial Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.10906, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
On Resolving Non-determinism in Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.08337, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Arpit Sharma 0002 |
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, pp. 41-58, 2019, Springer, 978-3-030-32504-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Dan Frumin, Léon Gondelman, Robbert Krebbers |
Semi-automated Reasoning About Non-determinism in C Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 60-87, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Milen Loukantchevsky, Nikolay Kostadinov, Hovanes Avakyan |
A Testbed of Non-determinism in Educational Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 20th International Conference on Computer Systems and Technologies, CompSysTech 2019, Ruse, Bulgaria, June 21-22, 2019, pp. 304-307, 2019, ACM, 978-1-4503-7149-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jorge Castro, Joaquim Gabarró, Maria J. Serna |
Refining the Imprecise Meaning of Non-determinism in the Web by Strategic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI (1) ![In: Computational Collective Intelligence - 11th International Conference, ICCCI 2019, Hendaye, France, September 4-6, 2019, Proceedings, Part I, pp. 566-578, 2019, Springer, 978-3-030-28376-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella |
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(4), pp. 508-532, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman |
Catalytic Space: Non-determinism and Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 62(1), pp. 116-135, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
A unified view of monadic and applicative non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 152, pp. 70-98, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Andrey Gorlin, C. R. Ramakrishnan 0001 |
Separable GPL: Decidable Model Checking with More Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 36:1-36:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Hescott, Caleb Malchik, Andrew Winslow |
Non-determinism Reduces Construction Time in Active Self-assembly Using an Insertion Primitive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings, pp. 626-637, 2018, Springer, 978-3-319-94775-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink |
Maximally permissive controlled system synthesis for non-determinism and modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 27(1), pp. 109-142, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Oleg Kiselyov |
Effects Without Monads: Non-determinism - Back to the Meta Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML/OCaml ![In: Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017., pp. 15-40, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Cynthia Kop, Jakob Grue Simonsen |
The Power of Non-Determinism in Higher-Order Implicit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.05382, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Ernst-Erich Doberkat, Pedro Sánchez Terraf |
Stochastic non-determinism and effectivity functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 27(1), pp. 357-394, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Sergio Antoy, Michael Hanus |
Eliminating Irrelevant Non-determinism in Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, pp. 1-18, 2017, Springer, 978-3-319-51675-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Frank Trollmann, Sahin Albayrak |
Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT ![In: Theory and Practice of Model Transformation - 10th International Conference, ICMT@STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings, pp. 35-50, 2017, Springer, 978-3-319-61472-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Jose M. Faria |
Non-determinism and Failure Modes in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2017 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Toulouse, France, October 23-26, 2017, pp. 310-316, 2017, IEEE Computer Society, 978-1-5386-2387-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Simon Van Mierlo, Hans Vangheluwe |
Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 460-462, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes |
Non-Determinism and the Dynamics of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 1053-1059, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Christian Cachin, Simon Schubert, Marko Vukolic |
Non-determinism in Byzantine Fault-Tolerant Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.07351, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Krishna Patel, Robert M. Hierons |
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings, pp. 123-138, 2016, 978-3-319-47442-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Harry Buhrman, Michal Koucký 0001, Bruno Loff, Florian Speelman |
Catalytic Space: Non-determinism and Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France, pp. 24:1-24:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-001-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Christian Cachin, Simon Schubert, Marko Vukolic |
Non-Determinism in Byzantine Fault-Tolerant Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, pp. 24:1-24:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-031-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jocelyne Faddoul, Wendy MacCaull |
Handling Non-determinism with Description Logics using a Fork/Join Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 5(1), pp. 61-85, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Arnab Bhattacharyya 0001, Kirankumar Shiragur |
How friends and non-determinism affect opinion dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.01720, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens |
Fixing non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL '15, Koblenz, Germany, September 14-16, 2015, pp. 5:1-5:12, 2015, ACM, 978-1-4503-4273-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Arnab Bhattacharyya 0001, Kirankumar Shiragur |
How friends and non-determinism affect opinion dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 6466-6471, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ali Ebnenasir |
Incremental Realization of Safety Requirements: Non-determinism vs. Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers, pp. 159-175, 2015, Springer, 978-3-319-24643-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Robbert Krebbers |
An operational and axiomatic semantics for non-determinism and sequence points in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 101-112, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
Resolving Non-determinism in Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 493-512, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Nikita Danilenko |
Exploring Non-Determinism in Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP/WFLP ![In: Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014., pp. 125-139, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Jocelyne Faddoul, Wendy MacCaull |
A Parallel Framework for Handling Non-determinism with Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, Phoenix, AZ, USA, May 19-23, 2014, pp. 699-708, 2014, IEEE Computer Society, 978-0-7695-5208-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Romina Eramo, Romeo Marinelli, Alfonso Pierantonio, Gianni Rosa |
Towards Analysing Non-Determinism in Bidirectional Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMT@MoDELS ![In: Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014., pp. 76-85, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Nicolas Francisco Lopez Giraldo |
Assessing and reducing the impact of LDA's non-determinism in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
20 | Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani |
Call-by-value non-determinism in a linear logic type discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.4507, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Ian J. Hayes, Alan Burns 0001, Brijesh Dongol, Cliff B. Jones |
Comparing Degrees of Non-Determinism in Expression Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 56(6), pp. 741-755, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Bala, Dariusz Jackowski |
Limited Non-determinism Hierarchy of Counter Automata. ![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. 92-103, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Vincent M. Weaver, Daniel Terpstra, Shirley Moore |
Non-determinism and overcount on modern hardware performance counter implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2012 IEEE International Symposium on Performance Analysis of Systems & Software, Austin, TX, USA, 21-23 April, 2013, pp. 215-224, 2013, IEEE Computer Society, 978-1-4673-5776-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani |
Call-by-Value Non-determinism in a Linear Logic Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, pp. 164-178, 2013, Springer, 978-3-642-35721-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Lila Kari |
Negative Glues and Non-determinism in Nanocomputations by Self-assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings, pp. 271-272, 2013, Springer, 978-3-642-39052-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Bodini, Antoine Genitrini, Frédéric Peschanski |
The Combinatorics of Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 425-436, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Hyojin Sung, Rakesh Komuravelli, Sarita V. Adve |
DeNovoND: efficient hardware support for disciplined non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013, pp. 13-26, 2013, ACM, 978-1-4503-1870-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Lars Kristiansen, Bedeho Mesghina Wolde Mender |
Non-determinism in Gödel's System T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 51(1), pp. 85-105, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Leonid A. Levin |
Randomness and Non-determinism ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.0071, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Alejandro Díaz-Caro, Gilles Dowek |
Non determinism through type isomorphism ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012., pp. 137-144, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
A relational semantics for parallelism and non-determinism in a functional setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 163(7), pp. 918-934, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Nuno Macedo, Hugo Pacheco 0001, Alcino Cunha |
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, pp. 146-161, 2012, Springer, 978-3-642-33313-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Flavio M. de Paula, Alan J. Hu, Amir Nahir |
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp. 513-531, 2012, Springer, 978-3-642-31423-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli |
Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem Preliminary Ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: Proceedings of the 13th Workshop on Objects and Agents, Milano, Italy, September 17-19, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli |
Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO Workshops ![In: Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012, pp. 205-210, 2012, IEEE Computer Society, 978-1-4673-5153-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune |
Trace equivalence decision: negative tests and non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, pp. 321-330, 2011, ACM, 978-1-4503-0948-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Michele Pagani, Simona Ronchi Della Rocca |
Linearity, Non-determinism and Solvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 103(1-4), pp. 173-202, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Manuel Ojeda-Aciego |
A coalgebraic approach to non-determinism: Applications to multilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 180(22), pp. 4323-4335, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Peter G. Bishop, Lukasz Cyra |
Overcoming Non-determinism in Testing Smart Devices: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings, pp. 237-250, 2010, Springer, 978-3-642-15650-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Qing Wang 0002 |
A Proof System with Bounded Non-determinism in Database Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDKB ![In: Semantics in Data and Knowledge Bases - 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers, pp. 114-133, 2010, Springer, 978-3-642-23440-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | |
Semantic Domains for Combining Probability and Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
DBLP BibTeX RDF |
|
20 | |
Retraction notice to "Semantic Domains for Combining Probability and Non-Determinism" [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Theor. Comput. Sci. ![In: Electron. Notes Theor. Comput. Sci. 222, pp. 1, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 542 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|