Efficient Local Unfolding with Ancestor Stacks (2009)
Puebla, G., Albert, E., Hermenegildo, M.
The most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subsequence of the atoms...
Performance studies of the CMS Strip Tracker before installation (2009)
Adam, W, Bergauer, T, Dragicevic, M, Friedl, M, Frühwirth, R, Hansel, S, ...
In March 2007 the assembly of the Silicon Strip Tracker was completed at the Tracker Integration Facility at CERN. Nearly 15% of the detector was instrumented using cables, fiber optics, power...
Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008 (2009)
Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G.T., ...
This report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ECOOP 2008. It explains the motivation for the workshop, and summarises the presentations and...
Towards Verification of Java Bytecode using Logic Programming Tools (2008)
E. Albert, M. Gómez-zamalloa, L. Hubert, G. Puebla
Abstract. State of the art analyzers in the (Constraint) Logic Programming paradigm (or (C)LP for short) are nowadays mature and sophisticated. They allow inferring a wide variety of global...
ABSTRACT Removing Useless Variables in Cost Analysis of Java Bytecode (2008)
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in order to decide...
Termination Analysis of Java Bytecode ⋆ (2008)
E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini
Introduction: The state of the art in termination analysis includes advanced techniques developed for logic and functional programming [12, 4, 9, 11, 10] and imperative languages [2, 5, 8, 6, 10], as...
Placing Newly-Arising Goals in the Proper Context ∗ (2008)
E. H. Turner, R. M. Turner, E. Albert
agents, multiagent systems. When agents collaborate in the real world, they must be able to handle new goals that arise as they are executing a plan. If we can predict how goals will be satisfied, we...
Java Bytecode Verification using Analysis and Transformation of Logic Programs (2008)
E. Albert, M. Gómez-zamalloa, L. Hubert, G. Puebla
Abstract. State of the art analyzers in the (Constraint) Logic Programming paradigm (or (C)LP for short) are nowadays mature and sophisticated. They allow inferring a wide variety of global...
ABSTRACT Removing Useless Variables in Cost Analysis of Java Bytecode (2008)
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in order to decide...
Test of a CMS MSGC Tracker Prototype in a High Intensity Hadron Beam (2007)
D. Abbaneo, E. Albert, F. Angelini, C. Bastie, W. Beaumont, B. Bell, ...
Verification of Java Bytecode using Analysis and Transformation of Logic Programs (2007)
E. Albert, M. Gómez-zamalloa, L. Hubert, G. Puebla
Abstract. State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination,...
Experiments in Cost Analysis of Java Bytecode (2007)
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini
Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost relations which define...
Verification of Java Bytecode using Analysis and Transformation of Logic Programs (2007)
E. Albert, M. Gómez-zamalloa, L. Hubert, G. Puebla
Abstract. State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination,...
Cost analysis of java bytecode (2007)
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini
Abstract. Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic dispatching). This...
Operational Semantics for Declarative Multi-Paradigm Languages (2005)
E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal
Abstract. In this paper we define an operational semantics for functional logic languages covering notions like laziness, sharing, concurrency, non-determinism, etc. Such a semantics is not only...
M. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla
Distributed parallel execution systems speed up applications by splitting tasks into processes whose execution is assigned to di#erent receiving nodes in a high-bandwidth network. On the distributing...
Performance of a Prototype of the Microstrip Gas Chambers for the CMS Experiment at LHC (2003)
Albert, E, Peisert, Anna, Malina, R, Tsirou, A L, Angelini, A, Bastie, C, ...
A set of microstrip gas chamber ( MSGC) prototypes, developed for the barrel Tracking Detector of the CMS experiment at LHC, has been tested in a beam. The chambers were 10 cm long, with Pestov or...
An Operational Semantics for Declarative Multi-Paradigm Languages (2002)
E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal
In this paper we de ne an operational semantics for functional logic languages covering notions like laziness, sharing, concurrency, non-determinism, etc. Such a semantics is not only important to...
Factor V Leiden and venous thrombosis in a 4-yr-old girl with Behcet's syndrome (2000)
Ihle, J., Kümmerle-Deschner, J., Orlikowsky, T., Albert, E., Niethammer, D., Dannecker, G. E.
Test of a CMS MSGC tracker prototype in a high-intensity hadron beam (1998)
Abbaneo, D., Albert, E., Angelini, F., Bastie, C., Beaumont, W., Bell, B., ...
Test of a CMS MSGC tracker prototype in a high-intensity hadron beam (1998)
Abbaneo, D., Albert, E., Angelini, F., Bastie, C., Beaumont, W., Bell, B., ...
Linearantriebsstreben für Parallelstrukturen (1998)
Harzbecker, C., Wieland, F., Nestler, R., Konvicka, J., Albert, E., Schnurr, B.
Improving Control in Functional Logic Program Specialization (1998)
E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
We have recently defined a framework for Narrowing-driven Partial Evaluation (NPE) of functional logic programs. This method is as powerful as partial deduction of logic programs and positive...
Dinucleotide repeat polymorphism in the human IL1A gene (1994)
Epplen, C., Frank, G., Gomolka, M., Albert, E., Nurnberg, P., Epplen, J.T.
Dinucleotide repeat polymorphism in the human IL1A gene (1994)
Epplen, C, Frank, G, Gomolka, M, Albert, E, Nurnberg, P, Epplen, JT
Melms, A, Schalke, B C, Kirchner, T, Müller-Hermelink, H K, Albert, E, Wekerle, H
The thymus is believed to play a central role in the pathogenesis of Myasthenia gravis (MG). According to a previous hypothesis, MG is initiated within the thymus by immunogenic presentation of...
Melms, A, Schalke, B C, Kirchner, T, Müller-Hermelink, H K, Albert, E, Wekerle, H
The thymus is believed to play a central role in the pathogenesis of Myasthenia gravis (MG). According to a previous hypothesis, MG is initiated within the thymus by immunogenic presentation of...
Association of human leucocyte low responsiveness to inducers of interferon alpha with HLA-DR 2.
Abb, J, Zander, H, Abb, H, Albert, E, Deinhardt, F
The influence of antigens of the major histocompatibility complex (MHC) on the production of interferon (IFN) alpha or IFN gamma by human peripheral blood leucocytes (PBL) in vitro has been studied....
HLA studies in IgM rheumatoid-factor-positive arthritis of childhood.
Clemens, L E, Albert, E, Ansell, B M
The clinical course of children with IgM rheumatoid-factor-positive chronic arthritis closely resembles that of seropositive rheumatoid disease in adults. The frequency of HLA DR4 is known to be...
Hacker, U T, Gomolka, M, Keller, E, Eigler, A, Folwaczny, C, Fricke, H, ...
BACKGROUND: Recently, the association of a polymorphism in the gene coding for the anti-inflammatory cytokine interleukin-1 receptor antagonist with ulcerative colitis has been reported. This was...
Zier, K S, Huber, C, Albert, E, Braunsteiner, H
Cell-mediated immune reactions between a patient suffering from acute myelogenous leukaemia (AML) and an HLA-identical sibling were studied in order to characterize the in vitro reactions in MLC and...
Vascular deposition of complement-split products in kidney allografts with cell-mediated rejection.
Feucht, H E, Felber, E, Gokel, M J, Hillebrand, G, Nattermann, U, Brockmeyer, C, ...
Complement activation in 73 renal transplant biopsies was investigated by indirect immunoperoxidase staining using MoAbs reactive with complement-split products. Intense deposition of complement...
Gencik, M, Borgmann, S, Zahn, R, Albert, E, Sitter, T, Epplen, J T, ...
Wegener's granulomatosis (WG) and microscopic polyangiitis are systemic autoimmune diseases characterized by the presence of ANCA in the sera of patients. Little is known about the aetiologic factors...