Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Dave Penkler |
An Array and List Processing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 22, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Greg Pfeil |
Kilns: A Lisp Without Lambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 9, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Strandh |
Fast Generic Dispatch for Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 89, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Nunes-Harwitt |
From Naïve to Norvig On Deriving a PROLOG Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 70, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ken Wakita, Kanako Homizu, Akira Sasaki |
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 12, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro Castro-Castilla |
Multiplatform and Mobile App Development in Scheme with Gambit/SchemeSpheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 4, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Smith 0004, Brendan Pawlowski |
Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 60, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Nunes-Harwitt |
Eager Evaluation Isn't Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 79, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Palma Ramos, António Menezes Leitão |
Reaching Python from Racket. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 32, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dave Cooper |
A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 6, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Strandh |
Resolving Metastability Issues During Bootstrapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 103, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Feeley, Didier Verna (eds.) |
International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![ACM, 978-1-4503-2931-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Smith 0004 |
Common Lisp's Predilection for Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 10, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nick Levine, Michael Young |
Leadership Trait Analysis and Threat Assessment with Profiler Plus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 50, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Strandh |
An Improvement to Sliding Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 97, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian L. Petersen, Matthias Görges, John Mark Ansermino, Guy Albert Dumont |
A Scheme-Based Closed-Loop Anesthesia System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 40, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suda Keishi, Abe Seika |
PaGe: Portable LALR(1) Parser Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2014, Montreal, QC, Canada, August 14-17, 2014, pp. 8, 2014, ACM, 978-1-4503-2931-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Mehnert |
Extending Dylan's type system for better type inference and error detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 1-10, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Yasugi, Tsuneyasu Komiya, Tasuku Hiraishi, Seiji Umatani |
Managing continuations for proper tail recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 65-72, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa |
Starvation-free heap size for replication-based incremental compacting garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 43-52, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | François-René Rideau, Robert P. Goldman |
Evolving ASDF: more cooperation, less coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 29-42, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Shingo Yuasa, Masahiro Yasugi |
Validating low-level instructions for fixnums using BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 11-20, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roy M. Turner |
LP/LISP: literate programming for Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 21-28, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John Maraist |
NST: a unit testing system for common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010, pp. 53-64, 2010, ACM, 978-1-4503-0470-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jon L. White, António Menezes Leitão (eds.) |
International Lisp Conference, ILC 2010, Reno, NV, USA, October 19-21, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![ACM, 978-1-4503-0470-2 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (eds.) |
Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![Springer, 978-3-642-03091-8 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Borden |
Classification using conditional probabilities and Shannon's definition of information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 15, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Mehnert, Andreas Bogk |
A domain-specific language for manipulation of binary data in Dylan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 22, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano |
HOP: an environment for developing web 2.0 applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 6, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sperber |
It's all about being right: lessons from the R6RS process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 7, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Charlotte Herzeel, Kris Gybels, Pascal Costanza, Theo D'Hondt |
Modularizing crosscuts in an e-commerce application in Lisp using HALO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 11, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Repenning, Andri Ioannidou |
X-expressions in XMLisp: S-expressions and extensible markup language unite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 23, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Herth |
Portable Common Lisp graphical user interfaces with LTk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 19, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Frank |
Constraint solving in common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 10, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cyrus L. Harmon |
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 18, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mallery |
CL-HTTP: an open-source cross-platform environment for web application development and deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 3, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Carl Shapiro, Pascal Costanza, Jon L. White (eds.) |
International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![ACM, 978-1-59593-618-9 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Osamu Akashi, Atsushi Terauchi, Kensuke Fukuda, Toshio Hirotsu, Toshiharu Sugawara |
Lisp-based agent platform and applications for inter-domain network management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 14, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Connolly, Lynn Quam |
FREEDIUS: an open source Lisp-based image understanding environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 16, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robert Strandh, David Murray, Troels Henriksen, Christophe Rhodes |
ESA: a CLIM library for writing Emacs-Style Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 24, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Wellons, John Wisneski |
DAUTI: automated universal traffic introspector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 25, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Möller 0001 |
Building a commercial OWL reasoner with Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 5, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Tasuku Hiraishi, Masahiro Yasugi, Taiichi Yuasa |
Experience with SC: transformation-based implementation of various extensions to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 20, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | António Menezes Leitão |
The next 700 programming libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 21, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Wozniak, Mark Daley, Stephen M. Watt |
Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 26, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mario Latendresse |
Simple and efficient compilation of list comprehension in common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 12, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard E. Jones |
Dynamic memory management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 2, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jans Aasman |
Scalable Lisp applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 1, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet Gençer, Coskun Gunduz, Vehbi Sinan Tunalioglu |
CL-SNA: social network analysis with Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 17, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Rhodes |
User-extensible sequences in common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 13, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christian Queinnec |
Teaching CS to undergraduates at UPMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 4, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jay Cotton, Jerry Boetje |
A metaobject protocol for CLforJava. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 9, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Stoyan |
Lisp: themes and history. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: International Lisp Conference, ILC 2007, Cambridge, UK, April 1-4, 2007, pp. 8, 2007, ACM, 978-1-59593-618-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guy Louchard, Helmut Prodinger |
Representations of Numbers as åk=-nn ek k\sum_{k=-n}^n \varepsilon_k k: A Saddle Point Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 87-96, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Claudio Zandron |
Genetic Systems without Inhibition Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 21-31, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Duparc, Alessandro Facchini |
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 46-55, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Probabilistic Systems with LimSup and LimInf Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 32-45, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Étienne Lozes, Arnaud Sangnier |
Towards Model-Checking Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 56-86, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wilmari Bekker, Valentin Goranko |
Symbolic Model Checking of Tense Logics on Rational Kripke Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 2-20, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Zandron |
Nadia Busi (1968-2007). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 1, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki |
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 109-125, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Douadi Mihoubi |
Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 97-108, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joost Winter |
Is P = PSPACE for Infinite Time Turing Machines? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILC ![In: Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers, pp. 126-137, 2007, Springer, 978-3-642-03091-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|