Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Klaus Keimel, Gordon D. Plotkin |
Predicate transformers for extended probability and non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 19(3), pp. 501-539, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Arnon Avron, Agata Ciabattoni, Anna Zamansky |
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings, pp. 26-37, 2009, Springer, 978-3-642-03350-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Javed I. Khan, Asrar U. Haque |
Computing with data non-determinism: Wait time management for peer-to-peer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 31(3), pp. 629-642, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jorge A. Pérez 0001, Camilo Rueda |
Non-determinism and Probabilities in Timed Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 677-681, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ulrich Ultes-Nitsche |
A power-set construction for reducing Büchi automata to non-determinism degree two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 101(3), pp. 107-111, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Michal Armoni, Judith Gal-Ezer |
Non-determinism: An abstract concept in computer science studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Educ. ![In: Comput. Sci. Educ. 17(4), pp. 243-262, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Marius Kloetzer, Calin Belta |
Managing non-determinism in symbolic robot motion planning and control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 3110-3115, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Alfredo Gabaldon |
Resolving Non-Determinism in Programs for Complex Task Planning with Search Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning ![In: Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007, pp. 47-52, 2007, AAAI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
20 | Daniele Varacca, Glynn Winskel |
Distributing probability over non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 16(1), pp. 87-113, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Chitta Baral, Jicheng Zhao |
Goal Specification, Non-Determinism and Quantifying over Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 231-237, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
20 | |
Semantic Domains for Combining Probability and Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
20 | Ricardo Peña-Marí, Clara Segura |
Non-determinism analyses in a parallel-functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 15(1), pp. 67-100, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Arnon Avron, Beata Konikowska |
Multi-valued Calculi for Logics Based on Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 13(4), pp. 365-387, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Arnon Avron |
Logical Non-determinism as a Tool for Logical Modularity: An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
We Will Show Them! (1) ![In: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, pp. 105-124, 2005, College Publications, 1-904987-25-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
Stochastic Transition Systems for Continuous State Spaces and Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 125-139, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Viliam Geffert |
(Non)determinism and the Size of One-Way Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings, pp. 23-37, 2005, Università degli Studi di Milano, Milan, Italy. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Elizabeth Scott, Adrian Johnstone |
Reducing non-determinism in right nulled GLR parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(6-7), pp. 459-489, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Bernd Braßel, Michael Hanus, Frank Huch |
Encapsulating Non-Determinism in Functional Logic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Log. Program. ![In: J. Funct. Log. Program. 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
20 | Ivan Stoyanov, Stoyan Bonev |
Resolving non-determinism in NFA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 4th International Conference on Computer Systems and Technologies: e-Learning, CompSysTech 2003, Rousse, Bulgaria, June 19-20, 2003, pp. 119-123, 2003, ACM, 978-954-9641-33-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin |
Don't Care Non-determinism in Logic Program Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia, pp. 101-121, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Serge Grigorieff, Jean-Yves Marion |
Kolmogorov complexity and non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 271(1-2), pp. 151-180, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Suzana Andova, Jos C. M. Baeten |
Alternative composition does not imply non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 76, pp. 125-127, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
20 | Mario Bravetti, Alessandro Aldini |
Non-determinism in Probabilistic Timed Systems with General Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTCS ![In: Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001, pp. 246-274, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale |
Software Architectures for Reducing Priority Inversion and Non-determinism in Real-time Object Request Brokers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 21(1-2), pp. 77-125, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Corin Pitcher |
Functional programming and erratic non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
20 | Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus |
Non-Determinism and Uncertainty in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8(2), pp. 127-150, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Manfred Schmidt-Schauß, Michael Huber |
A Lambda-Calculus with letrec, case, constructors and non-determinism ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0011008, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
20 | Ricardo Pena, Clara Segura |
Non-determinism Analysis in a Parallel-Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 1-18, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Emmanuel Guere, Rachid Alami |
A Possibilistic Planner that Deals with Non-Determinism and Contingency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages, pp. 996-1001, 1999, Morgan Kaufmann, 1-55860-613-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
20 | Sergio Greco |
Non-Determinism and Weak Constraints in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 16(4), pp. 373-396, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Frank Neven |
Structured Document Query Languages Based on Attribute Grammars: Locality and Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO ![In: Fundamentals of Information Systems - Papers from the Seventh Workshop on Foundations of Models and Languages for Data and Objects, Ostfriesland, Germany, October 5-9, 1998, pp. 129-142, 1998, Kluwer, 0-7923-8450-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | Robert Ennals |
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 339, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale |
Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, RTAS'98, Denver, Colorado, USA, June 3-5, 1998, pp. 92-101, 1998, IEEE Computer Society, 0-8186-8569-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Søren B. Lassen, Corin Pitcher |
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOOTS ![In: Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997, pp. 246-266, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Stéphane Grumbach, Zoé Lacroix |
On Non-Determinism in Machines and Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 19(1-2), pp. 169-213, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Dino Pedreschi, V. S. Subrahmanian |
Non-determinism in Deductive Databases - Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 19(1-2), pp. 1-2, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo |
Programming with Non-Determinism in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 19(1-2), pp. 97-125, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Murray Shanahan |
Noise, Non-Determinism and Spatial Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island, USA., pp. 153-158, 1997, AAAI Press / The MIT Press, 0-262-51095-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | David C. Steere |
Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Sixteenth ACM Symposium on Operating System Principles, SOSP 1997, St. Malo, France, October 5-8, 1997, pp. 252-263, 1997, ACM, 0-89791-916-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno |
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '97, The Conference on Computer Communications, Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies, Driving the Information Revolution, Kobe, Japan, April 7-12, 1997, pp. 1253-1260, 1997, IEEE Computer Society, 0-8186-7780-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Soraya Bestaoui |
One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTS ![In: 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995, pp. 352-358, 1995, IEEE Computer Society, 0-8186-7112-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Adam R. Nolan, Bryan Everding, William G. Wee |
Effects of Non determinism on the Predicted Speedup of Scheduling Low Level Computer Vision Algorithms on Networks of Heterogeneous Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: State-of-the-Art and Perspectives, Proceedings of the conference ParCo 1995, Gent, Belgium, September 1995, pp. 231-238, 1995, Elsevier, 0-444-82490-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
20 | H. R. Walters, J. F. Th. Kamperman |
A Model for I/O in Equational Languages with Don't Care Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers, pp. 522-535, 1995, Springer, 3-540-61629-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Mehmet A. Orgun, William W. Wadge |
Extending Temporal Logic Programming with Choice Predicates Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 4(6), pp. 877-903, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Ugo Montanari, Francesca Rossi 0001, Vijay A. Saraswat |
CC Programs with both In- and Non-determinism: A Concurrent Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 162-172, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
Countable Non-Determinism and Uncountable Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 130-145, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | A. W. Roscoe 0001 |
Unbounded Non-Determinism in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 3(2), pp. 131-172, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Feixiong Liu |
Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the conference on Functional programming languages and computer architecture, FPCA 1993, Copenhagen, Denmark, June 9-11, 1993, pp. 201-209, 1993, ACM, 0-89791-595-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | C.-H. Luke Ong |
Non-Determinism in a Functional Setting ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, pp. 275-286, 1993, IEEE Computer Society, 0-8186-3140-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Ronald A. Olsson, Carole M. McNamee |
Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 17(4), pp. 269-282, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Harald Søndergaard, Peter Sestoft |
Non-Determinism in Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 35(5), pp. 514-523, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Louiqa Raschid |
Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Deductive Databases, JICSLP ![In: Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992, pp. 163-174, 1992, Department of Computer Science, University of Melbourne. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
20 | Serge Abiteboul, Victor Vianu |
Non-Determinism in Logic-Based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 3(2-4), pp. 151-186, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Geoff Barrett |
The Fixed Point Theory of Unbounded Non-Determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 3(2), pp. 110-128, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Filippo Cacace, Stefano Ceri, Letizia Tanca |
Consistency and Non-determinism in a Database Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFDBS ![In: MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings, pp. 325-341, 1991, Springer, 3-540-54009-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Mohamed Bettaz, Mourad Maouche |
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPASS/ADT ![In: Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991, Selected Papers, pp. 164-180, 1991, Springer, 3-540-56379-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Sergio Antoy |
Non-Determinism and Lazy Evaluation in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991, pp. 318-331, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo |
Non-Determinism in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 129-146, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Claire Jones |
Probabilistic non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
20 | Dieter Hogrefe, Amardeo Sarma |
Non-Determinism and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988, pp. 157-167, 1988, North-Holland, 0-444-87126-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
20 | Paul Hudak |
Arrays, non-determinism, side-effects, and parallelism: A functional perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Reduction ![In: Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986, pp. 312-327, 1986, Springer, 3-540-18420-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
20 | Mogens Nielsen, P. S. Thiagarajan |
Degrees of Non-Determinism and Concurrency: A Petri Net View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings, pp. 89-117, 1984, Springer, 3-540-13883-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Gordon D. Plotkin |
A Powerdomain for Countable Non-Determinism (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 418-428, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Ralph-Johan Back, Heikki Mannila |
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, CanadaAugust 18-20, 1982, pp. 111-120, 1982, ACM, 0-89791-081-8. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Dirk Vermeir, Walter J. Savitch |
On the amount of non-determinism in pushdown in pushdown automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 4(2), pp. 401-418, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
20 | Lloyd Allison |
Phrase Structures, Non-Determinism and Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 7(3), pp. 139-143, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
20 | Willem P. de Roever |
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings, pp. 472-481, 1976, Springer, 0-387-07854-1. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
20 | John A. Self |
Embedding Non-determinism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 5(3), pp. 221-227, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
19 | Sibin Mohan, Frank Mueller 0001 |
Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA, pp. 285-294, 2008, IEEE Computer Society, 978-0-7695-3146-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hybrid timing anlalysis, hardware/software interactions, real-time systems, embedded systems, computer architecture, timing analysis, worst-case execution time, out-of-order execution |
19 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 290-302, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automata, determinism, two-dimensional languages |
19 | Rishiyur S. Nikhil |
Composable Guarded Atomic Actions: a Bridging Model for SoC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic, pp. 23-28, 2007, IEEE Computer Society, 978-0-7695-2902-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Robert St-Aubin, Joel Friedman, Alan K. Mackworth |
A formal mathematical framework for modeling probabilistic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 47(3-4), pp. 397-425, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37 |
19 | Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith |
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 341-350, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Marc Andreoli, Laurent Mazaré |
Concurrent Construction of Proof-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 29-42, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Alan D. Blair, Elizabeth Sklar, Pablo Funes |
Co-evolution, Determinism and Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'98, Canberra, Australia, November 24-27 1998, Selected Papers, pp. 389-396, 1998, Springer, 3-540-65907-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Neural networks, Co-evolution |
17 | Jacob Burnim, Koushik Sen |
Asserting and checking determinism for multithreaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 3-12, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel programs, determinism, assertions |
16 | Peter Y. A. Ryan, Steve A. Schneider |
Process Algebra and Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 214-227, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Josée Desharnais, François Laviolette, Mathieu Tracol |
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 264-273, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Antoy |
Optimal Non-deterministic Functional Logic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP/HOA ![In: Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, Spetember 3-5, 1997, Proceedings, pp. 16-30, 1997, Springer, 3-540-63459-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Christophe Ringeissen |
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings, pp. 323-326, 1997, Springer, 3-540-62950-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Programming with singular and plural non-deterministic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 83-92, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
non-deterministic functions, semantics, program transformation, term rewriting, maude |
13 | Joachim Fabini, Wolfgang Karner, Lukas Wallentin, Thomas Baumgartner |
The Illusion of Being Deterministic - Application-Level Considerations on Delay in 3G HSPA Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, pp. 301-312, 2009, Springer, 978-3-642-01398-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
HSPA, Measurements, User Experience, 3G, One-way Delay |
13 | Cristian Dittamo |
On Expressing Different Concurrency Paradigms on Virtual Execution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 664-667, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP/WLP ![In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 206-222, 2007, Springer, 978-3-642-00674-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Philip D. Welch |
Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 571-574, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Thomas Baar |
Non-deterministic Constructs in OCL - What Does any() Mean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, pp. 32-46, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Min Xu, Rastislav Bodík, Mark D. Hill |
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 122-133, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Christel Baier, Marta Z. Kwiatkowska |
Model Checking for a Probabilistic Branching Time Logic with Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(3), pp. 125-155, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Probabilistic processes, Verification, Temporal logic, Fairness |
13 | James Harland, David J. Pym |
Resource-Distribution via Boolean Constraint (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 222-236, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Jürgen Bohne, Reny Grönberg |
Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, pp. 21-34, 1996, Springer, 3-540-61772-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Zvi M. Kedem, Alexander Tuzhilin |
Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 336-346, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Oscar Nierstrasz |
Two models of concurrent objects. ![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. 174-176, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Moez Krichen, Stavros Tripakis |
Conformance testing for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(3), pp. 238-304, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability |
12 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 91-100, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
12 | Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang 0001 |
Probabilistic Reachability for Parametric Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, pp. 88-106, 2009, Springer, 978-3-642-02651-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller |
A graph based approach for MPI deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009, pp. 296-305, 2009, ACM, 978-1-60558-498-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
umpire, parallel programming, deadlock detection, mpi |
12 | Frédéric Prost, Chaouki Zerrari |
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 219-235, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Marek Olszewski, Jason Ansel, Saman P. Amarasinghe |
Kendo: efficient deterministic multithreading in software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009, pp. 97-108, 2009, ACM, 978-1-60558-406-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic multithreading, parallel programming, debugging, multicore, determinism |
12 | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti |
A Multi-Periodic Synchronous Data-Flow Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 251-260, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jean Goubault-Larrecq |
Prevision Domains and Convex Powercones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 318-333, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|