Jonas Barklund Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2000
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection principles in computational logic. J. Log. Comput. 10(6): 743-786 (2000)
1996
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Margus Veanes, Jonas Barklund: On the Number of Edges in Cycletrees. Inf. Process. Lett. 57(4): 225-229 (1996)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Margus Veanes, Jonas Barklund: Construction of Natural Cycletrees. Inf. Process. Lett. 60(6): 313-318 (1996)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Margus Veanes, Jonas Barklund: Natural Cycletrees: Flexible Interconnection Graphs. J. Parallel Distrib. Comput. 33(1): 44-54 (1996)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Johan Bevemyr: Prolog with arrays and bounded quantifications. J. Prog. Lang. 4(3): 117-141 (1996)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Per Jonsson, Jonas Barklund: Characterizing Signal Behaviour Using Genetic Programming. Evolutionary Computing, AISB Workshop 1996: 62-72
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Multiple Metareasoning Agents for Flexible Query-Answering Systems. FQAS 1996: 155-166
1995
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of SLD-Resolution with Reflection. ICLP 1995: 830
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Alan Robinson, Jonas Barklund: Vesper. Machine Intelligence 15 1995: 360-377
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of Encodings in Logic Programming. ILPS 1995: 288-302
1994
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Andreas Hamfelt: Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. J. Log. Program. 18(1): 55-80 (1994)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund: Bounded Quantifications for Iteration and Concurrency in Logic Programming. New Generation Comput. 12(2): 161-182 (1994)
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Reflection through Constraint Satisfaction. ICLP 1994: 742
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua: A Basis for a Multi-Level Meta-Logic Programming Language. META 1994: 262-275
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund: Tabulation of Functions in Definite Clause Programs. PLILP 1994: 465-466
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: SLD - Resolution with Reflection. SLP 1994: 554-568
1993
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantification - Preliminary Results. SIGPLAN Notices 28(8): 117-124 (1993)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Johan Bevemyr: Prolog with Arrays and Bounded Quantifications. LPAR 1993: 28-39
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Johan Bevemyr: Executing Bounded Quantifications on Shared Memory Multiprocessors. PLILP 1993: 302-317
1992
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Håkan Millroth: Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. FGCS 1992: 817-824
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantifiers - Preliminary Results. IJCSLP Workshop on Concurrent and Parallel Implementations 1992
1990
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Hamfelt, Jonas Barklund: An Intelligent Object Oriented Modelling to Legal Data Bases Combining Logic Programming and Hypertext. DEXA 1990: 56-61
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monika Danielsson, Jonas Barklund: Persistent Data Storage for Prolog. DEXA 1990: 456-463
1988
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Nils Hagner, Malik Wafin: KL1 in Condition Graphs on a Connection Machine. FGCS 1988: 1041-1050
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Nils Hagner, Malik Wafin: Condition Graphs. ICLP/SLP 1988: 435-446
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund: What Is a Meta-Variable in Prolog? META 1988: 383-398
1987
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Håkan Millroth: Hash Tables in Logic Programming. ICLP 1987: 411-427
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund: Efficient interpretation of Prolog programs. PLDI 1987: 132-137
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Håkan Millroth: Integrating Complex Data Structures in Prolog. SLP 1987: 415-425
1986
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonas Barklund, Håkan Millroth: Garbage Cut for Garbage Collection of Iterative Prolog Programs. SLP 1986: 276-283

Coauthor Index

1Henrik Arro
[j1] [c10]
2Johan Bevemyr
[j4] [j1] [c13] [c12] [c10]
3Katrin Boberg
[c16]
4Stefania Costantini
[j8] [c21] [c20] [c18] [c17] [c14]
5Monika Danielsson
[c8]
6Pierangelo Dell'Acqua
[j8] [c21] [c20] [c18] [c17] [c16] [c14]
7Nils Hagner
[c7] [c6]
8Andreas Hamfelt
[j3] [c9]
9Per Jonsson
[c22]
10Gaetano Aurelio Lanzarone
[j8] [c21] [c20] [c18] [c17] [c14]
11Håkan Millroth
[c11] [c4] [c2] [c1]
12John Alan Robinson
[c19]
13Margus Veanes
[j7] [j6] [j5]
14Malik Wafin
[c7] [c6]

Colors in the list of coauthors

Last update Wed May 22 04:21:03 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page