Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rohit U. Nabar, Helmut Bölcskei, Arogyaswami Paulraj |
Diversity performance of Ricean MIMO channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 253-256, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ayman Abdel-Samad, Alex B. Gershman, Timothy N. Davidson |
Robust transmit eigen-beamforming based on imperfect channel state information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 200-207, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Gharavi-Alkhansari, Alex B. Gershman, Martin Haardt |
Exact error probability analysis of orthogonal space-time block codes over correlated Rician fading channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 274-278, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Guido Dietl, Michael Joham, Philipp Kreuter, Johannes Brehmer, Wolfgang Utschick |
A Krylov subspace multistage decomposition of the transmit Wiener filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 247-252, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ansgar Scherb, Volker Kühn 0001, Karl-Dirk Kammeyer |
Deterministic and Monte Carlo approaches for joint iterative data detection and channel estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 9-16, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schneider 0003, Marcus Großmann, Reiner S. Thomä |
Performance of antenna variable modulation for turbo MIMO transmission in frequency-selective channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 261-267, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Wehinger, Christoph F. Mecklenbräuker, Steffen Paul, Florian Kaltenberger |
Two-stage space-time receiver for UMTS frequency division duplex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 231-234, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | W. Weichselberger |
On the decomposition of the MIMO channel correlation tensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 268-273, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Szabo, Norbert Gengf, Axel Klein, Ingo Viering, Josef A. Nossek |
On the performance of fast feedback and link adaptation for MIMO eigenbeamforming in cellular systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 144-151, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Del Galdo, Marko Milojevic, Martin Haardt, Marko Hennhöfer |
Efficient channel modelling for frequency selective MIMO channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 189-193, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frank Fröhlich, Utz Martin |
Frequency-domain MIMO interference cancellation technique for space-time block-coded single-carrier systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 30-34, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Eduard A. Jorswieck, Holger Boche, Martin Schubert |
Analysis of multiuser MIMO systems with MMSE receiver based on worst case noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 122-129, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | A. Jeffries, W. Tong, C. Ward |
A high spectral efficiency broadband mobile radio access system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 243-246, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tobias J. Oechtering, Aydin Sezgin |
A new cooperative transmission scheme using the space-time delay code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 41-48, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Karim M. Nasr, Fumie Costen, Stephen K. Barton |
On the interpolation of the weights of an OFDM-MMSE smart antenna for an infrastructure WLAN in arbitrary indoor environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 69-74, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Cicerone, Osvaldo Simeone, Norbert Geng, Umberto Spagnolini |
Modal analysis/filtering to estimate time-varying MIMO-OFDM channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 35-40, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Kuropatwinski, Frank Lillie, Norbert Geng, Friedrich K. Jondral |
Low-cost MIMO real-time demonstrator: concept and first results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 25-29, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | H. Hofstetter, G. Steinbock |
A geometry based stochastic channel model for MIMO systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 194-199, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | S. A. Razavi |
Full-diversity rate-(near) one space-time block codes at linear decoding complexity for quasistatic fading channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 103-105, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michel T. Ivrlac, Josef A. Nossek |
Cross layer optimization - an equivalence class approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 223-230, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Hunger, Frank A. Dietrich, Michael Joham, Wolfgang Utschick |
Robust transmit zero-forcing filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 130-137, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John S. Thompson |
Antenna array performance with channel estimation errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 75-78, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Fügen, Christiane Kuhnert, Jürgen Maurer, Werner Wiesbeck |
Performance of multiuser MIMO systems under realistic propagation conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 167-173, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Joham, Johannes Brehmer, Andreas Voulgarelis, Wolfgang Utschick |
Multiuser spatio-temporal Tomlinson-Harashima precoding for frequency selective vector channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 208-215, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Melanie Witzke |
Iterative detection of linear-dispersion codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 57-62, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Svante Bergman, Cristoff Martin, Björn E. Ottersten |
Bit and power loading for spatial multiplexing using partial channel state information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 152-159, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Stege, Frank Schäfer, Matthias Henker, Gerhard P. Fettweis |
Hardware in a loop-a system prototyping platform for MIMO-approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 216-222, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mario Kießling, Joachim Speidel, Markus Reinhardt |
Ergodic capacity of MIMO channels with statistical channel state information at the transmitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 79-86, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Mietzner, J. Eick, Peter Adam Höher |
On distributed space-time coding techniques for cooperative wireless networks and their sensitivity to frequency offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 114-121, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christian Waldschmidt, Christiane Kuhnert |
On the integration of MIMO systems into handheld devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: 2004 ITG Workshop on Smart Antennas, WSA 2004, Munich, Germany, 18-19 March 2004, pp. 1-8, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Van Roy |
Challenges in Developing Useful and Practical Static Analysis for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 111, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Tupling Functions with Multiple Recursion Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 124-140, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Claude Fernandez |
Abstract Interpretation and Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 60-71, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David A. Wright 0001, Clement A. Baker-Finch |
Usage Analysis with Natural Reduction Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 254-266, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Avoiding Repeated Tests in Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 141-152, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.) |
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![Springer, 3-540-57264-3 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Maffeïs, Paul Le Guernic |
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 99-110, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Bruynooghe, Michael Codish |
Freeness, Sharing, Linearity and Correctness - All at Once. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 153-164, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Régis Cridlig, Eric Goubault |
Semantics and Analysis of Linda-Based Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 72-86, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alex Ferguson, John Hughes 0001 |
Fast Abstract Interpretation Using Sequential Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 45-59, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Johan Boye, Jukka Paakki, Jan Maluszynski |
Synthesis of Directionality Information for Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 165-177, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | P. N. Benton |
Strictness Properties of Lazy Algebraic Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 206-217, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Niels Jørgensen |
Chaotic Fixpoint Iteration Guided by Dynamic Dependency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 27-44, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Monsuez |
Polymorphic Types and Widening Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 267-281, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Andrei V. Klimov |
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 112-123, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Talpin, Pierre Jouvelot |
Compiling FX on the CM-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 87-98, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul Hudak |
Reflections on Program Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 193, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Lindsay Errington, Chris Hankin, Thomas P. Jensen |
A Congruence for Gamma Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 242-253, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kato, Hirohisa Seki, Hidenori Itoh |
An Efficient Abductive Reasoning System Based on Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 230-241, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Rachid Echahed, Bjarte M. Østvold |
Abstract Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 178-192, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft |
Minimal Thunkification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 218-229, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson |
Finiteness Conditions for Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 194-205, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck |
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 15-26, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel |
The Impact of Granularity in Abstract Interpretation of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 1-14, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dan Sahlin, Thomas Sjöland |
Demonstration: Static Analysis of AKL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings, pp. 282-283, 1993, Springer, 3-540-57264-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi |
Static Analysis of CLP Programs over Numeric Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 43-50, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Baudouin Le Charlier, Pascal Van Hentenryck |
On the Design of Generic Abstract Interpretation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 229-246, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | John P. Gallagher |
Static Analysis for Logic Program Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 285-294, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 35-42, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy (eds.) |
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![Atelier Irisa, IRISA, Campus de Beaulieu The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson |
Inference Systems for Binding Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 247-254, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Giavitto, Jean-Paul Sansonnet, Olivier Michel 0001 |
Inférer rapidement la géométrie des collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 185-193, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas P. Jensen |
Axiomatising Uniform Properties of Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 144-151, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Christian Queinnec |
Value Transforming Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 20-28, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Alan Mycroft, Mads Rosendahl |
Minimal Function Graphs are not Instrumented. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 60-67, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Chris Hankin, Daniel Le Métayer, David Sands 0001 |
Transformation of Gamma Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 12-19, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Tadashi Araragi |
Program Transformation in a Nonmonotonic Reasoning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 135-143, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
An Abstract Interpretation Algorithm for Residuating Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 304-312, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Young Gil Park, Benjamin Goldberg |
Order-of-Demand Analysis for Lazy Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 91-101, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Anne Parrain, Philippe Devienne, Patrick Lebègue |
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 295-303, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Matthijs F. Kuiper |
Speeding Up Parallelism Detection for Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 152-162, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Geoff W. Hamilton |
Sharing Analysis of Lazy First-Order Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 68-78, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Denis Béchet |
Partial Evaluation of Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 331-338, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Christian Queinnec, P. Geffroy |
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 109-117, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez |
An Application of Abstract Interpretation to Floating Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 205-212, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Fosca Giannotti, Diego Latella |
Using Abstract Interpretation for Gate splitting in LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 194-204, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Maria J. García de la Banda, Manuel V. Hermenegildo |
A Practical Application of Sharing and Freeness Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 118-125, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Yan Mei Tang, Pierre Jouvelot |
Control-Flow Effects for Escape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 313-321, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier |
Weighted Systems Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 163-173, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Olivier Danvy, John Hatcliff |
Thunks (Continued). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 3-11, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Marianne Morillon |
Automatic Generation of Valid Linear Measures for CLP(Q) Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 29-34, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Giuseppe Amato 0001, Fosca Giannotti, Gianni Mainetto |
Analysis of Concurrent Transactions in a Functional Database Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 174-184, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | A. E. Ayers |
Efficient Closure Analysis with Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 126-134, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Bernard P. Serpette |
Approximations d'évaluateurs fonctionnels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 79-90, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Bruno Monsuez |
Fractional Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 274-284, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy |
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 51-59, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Marc Gengler, M. Rytz |
A Polyvariant Binding Time Analysis Handling Partially Known Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 322-330, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Clement A. Baker-Finch |
Relevant Logic and Strictness Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 221-228, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros |
On Boolean Feature Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 213-220, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | E. Saint-James |
Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 102-108, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Peter T. Breuer, Jonathan P. Bowen |
Decompilation is the Efficient Enumeration of Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 255-273, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|