Ident. | Authors (with country if any) | Title |
---|
000006 |
Dietmar Jannach [Allemagne] ; Iman Kamehkhosh [Allemagne] ; Geoffray Bonnin [France] | Biases in Automated Music Playlist Generation: A Comparison of Next-Track Recommending Techniques |
000019 |
Jürgen Trouvain [Allemagne] ; Anne Bonneau [France] ; Vincent Colotte [France] ; Camille Fauth [France] ; Dominique Fohr [France] ; Denis Jouvet [France] ; Jeanin Jügler [France] ; Yves Laprie [France] ; Odile Mella [France] ; Bernd Möbius [France] ; Frank Zimmerer [Allemagne] | The IFCASL Corpus of French and German Non-native and Native Read Speech |
000020 |
Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne] | SoK: Verifiability Notions for E-Voting Protocols |
000024 |
Valerio Modugno [Italie] ; Gerard Neumann [Allemagne] ; Elmar Rueckert [Allemagne] ; Giuseppe Oriolo [Italie] ; Jan Peters [Allemagne] ; Serena Ivaldi [France] | Learning soft task priorities for control of redundant robots |
000036 |
Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne] | Using the RPL Protocol for Supporting Passive Monitoring in the Internet of Things |
000073 |
Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne] | Extended security arguments for signature schemes |
000106 |
Jasmin Christian Blanchette [France] ; Sascha Böhme [Allemagne] ; Mathias Fleury [France] ; Steffen Juilf Smolka [États-Unis] ; Albert Steckermeier [Allemagne] | Semi-intelligible Isar Proofs from Machine-Generated Proofs |
000138 |
Tamara Toši [France] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Mariia Fedotenkova [France] ; Peter Beim Graben [Allemagne] ; Axel Hutt [France] | Statistical Frequency-Dependent Analysis of Trial-to-Trial Variability in Single Time Series by Recurrence Plots |
000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
000154 |
Raymond Vanholder [Belgique] ; Denis Fouque [France] ; Griet Glorieux [Belgique] ; Gunnar H. Heine [Allemagne] ; Mehmet Kanbay [Turquie] ; Francesca Mallamaci [Italie] ; Ziad A. Massy [France] ; Alberto Ortiz [Espagne] ; Patrick Rossignol [France] ; Andrzej Wiecek [Pologne] ; Carmine Zoccali [Italie] ; Gérard Michel London [France] | Clinical management of the uraemic syndrome in chronic kidney disease. |
000172 |
Fabian-Robert Stöter [Allemagne] ; Antoine Liutkus [France] ; Roland Badeau [France] ; Bernd Edler [Allemagne] ; Paul Magron [France] | Common Fate Model for Unison source Separation |
000297 |
Pascal Fontaine [France] ; Thomas Sturm [Allemagne] ; Uwe Waldmann [Allemagne] | Foreword to the Special Focus on Constraints and Combinations |
000301 |
Laura Kallmeyer [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [Allemagne] | Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame Semantics |
000316 |
Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Unification and Matching in Hierarchical Combinations of Syntactic Theories |
000339 |
Ahmed H. Abdelaziz [Allemagne] ; Shinji Watanabe [États-Unis] ; John R. Hershey [États-Unis] ; Emmanuel Vincent [France] ; Dorothea Kolossa [Allemagne] | Uncertainty propagation through deep neural networks |
000354 |
Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne] | Modal Tableau Systems with Blocking and Congruence Closure |
000361 |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Foundational Extensible Corecursion: A Proof Assistant Perspective |
000372 |
Felix Weninger [Allemagne] ; Hakan Erdogan [États-Unis] ; Shinji Watanabe [États-Unis] ; Emmanuel Vincent [France] ; Jonathan Le Roux [États-Unis] ; John R. Hershey [États-Unis] ; Björn Schuller [Royaume-Uni] | Speech enhancement with LSTM recurrent neural networks and its application to noise-robust ASR |
000380 |
Emmanuel Vincent [France] ; Emanuël Habets [Allemagne] | Advanced spatial speech and audio processing |
000424 |
Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Beagle – A Hierarchic Superposition Prover |
000426 |
Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Rainer Osswald [Allemagne] ; Sylvain Pogodalla [France] ; Christian Wurm [Allemagne] | Quantification in Frame Semantics with Hybrid Logic |
000427 |
Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne] | Linear Integer Arithmetic Revisited |
000434 |
Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne] | Workshop NotesInternational Workshop ``What can FCA do for Artificial Intelligence?'' (FCA4AI 2015) |
000446 |
Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne] | Mining the Archive of Formal Proofs |
000452 |
Thomas Sturm [Allemagne] | Subtropical Real Root Finding |
000494 |
Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne] | Improved algorithms for solving bivariate systems via Rational Univariate Representations |
000516 |
Hassan Errami [Allemagne] ; Markus Eiswirth [Allemagne] ; Dima Grigoriev [France] ; Werner M. Seiler [Allemagne] ; Thomas Sturm [Allemagne] ; Andreas Weber [Allemagne] | Detection of Hopf bifurcations in chemical reaction networks using convex coordinates |
000526 |
Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Deisenroth [Royaume-Uni] ; Elmar Rueckert [France] ; Jan Peters [Allemagne] | Learning Inverse Dynamics Models with Contacts |
000576 |
Thomas Pr Tzlich [Allemagne] ; Rachel Bittner [États-Unis] ; Antoine Liutkus [France] ; Meinard Müller [Allemagne] | Kernel additive modeling for interference reduction in multi-channel music recordings |
000582 |
Jasmin Christian Blanchette [France] ; Andrei Popescu [Royaume-Uni] ; Dmitriy Traytel [Allemagne] | Witnessing (Co)datatypes |
000590 |
Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique] | Type-Based Verification of Electronic Voting Protocols |
000667 |
Stefan Canzar [France] ; Khaled Elbassioni [Allemagne] ; Gunnar W. Klau [Pays-Bas] ; Julián Mestre [France] | On Tree-Constrained Matchings and Generalizations |
000671 |
Marco Voigt [Allemagne] ; Christoph Weidenbach [Allemagne] | Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete |
000673 |
Marek Kosta [France] ; Thomas Sturm [Allemagne] | A Generalized Framework for Virtual Substitution |
000674 |
Gábor Alagi [Allemagne] ; Christoph Weidenbach [France] | {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment |
000719 |
An Lu [France] ; Sylvain Lefebvre [France] ; Jérémie Dumas [France] ; Jun Wu [Allemagne] ; Christian Dick [Allemagne] | By-example synthesis of structurally sound patterns |
000727 |
Maximilian Jaroschek [Allemagne] ; Pablo Federico Dobal [Allemagne] ; Pascal Fontaine [France] | Adapting Real Quantifier Elimination Methods for Conflict Set Computation |
000757 |
Cordula Schwappach [Allemagne] ; Axel Hutt [France] ; Peter Beim Graben [Allemagne] | Metastable dynamics in heterogeneous neural fields |
000758 |
Francesco Giovannini [France] ; Motoharu Yoshida [Allemagne] ; Laure Buhry [France] | Mathematical modelling of ICAN-mediated persistent firing in hippocampal neurons |
000766 |
Tamara Toši [France] ; Peter Beim Graben [Allemagne] ; Kristin K. Sellers [États-Unis] ; Flavio Fröhlich [États-Unis] ; Axel Hutt [France] | Dynamics analysis of neural univariate time series by recurrence plots |
000781 |
Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne] | Mitigation of topological inconsistency attacks in RPL‐based low‐power lossy networks |
000811 |
Marek Kosta [France] ; Thomas Sturm [Allemagne] ; Andreas Dolzmann [Allemagne] | Better Answers to Real Questions |
000829 |
Gerald Lüttgen [Allemagne] ; Stephan Merz [France] | Editorial: Special Issue of Automated Verification of Critical Systems |
000831 |
Gerald Lüttgen [Allemagne] ; Stephan Merz [France] | Science of Computer Programming Special Issue: Automated Verification of Critical Systems |
000938 |
Anuj Sehgal [Allemagne] ; Anthéa Mayzaud [France] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne] | Addressing DODAG inconsistency attacks in RPL networks |
000979 |
Christopher W. Brown [France] ; Marek Kosta [Allemagne] | Constructing a single cell in cylindrical algebraic decomposition |
000990 |
Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne] | Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2014) |
000998 |
Michal Kraj Ansk [Allemagne] ; Jörg Hoffmann [Allemagne] ; Olivier Buffet [France] ; Alan Fern [États-Unis] | Learning Pruning Rules for Heuristic Search Planning |
000A54 |
Igor Vatolkin [Allemagne] ; Geoffray Bonnin [France] ; Dietmar Jannach [Allemagne] | Comparing Audio Features and Playlist Statistics for Music Classification |
000A63 |
Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France] | Towards Conflict-Driven Learning for Virtual Substitution |
000A66 |
Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Finite Quantification in Hierarchic Theorem Proving |
000A68 |
Marek Kosta [Allemagne] ; Thomas Sturm [France] ; Andreas Dolzmann [Allemagne] | Better Answers to Real Questions |
000A72 |
Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne] | A Study of RPL DODAG Version Attacks |
000A94 |
Christine Berthaud [France] ; Laurent Capelli [France] ; Jens Gustedt [France] ; Claude Kirchner [France] ; Kevin Loiseau [France] ; Agnès Magron [France] ; Maud Medves [Allemagne] ; Alain Monteil [France] ; Gaëlle Riverieux [France] ; Laurent Romary [Allemagne] | EPISCIENCES - an overlay publication platform |
000B02 |
Axel Hutt [France] ; Meysam Hashemi [France] ; Peter Beim Graben [Allemagne] | How to render Neural Fields more realistic |
000B64 |
Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] | Gestion de risques appliquée aux réseaux RPL |
000B70 |
Peter Beim Graben [Allemagne] ; Axel Hutt [France] | Attractor and saddle node dynamics in heterogeneous neural fields |
000B79 |
Ingmar Steiner [Allemagne] ; Peter Knopp [Allemagne] ; Sebastian Musche [Allemagne] ; Astrid Schmiedel [Allemagne] ; Angelika Braun [Allemagne] ; Slim Ouni [France] | Investigating the effects of posture and noise on speech production |
000B86 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawing with Circular Arcs |
000C47 |
Joachim Thiemann [Allemagne] ; Emmanuel Vincent [France] ; Steven Van De Par [Allemagne] | Spatial properties of the DEMAND noise recordings |
000C53 |
Steve Kremer [France] ; Robert Künnemann [Allemagne] | Automated analysis of security protocols with global state |
000C56 |
John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Ben Ouezdou [France] ; Gordon Cheng [Allemagne] | Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots |
000D69 |
Peter Beim Graben [Allemagne] ; Axel Hutt [France] | Detecting event-related recurrences by symbolic analysis: Applications to human language processing |
000D79 |
Manuel Lamotte-Schubert [Allemagne] ; Christoph Weidenbach [France] | BDI: a new decidable clause class |
000D98 |
Fatmir Asllanaj [Allemagne] ; Sylvain Contassot-Vivier [France] ; André Liemert [Allemagne] ; Alwin Kienle [Allemagne] | Radiative transfer equation for predicting light propagation in biological media: comparison of a modified finite volume method, the Monte Carlo technique, and an exact analytical solution. |
000E36 |
John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne] | Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots |
000E57 |
Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada] | The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) |
000F00 |
Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne] | Hierarchic Superposition: Completeness without Compactness |
000F48 |
Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | Deduction Soundness: Prove One, Get Five for Free |
000F56 |
Pegah Kamousi [Belgique] ; Sylvain Lazard [France] ; Anil Maheshwari [Canada] ; Stefanie Wuhrer [Allemagne] | Analysis of Farthest Point Sampling for Approximating Geodesics in a Graph |
001026 |
Hassan Errami [Allemagne] ; Markus Eiswirth ; Dima Grigoriev [France] ; Werner Seiler [Allemagne] ; Thomas Sturm [France] ; Andreas Weber [Allemagne] | Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates |
001045 |
Ingmar Steiner [Allemagne] ; Korin Richmond [Royaume-Uni] ; Slim Ouni [France] | Speech animation using electromagnetic articulography as motion capture data |
001073 |
Patrizio Angelini [Italie] ; David Eppstein [États-Unis] ; Fabrizio Frati [Australie] ; Michael Kaufmann [Allemagne] ; Sylvain Lazard [France] ; Tamara Mchedlidze [Allemagne] ; Monique Teillaud [France] ; Alexander Wolff [Allemagne] | Universal Point Sets for Planar Graph Drawings with Circular Arcs |
001176 |
Noran Azmy [Allemagne] ; Christoph Weidenbach [Allemagne] | Computing Tiny Clause Normal Forms |
001198 |
Dung Tran [France] ; Emmanuel Vincent [France] ; Denis Jouvet [France] ; Kamil Adiloglu [Allemagne] | Using full-rank spatial covariance models for noise-robust ASR |
001201 |
Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche] | Formal Verification of Distributed Algorithms |
001346 |
Torsten Schubert [Allemagne] ; Marina Palazova [Allemagne] ; Axel Hutt [France] | The time course of temporal attention effects on non-conscious prime processing |
001347 |
Olivier Devillers [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Guillaume Moroz [France] ; Matthias Reitzner [Allemagne] | The monotonicity of $f$-vectors of random polytopes |
001374 |
Peter Beim Graben [Allemagne] ; Axel Hutt [France] | Detecting metastable states of dynamical systems by recurrence-based symbolic dynamics |
001413 |
Nancy J. Aburto [Suisse] ; Anna Ziolkovska [Suisse] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] ; Joerg J. Meerpohl [Allemagne] | Effect of lower sodium intake on health: systematic review and meta-analyses |
001449 |
Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne] | Verification of Golog Programs over Description Logic Actions |
001465 |
Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne] | Towards Automated and Correct Composition of Timed Services |
001472 |
Stefan Borgwardt [Allemagne] ; Marcel Lippmann [Allemagne] ; Veronika Thost [Allemagne] | Temporal Query Answering in the Description Logic DL-Lite |
001479 |
Jens Kolb [Allemagne] ; Manfred Reichert [Allemagne] | Supporting Business and IT through Updatable Process Views: The proView Demonstrator |
001493 |
Ulrich Furbach [Allemagne] ; Claudia Schon [Allemagne] | Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes |
001497 |
Rafael Pe Aloza [Allemagne] ; Tingting Zou [République populaire de Chine] | Roughening the $\mathcal{EL}$ Envelope |
001512 |
Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne] | Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages |
001534 |
Nico Herzberg [Allemagne] ; Matthias Kunze [Allemagne] ; Mathias Weske [Allemagne] | Monitoring Business Process Interaction |
001539 |
Heiko Witteborg [Allemagne] ; Anis Charfi [Allemagne] ; Wei Wei [Allemagne] ; Ta D Holmes [Allemagne] | Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities |
001540 |
Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne] | Mechanizing the Metatheory of Sledgehammer |
001545 |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
001565 |
George Feuerlicht [République tchèque, Australie] ; Winfried Lamersdorf [Allemagne] ; Guadalupe Ortiz [Espagne] ; Christian Zirpins [Allemagne] | Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA’12) |
001575 |
Franz Baader [Allemagne] ; Oliver Fernández Gil [Allemagne] ; Barbara Morawska [Allemagne] | Hybrid Unification in the Description Logic $\mathcal{EL}$ |
001581 |
Hendrik Tews [Allemagne] | Formalizing Cut Elimination of Coalgebraic Logics in Coq |
001585 |
Hasan S. M. Al-Khaffaf [Allemagne, Malaisie] ; Abdullah Zawawi Talib [Malaisie] ; Mohd Azam Osman [Malaisie] | Final Report of GREC’11 Arc Segmentation Contest: Performance Evaluation on Multi-resolution Scanned Documents |
001645 |
Inaya Yahya [Tunisie] ; Sameh Hbaieb Turki [Tunisie, France] ; Anis Charfi [Allemagne] ; Slim Kallel [Tunisie] ; Rafik Bouaziz [Tunisie] | An Aspect-Oriented Approach to Enforce Security Properties in Business Processes |
001650 |
Christoph Wernhard [Allemagne] | Abduction in Logic Programming as Second-Order Quantifier Elimination |
001657 |
Claudia-Melania Chituc [Portugal] ; Petra Ristau [Allemagne] | A Service-Oriented Approach to Assess the Value of Digital Preservation |
001676 |
Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne] | A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions |
001689 |
SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie] | La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services |
001744 |
Dieter Rautenbach [Allemagne] ; Jean-Sébastien Sereni [France] | Transversals of Longest Paths and Cycles |
001756 |
Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne] | International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013, Beijing, China, August 4 2013) |
001845 |
Sonja Kabicher-Fuchs [Autriche] ; Stefanie Rinderle-Ma [Autriche] ; Jan Recker [Australie] ; Marta Indulska [Australie] ; Francois Charoy [France] ; Rob Christiaanse [Pays-Bas] ; Reinhold Dunkl [Autriche] ; Gregor Grambow [Allemagne] ; Jens Kolb [Allemagne] ; Henrik Leopold [Allemagne] ; Jan Mendling [Autriche] | Human-Centric Process-Aware Information Systems (HC-PAIS) |
001973 |
Werner Damm [Allemagne] ; Henning Dierks [Allemagne] ; Stefan Disch [Allemagne] ; Willem Hagemann [Allemagne] ; Florian Pigorsch [Allemagne] ; Christoph Scholl [Allemagne] ; Uwe Waldmann [Allemagne] ; Boris Wirtz [Allemagne] | Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces |
001A01 |
Tim Reiner [Allemagne] ; Sylvain Lefebvre [France] ; Lorenz Diener [Allemagne] ; Ismael García [Espagne] ; Bruno Jobard [France] ; Carsten Dachsbacher [Allemagne] | A Runtime Cache for Interactive Procedural Modeling |
001A04 |
Jasmin Blanchette [Allemagne] ; Andrei Popescu [Allemagne] ; Daniel Wand [Allemagne] ; Christoph Weidenbach [Allemagne] | More SPASS with Isabelle -- Superposition with Hard Sorts and Configurable Simplification |
001A11 |
Sarra Ben Abbès [France] ; Andreas Scheuermann [Allemagne] ; Thomas Meilender [France] ; Mathieu D'Aquin [Royaume-Uni] | Characterizing Modular Ontologies |
001A44 |
Joerg Hoffmann [France] ; Ingo Weber [Australie] ; Frank Kraft [Allemagne] | SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management |
001A54 |
Pascal Fontaine [France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Combination of disjoint theories: beyond decidability |
001A65 |
Hootan Nakhost [Canada] ; Joerg Hoffmann [France] ; Martin Müller [Allemagne] | Resource-Constrained Planning: A Monte Carlo Random Walk Approach |
001B97 |
Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie] | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures |
001C22 |
Arnaud Fietzke [Allemagne] ; Evgeny Kruglov [Allemagne] ; Christoph Weidenbach [Allemagne] | Automatic Generation of Invariants for Circular Derivations in SUP(LA) |
001C49 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Martin Ochoa [Allemagne] ; Jan Jürjens [Allemagne] ; Sven Wenzel [Allemagne] | Vérification et Test pour des systèmes évolutifs |
001C53 |
Mathieu Hoyrup [France] ; Cristobal Rojas [Chili] ; Klaus Weihrauch [Allemagne] | Computability of the Radon-Nikodym derivative. |
001C94 |
Miguel Couceiro [France] ; Mike Behrisch [Allemagne] ; Erkko Lehtonen [Luxembourg (pays)] ; Keith A. Kearnes [États-Unis] ; Ágnes Szendrei [États-Unis] | Commuting polynomial operations of distributive lattices |
001D03 |
Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France] | A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points |
001D45 |
Mélanie Uth [Allemagne] | L’évolution diachronique des suffixes –ment et –(ai)son et la question de la correspondance vernaculaire de –(at)ion |
001D84 |
Jean-Yves Marion [France] ; Thomas Schwentick [Allemagne, États-Unis] | Theoretical Aspects of Computer Science |
001E13 |
Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni] | Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus |
001E54 |
Dr. Lutz D. Schmadel [Allemagne] | Catalogue of Minor Planet Names and Discovery Circumstances |
001E70 |
Klaus Bendrat [Allemagne] ; Axel Stang [Allemagne] ; Georgi Georgiev [Allemagne] ; Robert Geffers [Allemagne] ; Bernd Haase [Allemagne] ; Karin Schütze [Allemagne] ; Dimitar Mogilarov [Allemagne] ; Detlev Branscheid [Allemagne] ; Axel Niendorf [Allemagne] | A compartment‐specific transcriptome analysis reveals survival‐relevant marker genes in the stroma fraction of squamous non‐small cell lung cancer |
001E72 |
B. Gerecke [Allemagne] ; R. Engberding [Allemagne] | Die isolierte Noncompaction-Kardiomyopathie unter besonderer Berücksichtigung ihrer rhythmologischen Komplikationen |
001E91 |
Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
001F10 |
Olivier Devillers [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Guillaume Moroz [France] ; Matthias Reitzner [Allemagne] | The monotonicity of f-vectors of random polytopes |
001F22 |
Sergei Kuznetsov [Russie] ; Amedeo Napoli [France] ; Sebastian Rudolph [Allemagne] | Proceedings of the ECAI Workshop on Formal Concept Analysis for Artificial Intelligence (FCA4AI) |
001F36 |
Karim Belabas [France] ; Frits Beukers [Pays-Bas] ; Pierrick Gaudry [France] ; William Mccallum [États-Unis] ; Bjorn Poonen [États-Unis] ; Samir Siksek [Royaume-Uni] ; Michael Stoll [Allemagne] ; Mark Watkins | Explicit methods in number theory. Rational points and Diophantine equations. |
001F71 |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; Maria Naya-Plasencia [Suisse] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002027 |
Matthieu Chavent [France] ; Bruno Lévy [France] ; Michael Krone [Allemagne] ; Katrin Bidmon [Allemagne] ; Jean-Philippe Nominé [France] ; Thomas Ertl [Allemagne] ; Marc Baaden [France] | GPU-powered tools boost molecular visualization. |
002032 |
Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne] | Orchestrating Security and System Engineering for Evolving Systems |
002088 |
Kristina Striegnitz [États-Unis] ; Alexandre Denis [France] ; Andrew Gargett [Émirats arabes unis] ; Konstantina Garoufi [Allemagne] ; Alexander Koller [Allemagne] ; Mariet Theune [Pays-Bas] | Report on the Second Second Challenge on Generating Instructions in Virtual Environments (GIVE-2.5) |
002186 |
Elizabeta Fourneret [France] ; Martin Ochoa [Allemagne] ; Fabrice Bouquet [France] ; Julien Botella [France] ; Jan Jürjens [Allemagne] ; Parvaneh Yousefi [Allemagne] | Model-Based Security Verification and Testing for Smart-cards |
002201 |
Marc Schröder [Allemagne] ; Marcela Charfuelan [Allemagne] ; Sathish Pammi [Allemagne] ; Ingmar Steiner [France] | Open source voice creation toolkit for the MARY TTS Platform |
002225 |
Raz Nissim [Israël] ; Joerg Hoffmann [France] ; Malte Helmert [Allemagne] | Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning |
002276 |
Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] ; Klaus Weihrauch [Allemagne] | Computability of the Radon-Nikodym derivative |
002327 |
Stephan Merz [France] ; Tianxiang Lu [Allemagne] ; Christoph Weidenbach [Allemagne] | Towards Verification of the Pastry Protocol using TLA+ |
002374 |
Jörn Franke [France] ; Adam Widera [Allemagne] ; François Charoy [France] ; Bernd Hellingrath [Allemagne] ; Cédric Ulmer [France] | Reference Process Models and Systems for Inter-Organizational Ad-Hoc Coordination - Supply Chain Management in Humanitarian Operations |
002450 |
Matth Us Chajdas [France] ; Sylvain Lefebvre [France] ; Marc Stamminger [Allemagne] | Assisted Texture Assignment |
002482 |
Claire Gardent [France] ; Benjamin Gottesman [Allemagne] ; Laura Perez-Beltrachini [France] | Using Regular Tree Grammars to enhance Sentence Realisation |
002497 |
Nicolas Padoy [France] ; Tobias Blum [Allemagne] ; Ahmad Ahmadi [Allemagne] ; Hubertus Feussner [Allemagne] ; Marie-Odile Berger [France] ; Nassir Navab [Allemagne] | Statistical Modeling and Recognition of Surgical Workflow |
002541 |
Michael Hemmer [France] ; Laurent Dupont [France] ; Sylvain Petitjean [France] ; Elmar Schömer [Allemagne] | A Complete, Exact and Efficient Implementation for Computing the Edge-Adjacency Graph of an Arrangement of Quadrics |
002564 |
R. Addou [France] ; A K Shukla [France] ; S. Alarcn Villaseca [France] ; Gaudry [France] ; Th Deniozou [France] ; M. Heggen [Allemagne] ; M. Feuerbacher [Allemagne] ; R. Widmer [Suisse] ; O. Grning [Suisse] ; V. Fourne [France] ; J-M Dubois [France] ; J. Ledieu [France] | Lead adsorption on the Al13Co4(100) surface: heterogeneous nucleation and pseudomorphic growth |
002575 |
Marc-Olivier Hinzelin [Allemagne] | Pierre Kunstmann / Achim Stein (edd.), Le Nouveau Corpus d'Amsterdam. Actes de l'atelier de Lauterbad, 23–26 février 2006 |
002610 |
Violeta I. Pérez-Nueno [France, Allemagne] ; Vishwesh Venkatraman [France] ; Lazaros Mavridis [France] ; Tim Clark [Allemagne] ; David W. Ritchie [France] | Using Spherical Harmonic Surface Property Representations for Ligand‐Based Virtual Screening |
002618 |
Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Towards Verification of the Pastry Protocol Using TLA + |
002647 |
Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne] | Proving Termination by Dependency Pairs and Inductive Theorem Proving |
002669 |
Massimo Poesio [Royaume-Uni] ; Nils Diewald [Allemagne] ; Maik Stührenberg [Allemagne] ; Jon Chamberlain [Royaume-Uni] ; Daniel Jettka [Allemagne] ; Daniela Goecke [Allemagne] ; Udo Kruschwitz [Royaume-Uni] | Markup Infrastructure for the Anaphoric Bank: Supporting Web Collaboration |
002673 |
Yves Rangoni [France] ; Abdel Belaïd [France] ; Szilárd Vajda [Allemagne, États-Unis] | Labelling logical structures of document images using a dynamic perceptive neural network |
002695 |
Matthieu Chavent [France] ; Antoine Vanel [France] ; Alex Tek [France] ; Bruno Levy [France] ; Sophie Robert [France] ; Bruno Raffin [France] ; Marc Baaden [France, Allemagne] | GPU‐accelerated atom and dynamic bond visualization using hyperballs: A unified algorithm for balls, sticks, and hyperboloids |
002703 |
Siarhei Kuryla [Allemagne] ; Jürgen Schönw Lder [Allemagne] | Evaluation of the Resource Requirements of SNMP Agents on Constrained Devices |
002712 |
Michael Vogel [Allemagne] ; Sebastian Schmerl [Allemagne] ; Hartmut König [Allemagne] | Efficient Distributed Signature Analysis |
002724 |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; María Naya-Plasencia [Suisse, France] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002732 |
Mathieu Hoyrup [France] ; Crist Bal Rojas [Canada] ; Klaus Weihrauch [Allemagne] | Computability of the Radon-Nikodym Derivative |
002743 |
Wolfgang Maier [Allemagne] ; Timm Lichte [Allemagne] | Characterizing Discontinuity in Constituent Treebanks |
002813 |
Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
002961 |
Pau Panareda Busto [Allemagne] ; Christian Eisenacher [Allemagne] ; Sylvain Lefebvre [France] ; Marc Stamminger [Allemagne] | Instant Texture Synthesis by Numbers |
002A88 |
Mario Botsch [Allemagne] ; Leif Kobbelt [Allemagne] ; Mark Pauly [Allemagne, Suisse] ; Pierre Alliez [France] ; Bruno Lévy [France] | Polygon Mesh Processing |
002B00 |
Tianxiang Lu [Allemagne] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Model Checking the Pastry Routing Protocol |
002B27 |
Claire Gardent [France] ; Benjamin Gottesman [Allemagne] ; Laura Perez-Beltrachini [France] | Comparing the performance of two TAG-based surface realisers using controlled grammar traversal |
002B36 |
Joerg Hoffmann [France] ; Alexander Koller [Allemagne] | Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF |
002B82 |
Joerg Hoffmann [France] ; Ingo Weber [Australie] ; Frank Kraft [Allemagne] | SAP Speaks PDDL |
002C40 |
Matth Us Chajdas [France] ; Christian Eisenacher [Allemagne] ; Sylvain Lefebvre [France] | Virtual Texture Mapping 101 |
002D28 |
Lazaros Mavridis [France] ; Vishwesh Venkatraman [France] ; David Ritchie [France] ; H. Morikawa [Japon] ; Rumen Andonov [France] ; Alexandre Cornu [France] ; Noël Malod-Dognin [France] ; Jacques Nicolas [France] ; M. Temerinac-Ott [Allemagne] ; M. Reisert [Allemagne] ; H. Burkhardt [Allemagne] ; A. Axenopoulos [Grèce] ; P. Daras [Grèce] | SHREC'10 Track: Protein Models |
002D32 |
Jens Kerber [Allemagne] ; Art Tevs [Allemagne] ; Rhaleb Zayer [France] ; Alexander Belyaev [Royaume-Uni] ; Hans-Peter Seidel [Allemagne] | Real-time Generation of Digital Bas-Reliefs |
002D64 |
Kiyoshi Honda [France] ; Tatsuya Kitamura [Japon] ; Hironori Takemoto [Japon] ; Seiji Adachi [Allemagne] ; Parham Mokhtari [Japon] ; Sayoko Takano [Japon] ; Yukiko Nota [Japon] ; Hiroyuki Hirata [Japon] ; Ichiro Fujimoto [Japon] ; Yasuhiro Shimada [Japon] ; Shinobu Masaki [Japon] ; Satoru Fujita [Japon] ; Jianwu Dang [Japon] | Visualization of hypopharyngeal cavities and vocal tract acoustic modeling |
002D73 |
Nicolas Navet [France] ; Bertrand Delord [France] ; Markus Baumeister [Allemagne] | Virtualization in Automotive Embedded Systems : an Outlook |
002E32 |
Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
002F12 |
Ingo Weber [Australie] ; Joerg Hoffmann [France] ; Jan Mendling [Allemagne] | Beyond Soundness: On the Verification of Semantic Business Process Models |
002F41 |
Michael Orth [Allemagne] | Observing Huntington's disease: the European Huntington's Disease Network's REGISTRY |
002F98 |
Ralf Ellner [Allemagne] ; Samir Al-Hilank [Allemagne] ; Johannes Drexler [Allemagne] ; Martin Jung [Allemagne] ; Detlef Kips [Allemagne] ; Michael Philippsen [Allemagne] | eSPEM – A SPEM Extension for Enactable Behavior Modeling |
003000 |
Johannes Faber [Allemagne] | Verification Architectures: Compositional Reasoning for Real-Time Systems |
003009 |
Thomas Heer [Allemagne] ; Markus Heller [Allemagne] ; Bernhard Westfechtel [Allemagne] ; René Wörzberger [Allemagne] | Tool Support for Dynamic Development Processes |
003011 |
Mathias S. Wickleder [Allemagne] ; Blandine Fourest [France] ; Peter K. Dorhout [États-Unis] | Thorium |
003023 |
Mathias Hülsbusch [Allemagne] ; Barbara König [Allemagne] ; Arend Rensink [Pays-Bas] ; Maria Semenyak [Allemagne] ; Christian Soltenborn [Allemagne] ; Heike Wehrheim [Allemagne] | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques |
003028 |
Martin Fr Nzle [Allemagne] ; Tino Teige [Allemagne] ; Andreas Eggers [Allemagne] | Satisfaction Meets Expectations |
003030 |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
003039 |
Susanne Albers [Allemagne] ; Jean-Yves Marion [France] | Preface: Special Issue on Theoretical Aspects of Computer Science (STACS) |
003042 |
Xavier Goaoc [France] ; Stefan König [Allemagne] ; Sylvain Petitjean [France] | Pinning a Line by Balls or Ovaloids in ℝ3 |
003050 |
Christel Baier [Allemagne] | On Model Checking Techniques for Randomized Distributed Systems |
003058 |
Boris Aronov [États-Unis] ; Otfried Cheong [Corée du Sud, États-Unis] ; Xavier Goaoc [France] ; Günter Rote [Allemagne] | Lines Pinning Lines |
003077 |
Matthias Daum [Allemagne] ; Norbert W. Schirmer [Allemagne] ; Mareike Schmidt [Allemagne] | From Operating-System Correctness to Pervasively Verified Applications |
003080 |
Thorsten Kleinjung [Suisse] ; Kazumaro Aoki [Japon] ; Jens Franke [Allemagne] ; Arjen K. Lenstra [Suisse] ; Emmanuel Thomé [France] ; Joppe W. Bos [Suisse] ; Pierrick Gaudry [France] ; Alexander Kruppa [France] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Dag Arne Osvik [Suisse] ; Herman Te Riele [Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Paul Zimmermann [France] | Factorization of a 768-Bit RSA Modulus |
003114 |
Johannes Faber [Allemagne] ; Carsten Ihlemann [Allemagne] ; Swen Jacobs [Suisse] ; Viorica Sofronie-Stokkermans [Allemagne] | Automatic Verification of Parametric Specifications with Complex Topologies |
003122 |
Serge Autexier [Allemagne] ; Christoph Lüth [Allemagne] | Adding Change Impact Analysis to the Formal Verification of C Programs |
003126 |
Thorsten Kleinjung [Suisse] ; Joppe W. Bos [Suisse] ; Arjen K. Lenstra [Suisse] ; Dag Arne Osvik [Suisse] ; Kazumaro Aoki [Japon] ; Scott Contini [Australie] ; Jens Franke [Allemagne] ; Emmanuel Thomé [France] ; Pascal Jermini [Suisse] ; Michela Thiémard [Suisse] ; Paul Leyland [Royaume-Uni] ; Peter L. Montgomery [États-Unis, Pays-Bas] ; Andrey Timofeev [Pays-Bas] ; Heinz Stockinger [Suisse] | A heterogeneous computing environment to solve the 768-bit RSA challenge |
003131 |
Gerold J Ger [Allemagne] ; Weixiong Zhang [États-Unis] | A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem |
003204 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #17 |
003229 |
Nazim Fatès [France] ; Jarkko Kari [Finlande] ; Thomas Worsch [Allemagne] | Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems |
003250 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #16 |
003251 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2008 – April 30, 2010 |
003282 |
Eric Berberich [Allemagne] ; Michael Hemmer [Allemagne] ; Sylvain Lazard [France] ; Luis Pe Aranda [France] ; Monique Teillaud [France] | Algebraic kernel |
003361 |
Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
003377 |
Nicolas Padoy [France] ; Diana Mateus [Allemagne] ; Daniel Weinland [Suisse] ; Marie-Odile Berger [France] ; Nassir Navab [Allemagne] | Workflow Monitoring based on 3D Motion Features |
003429 |
Fabien Lauer [Allemagne] ; Christoph Schnörr [Allemagne] | Spectral clustering of linear subspaces for motion segmentation |
003446 |
Ioannis Z. Emiris [Grèce] ; Michael Hemmer [Allemagne] ; Menelaos Karavelas [Grèce] ; Bernard Mourrain [France] ; Elias P. Tsigaridas [France] ; Zafeirakis Zafeirakopoulos [Grèce] | Experimental evaluation and cross-benchmarking of univariate real solvers |
003447 |
Claude Godart [France] ; Nobert Gronau [Allemagne] ; Sushil Sharma [États-Unis] ; Gérôme Canals [France] | Software Services for e-Business and e-Society |
003450 |
Laura Kallmeyer [Allemagne] ; Wolfgang Maier [Allemagne] ; Yannick Parmentier [France] | An Earley Parsing Algorithm for Range Concatenation Grammars |
003541 |
Khaled Gaaloul [Allemagne] ; Philip Miseldine [Allemagne] ; François Charoy [France] | Towards Proactive Policies supporting Event-based Task Delegation |
003547 |
Laura Kallmeyer [Allemagne] ; Wolfgang Maier [Allemagne] ; Yannick Parmentier [France] ; Johannes Dellert [Allemagne] | TuLiPA - Parsing Extensions of TAG with Range Concatenation Grammars |
003579 |
Laura Kallmeyer [Allemagne] ; Wolfgang Maier [Allemagne] ; Yannick Parmentier [France] | Un Algorithme d'Analyse de Type Earley pour Grammaires à Concaténation d'Intervalles |
003591 |
Khaled Gaaloul [Allemagne] ; François Charoy [France] | Une Approche Dynamique pour la Gestion des Politiques de Délégation dans les Systèmes de Contrôle d´Accès |
003602 |
Khaled Gaaloul [Irlande (pays)] ; François Charoy [France] ; Andreas Schaad [Allemagne] | Modelling Task Delegation for Human-Centric eGovernment Workflows |
003758 |
Julien Demouth [France] ; Olivier Devillers [France] ; Hazel Everett [France] ; Marc Glisse [France] ; Sylvain Lazard [France] ; Raimund Seidel [Allemagne] | On the Complexity of Umbra and Penumbra |
003777 |
Axel Hutt [France] ; Matthias Munk [Allemagne] | Detection of phase synchronization in multivariate single brain signal by a clustering approach |
003780 |
Siegfried Rump [Allemagne] ; Paul Zimmermann [France] ; Sylvie Boldo [France] ; Guillaume Melquiond [France] | Computing predecessor and successor in rounding to nearest |
003871 |
Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni] | Validating and Animating Higher-Order Recursive Functions in B |
003883 |
Wolfgang Thomas [Allemagne] | The Reachability Problem over Infinite Graphs |
003886 |
Christian Schmitt [Allemagne] | The French Language and Questions of Identity, Edited by Wendy Ayres-Bennett and Mari C. Jones |
003893 |
Laurent Andrey [France] ; Olivier Festor [France] ; Abdelkader Lahmadi [France] ; Aiko Pras [Pays-Bas] ; Jürgen Schönw Lder [Allemagne] | Survey of SNMP performance analysis studies |
003905 |
Alexis Ocampo [Allemagne] ; Jürgen Münch [Allemagne] | Rationale modeling for software process evolution |
003928 |
Matthias Ehrgott [Nouvelle-Zélande] ; Çi Dem Güler [Allemagne] ; Horst W. Hamacher [Allemagne] ; Lizhen Shao [Nouvelle-Zélande] | Mathematical optimization in intensity modulated radiation therapy |
003931 |
Walid Gaaloul [France] ; Khaled Gaaloul [Allemagne, France] ; Sami Bhiri [Irlande (pays)] ; Armin Haller [Irlande (pays)] ; Manfred Hauswirth [Irlande (pays)] | Log-based transactional workflow mining |
003932 |
Ioannis Z. Emiris [États-Unis] ; Frank Sottile [États-Unis] ; Thorsten Theobald [Allemagne] | List of Workshop Participants |
003946 |
Serena Ferraresso [Italie] ; Heiner Kuhl [Allemagne] ; Massimo Milan [Italie] ; David W. Ritchie [France] ; Christopher J. Secombes [Royaume-Uni] ; Richard Reinhardt [Allemagne] ; Luca Bargelloni [Italie] | Identification and characterisation of a novel immune-type receptor (NITR) gene cluster in the European sea bass, Dicentrarchus labrax , reveals recurrent gene expansion and diversification by positive selection |
003986 |
Josef Finsterer [Allemagne] | Cardiogenetics, Neurogenetics, and Pathogenetics of Left Ventricular Hypertrabeculation/Noncompaction |
003991 |
Peter O. K. Krehl [Allemagne] | Biographies Index |
003996 |
Johannes Waldmann [Allemagne] | Automatic Termination |
003A18 |
Stefan Winkler [Allemagne] ; Jens Von Pilgrim [Allemagne] | A survey of traceability in requirements engineering and model-driven development |
003B61 |
H. Schmidt [Allemagne] ; A. Hutt [France] ; L. Schimansky-Geier [Allemagne] | Wave fronts in inhomogeneous neural field models |
003C08 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #15 |
003C09 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #14 |
003C10 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #12 |
003C13 |
Laura Kallmeyer [Allemagne] ; Yannick Parmentier [France] | Convertir des grammaires d'arbres adjoints à composantes multiples avec tuples d'arbres (TT-MCTAG) en grammaires à concaténation d'intervalles (RCG) |
003C78 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Updated Joint Programme of Activities (Month 37-48) |
003C79 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Quarterly Management Report #13 |
003C80 |
Olivier Festor [France] ; Gabi Dreo ; David Hausheer ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Ramin Sadre ; Joan Serrat [Espagne] ; Juergen Schoenwaelder [Allemagne] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2008 – December 31, 2008 |
003C84 |
Fernando V. Ramirez Rozzi [France] ; Francesco D'Errico [France] ; Marian Vanhaeren [France] ; Pieter M. Grootes [Allemagne] ; Bertrand Kerautret [France] ; Véronique Dujardin [France] | Cutmarked human remains bearing Neandertal features and modern human remains associated with the Aurignacian at Les Rois |
003D34 |
Hubert Cecotti [Allemagne] ; Abdel Belaïd [France] | Dynamic filters selection for textual document images denoising |
003E62 |
Sascha Hunold [Allemagne] ; Thomas Rauber [Allemagne] ; Frédéric Suter [France] | Redistribution Aware Two-Step Scheduling for Mixed-Parallel Applications |
003E82 |
Khaled Gaaloul [France] ; Andreas Schaad [Allemagne] ; Ulrich Flegel [Allemagne] ; François Charoy [France] | A Secure Task Delegation Model for Workflows |
003E86 |
Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Wolfgang Maier [Allemagne] ; Yannick Parmentier [France] ; Johannes Dellert [Allemagne] ; Kilian Evang [Allemagne] | TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering |
003E92 |
Yannick Parmentier [France] ; Wolfgang Maier [Allemagne] | Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing |
003F20 |
Ernst Althaus [Allemagne] ; Stefan Canzar [France] ; Andreas Karrenbauer [Allemagne] ; Julián Mestre [Allemagne] | Approximating the Interval Constrained Coloring Problem |
003F57 |
Carlos Areces [France] ; Alexander Koller [Allemagne] ; Kristina Striegnitz [États-Unis] | Referring Expressions as Formulas of Description Logic |
003F84 |
Yannick Parmentier [France] ; Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Wolfgang Maier [Allemagne] ; Johannes Dellert [Allemagne] | TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms |
004017 |
Sascha Hunold [Allemagne] ; Thomas Rauber [Allemagne] ; Frédéric Suter [France] | Scheduling Dynamic Workflows onto Clusters of Clusters using Postponing |
004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
004072 |
Ernst Althaus [Allemagne] ; Stefan Canzar [France] ; Mark R. Emmett [États-Unis] ; Andreas Karrenbauer [Allemagne] ; Alan G. Marshall [États-Unis] ; Anke Meyer-Baese [États-Unis] ; Huimin Zhang [États-Unis] | Computing H/D-exchange speeds of single residues from data of peptic fragments |
004176 |
Claus Diem [Allemagne] ; Emmanuel Thomé [France] | Index calculus in class groups of non-hyperelliptic curves of genus three |
004278 |
Tobias Blum [Allemagne, États-Unis] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne] | Workflow mining for visualization and analysis of surgeries |
004284 |
Yannick Parmentier [France] ; Wolfgang Maier [Allemagne] | Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing |
004292 |
Mathias S. Wickleder [Allemagne] ; Blandine Fourest [France] ; Peter K. Dorhout [États-Unis] | Thorium |
004320 |
Christian Urban [Allemagne] ; Bozhi Zhu | Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof |
004357 |
Tobias Blum [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne] | Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models |
004417 |
Ulrich Klank [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feussner [Allemagne] ; Nassir Navab [Allemagne] | Automatic feature generation in endoscopic images |
004441 |
Maria Goldbach [Allemagne] | Die Stellung der Objektklitika im Französischen und Italienischen |
004464 |
Mohamed Khalgui [Allemagne, France] | A deployment methodology of real-time industrial control applications in distributed controllers |
004493 |
Olivier Festor [France] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Gabi Dreo ; Burkhard Stiller ; Ramin Sadre ; David Hausheer | D0.9 : Quaterly Management Report 9 |
004494 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] | D0.8 : Quaterly Management Report 8 |
004495 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; David Hausheer ; Burkhard Stiller | D0.11 : Quarterly Management Report 11 |
004496 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; David Hausheer ; Ramin Sadre ; Burkhard Stiller | D0.10 : Quarterly Management Report 10 |
004519 |
Fred Kröger [Allemagne] ; Stephan Merz [France] | Temporal Logic and State Systems |
004539 |
Nicolas Padoy [France] ; Blum Tobias ; Hubertus Feussner ; Marie-Odile Berger [France] ; Nassir Navab [Allemagne] | On-line Recognition of Surgical Activity for Monitoring in the Operating Room |
004555 |
Serge Autexier [Allemagne] ; Heiko Mantel [Allemagne] ; Stephan Merz [France] ; Tobias Nipkow [Allemagne] | Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems |
004556 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] ; Burkhard Stiller | Joint Programme of Activities (month 25-42) for the EMANICS Network of Excellence |
004564 |
Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France] | Geometric Modeling Based on Polygonal Meshes |
004578 |
Olivier Festor [France] ; Juergen Schoenwaelder [Allemagne] ; Ha Ma Tran ; Christian Morariu ; Frank Eyermann ; I. Tumar ; David Hausheer ; Balamurugan Karpagavinayagam [France] ; Thomas Bocek | EMANICS Virtual Laboratory Integration Report |
004579 |
Olivier Festor [France] ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder [Allemagne] ; Joan Serrat [Espagne] ; Radu State [France] ; Burkhard Stiller | EMANICS Periodic Activity Report January 1, 2007 – December 31, 2007 |
004580 |
Olivier Festor [France] ; Juergen Schoenwaelder [Allemagne] ; Frédéric Beck [France] ; David Hausheer ; Christian Morariu ; Thomas Bocek ; Fabian Hecht ; D. Peric | EMANICS Open Source Support and Joint Software Development Intermi Report |
004581 |
Olivier Festor [France] ; Radu State [France] ; Ha Ma Tran ; Juergen Schoenwaelder [Allemagne] | EMANICS Large scale Management Interim Report |
004589 |
Mathieu D'Aquin [France] ; Peter Haase [France] ; Sebastian Rudolph [Allemagne] ; Jérôme Euzenat [France] ; Antoine Zimmermann [France] ; Martin Dzbor ; Marta Iglesias ; Yves Jacques [France] ; Caterina Caracciolo ; Carlos Buil Aranda ; Gomez Jose Manuel | D1.1.3: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra |
004630 |
Khaled Gaaloul [Allemagne] ; François Charoy [France] ; Andreas Schaad [Allemagne] ; Hannah Lee [Allemagne] | Collaboration for Human-Centric eGovernment Workflows |
004737 |
Mohamed Nassar [France] ; Saverio Niccolini [Allemagne] ; Radu State [France] ; Thilo Ewald [Allemagne] | Holistic VoIP Intrusion Detection and Prevention System |
004785 |
Stefan Canzar [France] ; Ernst Althaus [Allemagne] | A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem |
004819 |
Rhaleb Zayer [France, Allemagne] ; Bruno Lévy [France] ; Hans-Peter Seidel [Allemagne] | Linear Angle Based Parameterization |
004882 |
Yannick Parmentier [France] ; Laura Kallmeyer [Allemagne] ; Timm Lichte [Allemagne] ; Wolfgang Maier [Allemagne] | XMG: eXtending MetaGrammars to MCTAG |
004886 |
Julien Demouth [France] ; Olivier Devillers [France] ; Hazel Everett [France] ; Marc Glisse [France] ; Sylvain Lazard [France] ; Raimund Seidel [Allemagne] | Between umbra and penumbra |
004951 |
Nacer Boudjlida [France] ; Hervé Panetto [France] ; Salah Baïna [France] ; Claudia Diamantini [Italie] ; John Krogstie [Norvège] ; Yun Lin [Norvège] ; Joao Sarraipa [Portugal] ; Nabila Zouggar [France] ; Axel Hahn [Allemagne] ; Marco Delgado [Espagne] ; Miguel-Angel Abian [Espagne] ; Maria-José Nunez [Espagne] | DTG4.2: Experimental Semantic Enrichment of Enterprise Models for Interoperability and its Practical Impact |
004A44 |
Martin Groher [Allemagne] ; Tobias F. Jakobs ; Nicolas Padoy [Allemagne] ; Nassir Navab | Planning and Intraoperative Visualization of Liver Catheterizations: New CTA Protocol and 2D-3D Registration Method |
004A78 |
Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Nicolas Thériault [Canada] ; Claus Diem [Allemagne] | A double large prime variation for small genus hyperelliptic index calculus |
004B75 |
Nils Mohmeyer ; Hans-Werner Schmidt [Allemagne] | Synthesis and Structure–Property Relationships of Amphiphilic Organogelators |
004B80 |
Stephan Frank [Allemagne] ; Petra Hofstedt [Allemagne] ; Peter Pepper [Allemagne] ; Dirk Reckmann [Allemagne] | Solution Strategies for Multi-domain Constraint Logic Programs |
004B85 |
Sacha Krstulovi [France, Allemagne] ; Frédéric Bimbot [France] ; Olivier Boëffard [France] ; Delphine Charlet [France] ; Dominique Fohr [France] ; Odile Mella [France] | Selecting Representative Speakers for a Speech Database on the Basis of Heterogeneous Similarity Criteria |
004B95 |
Peter Schneider-Kamp [Allemagne] ; René Thiemann [Allemagne] ; Elena Annov [Israël] ; Michael Codish [Israël] ; Jürgen Giesl [Allemagne] | Proving Termination Using Recursive Path Orders and SAT Solving |
004B98 |
Bernhard Beckert [Allemagne] ; Lawrence C. Paulson [Royaume-Uni] | Preface |
004C29 |
Andreas Abel [Allemagne] | Mixed Inductive/Coinductive Types and Strong Normalization |
004C48 |
Susann Beetz [Allemagne] ; Lothar Marischen [Allemagne] ; Dieter Kabelitz [Allemagne] ; Daniela Wesch [Allemagne] | Human γδ T cells |
004C57 |
Barbara Morawska [Allemagne] | General E -unification with Eager Variable Elimination and a Nice Cycle Rule |
004C68 |
Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-Based Systems |
004C87 |
Wolfgang Weck [Suisse] ; Ralf Reussner [Allemagne] ; Clemens Szyperski [États-Unis] | Component-Oriented Programming |
004C88 |
Laurent Dupont [France] ; Michael Hemmer [Allemagne] ; Sylvain Petitjean [France] ; Elmar Schömer [Allemagne] | Complete, Exact and Efficient Implementation for Computing the Adjacency Graph of an Arrangement of Quadrics |
004C92 |
Khaled Gaaloul [Allemagne] ; François Charoy [France] ; Andreas Schaad [Allemagne] ; Hannah Lee [Allemagne] | Collaboration for Human-Centric eGovernment Workflows |
004D22 |
Jost Engert [Allemagne] ; Bernd Fellmuth [Allemagne] ; Karl Jousten [Allemagne] | A new 3He vapour-pressure based temperature scale from 0.65K to 3.2K consistent with the PLTS-2000 |
004D28 |
Ernst Althaus [Allemagne] ; Stefan Canzar [France] | A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem |
004D33 |
N. Padoy [Allemagne, France, États-Unis] ; T. Blum [Allemagne] ; I. Essa [États-Unis] ; Hubertus Feussner [Allemagne] ; M. O. Berger [France] ; Nassir Navab [Allemagne] | A Boosted Segmentation Method for Surgical Workflow Analysis |
004D37 |
Fritz Krafft [Allemagne] ; Katja Schmiederer [Allemagne] | Personenverzeichnisse (bearbeitet von Katja Schmiederer) |
004D73 |
Mark Burgess ; Gabi Dreo ; Olivier Festor [France] ; George Pavlou ; Aiko Pras [Pays-Bas] ; Juergen Schoewaelder [Allemagne] ; Joan Serrat ; Rolf Stadler [Suède] ; Radu State [France] ; Burkhard Stiller | Quarterly Management Report #5 |
004D74 |
Olivier Festor [France] ; Mark Burgess ; Gabi Dreo Rodosek [Allemagne] ; George Pavlou ; Aiko Pras [Pays-Bas] ; Juergen Schoenwaelder ; Joan Serrat ; Radu State [France] ; Burkhard Stiller | Quarterly Management Report #4 |
004E44 |
Stephan Merz [France] ; Tobias Nipkow [Allemagne] | Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006) |
004E53 |
Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | On the Evolution of Component-based Software |
004E54 |
Julien Demouth [France] ; Olivier Devillers [France] ; Hazel Everett [France] ; Marc Glisse [France] ; Sylvain Lazard [France] ; Raimund Seidel [Allemagne] | On the Complexity of Umbra and Penumbra |
004E57 |
Rémi Badonnel [France] ; Mar Burgess [Norvège] ; Oscar Fredy [Espagne] ; Duque Gonzalez [Espagne] ; Antonis Hadjiantonis [Royaume-Uni] ; Iris Hochstatter [Allemagne] ; Ralf Koenig [Allemagne] ; Emil Lupu [Royaume-Uni] ; Apostolos Malatras [Royaume-Uni] ; Krzysztof Nowak [Pologne] ; George Pavlou [Royaume-Uni] ; Aiko Pras [Pays-Bas] ; Javier Rubio-Loyola [Espagne] ; Juergen Schoewaelder [Allemagne] ; Joan Serrat [Espagne] ; Rolf Stadler [Suède] ; Tarun Varma [Suède] | Next Generation Management Technologies and Approaches to Support Autonomic Management |
004E60 |
Kai Hormann [Allemagne] ; Bruno Lévy [France] ; Alla Sheffer [Canada] | Mesh Parameterization: Theory and Practice |
004E73 |
Mario Botsch [Suisse] ; Mark Pauly [Allemagne, Suisse] ; Leif Kobbelt [Allemagne] ; Pierre Alliez [France] ; Bruno Lévy [France] ; Stephan Bischoff [France] ; Christian Röossl [Allemagne] | Geometric Modeling Based on Polygonal Meshes |
004E81 |
Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-based Systems |
005044 |
Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France] | Implementing a Unification Algorithm for Protocol Analysis with XOR |
005114 |
Marc Kemps-Snijders [Pays-Bas, Allemagne] ; Julien Ducret [France] ; Laurent Romary [France] ; Peter Wittenburg [Pays-Bas, Allemagne] | An API for accessing the Data Category Registry |
005137 |
M. Benzeguiba ; R. De Mori [Canada] ; O. Deroo [Belgique] ; Simon Dupont [France] ; T. Erbes [France] ; D. Jouvet [France] ; L. Fissore [Italie] ; P. Laface [Italie] ; A. Mertins [Allemagne] ; C. Ris [Belgique] ; R. Rose ; V. Tyagi [France] ; C. Wellekens [France] | Automatic Speech Recognition and Intrinsic Speech Variation |
005232 |
Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
005238 |
Martin Groher [Allemagne] ; Nicolas Padoy [Allemagne] ; Tobias F. Jakobs [Allemagne] ; Nassir Navab [Allemagne] | New CTA Protocol and 2D-3D Registration Method for Liver Catheterization |
005243 |
Johanne Cohen [France] ; Emmanuel Jeannot [France] ; Nicolas Padoy [Allemagne] ; Frédéric Wagner [France] | Message Scheduling for Parallel Data Redistribution between Clusters |
005357 |
Brian Elves Ter [Norvège] ; Axel Hahn [Allemagne] ; Arne-J Rgen Berre [Norvège] ; Tor Neple [Norvège] | Towards an Interoperability Framework for Model-Driven Development of Software Systems |
005365 |
Peter Bürgisser [Allemagne] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France] | The complexity of semilinear problems in succinct representation |
005433 |
Knut Blind [Allemagne] ; Kai Jakobs [Allemagne] | Networked Organisations — Research into Standards and Standardisation |
005441 |
Holger Giese [Allemagne] ; Martin Hirsch [Allemagne] | Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML |
005444 |
Markus Rabe [Allemagne] | Methods for the Analysis of Supply Network Processes at European SMEs |
005464 |
Florian Kupsch [Allemagne] ; Dirk Werth [Allemagne] | Integrating Business Processes with Peer-to-Peer Technology |
005467 |
Antonia Albani [Allemagne] ; Jan L. G. Dietz [Pays-Bas] ; Johannes Maria Zaha [Allemagne] | Identifying Business Components on the Basis of an Enterprise Ontology |
005468 |
Kurt Kosanke [Allemagne] | ISO Standards for Interoperability: a Comparison |
005488 |
Bettina Bazijanec [Allemagne] ; Johannes Maria Zaha [Allemagne] ; Antonia Albani [Allemagne] ; Klaus Turowski [Allemagne] | Establishing Interoperability of Coordination Protocols in ad hoc Inter-Organizational Collaborations |
005539 |
Rainer Ruggaber [Allemagne] | ATHENA - Advanced Technologies for Interoperability of Heterogeneous Enterprise Networks and their Applications |
005551 |
Helene Dörksen-Reiter [Allemagne] ; Isabelle Debled-Rennesson [France] | A Linear Algorithm for Polygonal Representations of Digital Sets |
005564 |
Maria Goldbach [Allemagne] | Kontrastiver Vergleich der syntaktischen Verteilungen der starken und schwachen Objektpronomen im Alt- und Mittelfranzösischen und im Altitalienischen |
005589 |
Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France] | Specification and refinement of mobile systems in MTLA and mobile UML |
005593 |
Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France] | PROTEUS : Creating distributed maintenance systems through an integration platform |
005595 |
Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
005617 |
Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional analysis of contract-signing protocols |
005627 |
Franz Baader [Allemagne] ; Silvio Ghilardi [Italie] ; Cesare Tinelli [États-Unis] | A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
005693 |
Olivier Festor [France] ; Mark Burgess [Norvège] ; Vincent Cridlig [France] ; Robert Szuman [Pologne] ; Emil Lupu [Royaume-Uni] ; George Pavlou [Royaume-Uni] ; Juergen Schoenwaelder [Allemagne] | Deliverable D6.1 - Open source support & joint software development interim report |
005712 |
Radu State [France] ; Saverio Niccolini [Allemagne] ; Henning Schulzrinne [États-Unis] | VoIP MaSe '06 : Securing and managing VoIP communications |
005721 |
Gil Francopoulo [France] ; Thierry Declerck [Allemagne] ; Monica Monachini [Italie] ; Laurent Romary [France] | The relevance of standards for research infrastructures |
005771 |
Peter Wittenburg [Pays-Bas, Allemagne] ; Daan Broeder [Pays-Bas, Allemagne] ; Wolfgang Klein [Pays-Bas, Allemagne] ; Stephen Levinson [Pays-Bas, Allemagne] ; Laurent Romary [France] | Foundations of Modern Language Resource Archives |
005824 |
Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Component-Based Software and System Development |
005929 |
Jordi Casademont [Espagne] ; Ferran Perdrix [Espagne] ; Martin Einhoff [Allemagne] ; Josep Paradells [Espagne] ; Georg Dummer [Allemagne] ; Anne Boyer [France] | ELIN: A Newspaper Universal Multimedia Access Platform Based on Mpeg Standards |
005979 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
005981 |
Jordi Casademont [Espagne] ; Ferran Perdrix [Espagne] ; Martin Einhoff [Allemagne] ; Josep Paradells [Espagne] ; Georg Dummer [Allemagne] ; Anne Boyer [France] | ELIN: A Framework to Deliver Media content in an Efficient way Based in MPEG Standards |
005A25 |
Ozan Kahramanogullari [Allemagne] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France] | Implementing Deep Inference in Tom |
005A52 |
Gerd Bumiller [Allemagne] ; Liping Lu [France] ; Ye-Qiong Song [France] | Analytic performance comparison of routing protocols in master-slave PLC networks |
005A62 |
Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly On-The-Fly LTL Model Checking |
005A64 |
Raul Brito [France] ; Gerd Bumiller [Allemagne] ; Ye-Qiong Song [France] | Modelling and simulation of a SFN based PLC network |
006165 |
Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly On-the-Fly LTL Model Checking |
006172 |
Stefan Wermter [Royaume-Uni] ; Günther Palm [Allemagne] ; Cornelius Weber [Royaume-Uni] ; Mark Elshaw [Royaume-Uni] | Towards Biomimetic Neural Learning for Intelligent Robots |
006177 |
Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Joachim Niehren [France] | The XDG Grammar Development Kit |
006181 |
Peter Bürgisser [Allemagne] ; Felipe Cucker [République populaire de Chine, Hong Kong] ; Paulin Jacobé De Naurois [France] | The Complexity of Semilinear Problems in Succinct Representation |
006182 |
A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France] | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications |
006212 |
E. Althaus [Allemagne] ; G. C Linescu [États-Unis] ; I. I. M Ndoiu [États-Unis] ; S. Prasad [États-Unis] ; N. Tchervenski [États-Unis] ; A. Zelikovsky [États-Unis] | Power Efficient Range Assignment for Symmetric Connectivity in Static Ad Hoc Wireless Networks |
006217 |
Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni] | Ordered Resolution with Selection for $\mathcal{H}(@)$ |
006226 |
François Lamarche [France] ; Lutz Stra Burger [Allemagne] | Naming Proofs in Classical Propositional Logic |
006227 |
Ralph Debusmann [Allemagne] ; Denys Duchier [France] ; Marco Kuhlmann [Allemagne] | Multi-dimensional Graph Configuration for Natural Language Processing |
006254 |
Claus-Peter Wirth [Allemagne] | History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! |
006285 |
Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni] | Combining Lists with Non-stably Infinite Theories |
006294 |
Christophe Chipot [France] ; Xavier Rozanska [France, Allemagne] ; Surjit B. Dixit [France, États-Unis] | Can free energy calculations be fast and accurate at the same time? Binding of low-affinity, non-peptide inhibitors to the SH2 domain of the src protein |
006302 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse] | Automated Reasoning for Security Protocol Analysis |
006310 |
Markus Löckelt [Allemagne] | Action Planning for Virtual Human Performances |
006315 |
Yann Guermeur [France] ; André Elisseeff [Allemagne] ; Dominique Zelus [Argentine] | A comparative study of multi‐class support vector machines in the unifying framework of large margin classifiers |
006322 |
Nils Mohmeyer ; Hans-Werner Schmidt [Allemagne] | A New Class of Low‐Molecular‐Weight Amphiphilic Gelators |
006353 |
Dieter Zöbel [Allemagne] ; David Polock [Allemagne] | Priority inheritance revisited : Towards the conformance of real-time protocols |
006377 |
Ernst Althaus [France] ; Stefan Funke [Allemagne] ; Sariel Har-Peled [États-Unis] ; Jochen Könemann [Canada] ; Edgar A. Ramos [États-Unis] ; Martin Skutella [Allemagne] | Approximating k-hop minimum-spanning trees |
006380 |
Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP decision procedure for protocol insecurity with XOR |
006467 |
Ye-Qiong Song [France] ; Gerd Bumiller [Allemagne] ; Raul Brito [France] ; Liping Lu [France] ; Luis Pinho Flippe Pacheco [Portugal] | System model and performance evaluation |
006481 |
Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
006482 |
Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Proving Component Interoperability with B Refinement |
006511 |
Norbert Reithinger [Allemagne] ; Dirk Fedeler [Allemagne] ; Ashwani Kumar [France] ; Elsa Pecourt [Allemagne] ; Christoph Lauer [Allemagne] ; Laurent Romary [France] | MIAMM – A Multimodal Dialogue System Using Haptics |
006558 |
Pierrick Gaudry [France] ; Emmanuel Thomé [France] ; Nicolas Thériault [Canada] ; Claus Diem [Allemagne] | A double large prime variation for small genus hyperelliptic index calculus |
006674 |
Manuel Bodirsky [Allemagne] ; Denys Duchier [France] ; Joachim Niehren [France] ; Sebastian Miele [Allemagne] | A New Algorithm for Normal Dominance Constraints |
006A45 |
Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon, Allemagne] | Transformation techniques for context-sensitive rewrite systems |
006B16 |
Manfred Schmidt-Schau [Allemagne] ; Jürgen Stuber [France] | The Complexity of Linear and Stratified Context Matching Problems |
006B22 |
Stephan Schulz [Autriche, Allemagne] | System Description: E 0.81 |
006B27 |
Wolfgang Minker [Allemagne] ; Samir Bennacef [France] | Spoken Language Dialog Modeling |
006B28 |
Anni-Yasmin Turhan [Allemagne] ; Christian Kissig [Allemagne] | Sonic — Non-standard Inferences Go OilEd |
006B29 |
Volker Weispfenning [Allemagne] | Solving Constraints by Elimination Methods |
006B43 |
Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] | Refining Mobile UML State Machines |
006B52 |
Carsten Lutz [Allemagne] ; Dirk Walther [Royaume-Uni] | PDL with Negation of Atomic Programs |
006B66 |
Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular Proof Systems for Partial Functions with Weak Equality |
006B67 |
V. N. Hristov [Bulgarie, États-Unis] ; M. Krumova [Allemagne] ; St. Vasileva [Bulgarie] ; G. H. Michler [Allemagne] | Modified polypropylene wood flour composites. II. Fracture, deformation, and mechanical properties |
006B88 |
René Thiemann [Allemagne] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Allemagne] | Improved Modular Termination Proofs Using Dependency Pairs |
006B93 |
Reinhold Letz [Allemagne] ; Gernot Stenz [Allemagne] | Generalised Handling of Variables in Disconnection Tableaux |
006C05 |
G. Tommaseo [Allemagne] ; M. Lescanne [Grèce] ; W. Steffen [Allemagne] ; G. Fytas [Allemagne, Grèce] ; M. Stamm [Allemagne] | Elastic excitations in polycarbonate membranes |
006C08 |
Jürgen Avenhaus [Allemagne] | Efficient Algorithms for Computing Modulo Permutation Theories |
006C34 |
Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni] | Automatic Generation of Classification Theorems for Finite Algebras |
006C44 |
Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Adding Features to Component-Based Systems |
006C50 |
M. A. Peerbocus [France] ; C. Bauzer Medeiros [Brésil] ; G. Jomier [France] ; A. Voisard [Allemagne] | A System for Change Documentation Based on a Spatiotemporal Database |
006C54 |
Yevgeny Kazakov [Allemagne] ; Hans De Nivelle [Allemagne] | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards |
006C55 |
Bernd Löchner [Allemagne] | A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting |
006C94 |
M. Hofmann [Allemagne] ; P. J. Scott [Canada] | Realizability models for BLL-like languages |
006C99 |
L. Kristiansen [Norvège] ; K.-H. Niggl [Allemagne] | On the computational complexity of imperative programming languages |
006D23 |
Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne] | An arithmetic for non-size-increasing polynomial-time computation |
006E48 |
Jacek Szymanski [France] ; Mario Thron [Allemagne] ; Jean-Pierre Thomesse [France] ; Xavier Rebeuf [France] ; Christophe Lang [France] | Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications |
006E55 |
Dominique Cansell [France] ; Stefan Hallerstede ; Ian Oliver [Allemagne] | UML-B specification and hardware implementation of a Hamming coder/decoder |
006E63 |
Jacques Calmet [Allemagne] ; Vincent Lefèvre [France] | Toward the Integration of Numerical Computations into the OMSCS Framework |
006F47 |
J. Walocha [Allemagne] ; Gerd Bumiller [Allemagne] ; A. Fabi [Allemagne] ; Raul Brito [France] ; Ye-Qiong Song [France] ; Liping Lu [France] | Network Management System Implementation |
006F55 |
Hervé Guyennet [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne] | Middleware for Global e-Maintenance |
007028 |
Eric Clavier ; Gérald Masini [France] ; Eric Delalandre [France] ; Maurizio Rigamonti [Allemagne] ; Karl Tombre [France] ; Joël Gardes | DocMining: a cooperative platform for heterogeneous document interpretation according to user-defined scenarios |
007029 |
Sébastien Adam [France] ; Maurizio Rigamonti [Allemagne] ; Eric Clavier [France] ; Jean-Marc Ogier [France] ; Eric Trupin [France] ; Karl Tombre [France] | DocMining: A Document Analysis System Builder |
007044 |
Bernard Chabalier [France] ; Philippe Hubert [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne] | D6.3 Definition/Specification of object for the e-maintenance platform |
007055 |
Ernst Althaus [France] ; Nikiforos Karamanis ; Alexander Koller [Allemagne] | Computing Locally Coherent Discourses |
007121 |
Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
007122 |
Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
007192 |
Ernst Althaus [Allemagne] ; Denys Duchier [France] ; Alexander Koller [France] ; Kurt Mehlhorn [Allemagne] ; Joachim Niehren [France] ; Sven Thiel [Allemagne] | An Efficient Graph Algorithm for Dominance Constraints |
007226 |
Eric Clavier [France] ; Gérald Masini [France] ; Mathieu Delalandre [France] ; Maurizio Rigamonti [Allemagne] ; Karl Tombre [France] ; Joël Gardes [France] | DocMining: A Cooperative Platform for Heterogeneous Document Interpretation According to User-Defined Scenarios |
007963 |
Christine Choppy [France] ; Maritta Heisel [Allemagne] | Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs |
007965 |
Soha Maad [Allemagne] | Universal Access to Multimodal ITV Content: Challenges and Prospects |
007977 |
Miroslaw Malek [Allemagne] | Towards Dependable Networks of Mobile Arbitrary Devices - Diagnosis and Scalability |
007984 |
Harald Ganzinger [Allemagne] ; Jürgen Stuber [France] | Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation |
007989 |
Michael Pieper [Allemagne] ; Renate Anderweit [Grèce, Allemagne] | Sociable Information Environments |
007A72 |
Udo Kelter [Allemagne] ; Marc Monecke [Allemagne] ; Markus Schild [Allemagne] | Do We Need ‘Agile’ Software Development Tools? |
007A90 |
Lutz D. Schmadel [Allemagne] | Catalogue of Minor Planet Names and Discovery Circumstances |
007B09 |
Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Júlia Zappe [Allemagne] | A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems |
007B12 |
Uwe Berner [Allemagne] ; Thomas Rieger [Allemagne] | A Scalable Avatar for Conversational User Interfaces |
007B47 |
Uwe Franz [Allemagne, France] ; Nicolas Privault [France] ; René Schott [France] | Smoothness of Wigner densities on the affine algebra |
007F78 |
Gerd Stumme [Allemagne] ; Rafik Taouil [France] ; Yves Bastide [France] ; Nicolas Pasquier [France] ; Lotfi Lakhal [France] | Computing iceberg concept lattices with Titanic |
008061 |
Daan Broeder [Pays-Bas, Allemagne] ; Peter Wittenburg [Pays-Bas, Allemagne] ; Thierry Declerck [Allemagne] ; Laurent Romary [France] | LREP: A Language Repository Exchange Protocol |
008239 |
Elias Dahlhaus [Allemagne] ; Jens Gustedt [France] ; Ross M. Mcconnell [États-Unis] | Partially complemented representations of digraphs |
008725 |
Carla A. Lima Reis [Brésil] ; Rodrigo Quites Reis [Brésil] ; Marcelo M. De Abreu [Brésil] ; Heribert Schlebbe [Allemagne] ; Daltro J. Nunes [Brésil] | Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment |
008728 |
Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquières [France] | Toward a Formal Model of Software Components |
008733 |
Serge Autexier [Allemagne] ; Dieter Hutter [Allemagne] ; Till Mossakowski [Allemagne] ; Axel Schairer [Allemagne] | The Development Graph Manager Maya |
008734 |
Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France] | The AVISS Security Protocol Analysis Tool |
008748 |
Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne] | SCIL — Symbolic Constraints in Integer Linear Programming |
008760 |
Axel Schairer [Allemagne] ; Dieter Hutter [Allemagne] | Proof Transformations for Evolutionary Formal Software Development |
008762 |
Volker Gruhn [Allemagne] | Process-Centered Software Engineering Environments, A Brief History and Future Challenges |
008780 |
B. Sch Tz [Allemagne] ; A. Pretschner [Allemagne] ; F. Huber [Allemagne] ; J. Philipps [Allemagne] | Model-Based Development of Embedded Systems |
008835 |
Rodrigo Quites Reis [Brésil] ; Carla Alessandra Lima Reis [Brésil] ; Heribert Schlebbe [Allemagne] ; Daltro José Nunes [Brésil] | Automatic Verification of Static Policies on Software Process Models |
008848 |
Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne] | Algebraic Dynamic Programming |
008852 |
Frank Padberg [Allemagne] | A discrete simulation model for assessing software project scheduling policies |
008861 |
Dominik Haneberg [Allemagne] ; Wolfgang Reif [Allemagne] ; Kurt Stenzel [Allemagne] | A Method for Secure Smartcard Applications |
008862 |
Petra Hofstedt [Allemagne] | A General Approach for Building Constraint Languages |
008868 |
Gilles Ardourel [France] ; Michael Haupt [Allemagne] ; José Luis Herrero Agustín [Espagne] ; Rainer Ruggaber [Allemagne] ; Charles Suscheck [États-Unis] | 11th Workshop for PhD Students in Object-Oriented Systems |
008923 |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
008939 |
Laurent Romary [France] ; Norbert Reithinger [Allemagne] ; Christoph Lauer [Allemagne] | MIAMM - Multidimensional Information Access using Multiple Modalites |
008E20 |
Yuri Bilu [Allemagne] ; Guillaume Hanrot [France] ; Paul Voutier | Existence of primitive divisors of Lucas and Lehmer numbers |
009257 |
Jens Michaelis [Allemagne] | Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars |
009258 |
Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne] | Towards a Living Software Development Process Based on Process Patterns |
009271 |
Dieter Hofbauer [Allemagne] | Termination Proofs by Context-Dependent Interpretations |
009309 |
Volker Gruhn [Allemagne] ; Ursula Wellen [Allemagne] | Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models |
009329 |
Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne] | Modular Process Patterns Supporting an Evolutionary Software Development Process |
009340 |
Gerd Stumme [Allemagne] ; Rafik Taouil [France] ; Yves Bastide [France] ; Nicolas Pasquier [France] ; Lotfi Lakhal [France] | Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis |
009352 |
Elias Dahlhaus [Allemagne] ; Jens Gustedt [France] ; Ross M. Mcconnell | Efficient and Practical Algorithms for Sequential Modular Decomposition |
009370 |
Franz Baader [Allemagne] ; Klaus U. Schulz [Allemagne] | Combining Constraint Solving |
009393 |
Christoph A. Herrmann [Allemagne] ; Christian Lengauer [Allemagne] | A Transformational Approach which Combines Size Inference and Program Optimization |
009403 |
Simon Becker [Allemagne] ; Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne] | A Delegation Based Model for Distributed Software Process Management |
009421 |
Petra Ludewig [Allemagne] | LogoTax : un outil exploratoire pour l'étude de collocations en corpus |
009442 |
Claire Gardent [France] ; Stefan Thater [Allemagne] | Generating with a grammar based on tree descriptions: A constraint-based approach |
009685 |
Jürgen Richter-Gebert [Allemagne] ; Dongming Wang [France] | Automated Deduction in Geometry - ADG 2000 Revised Papers |
009764 |
Gerd Stumme [Allemagne] ; Rafik Taouil [France] ; Yves Bastide [France] ; Nicolas Pasquier [France] ; Lotfi Lakhal [France] | Fast computation of concept lattices using data mining techniques |
009E00 |
Klaus U. Schulz [Allemagne] | Why Combined Decision Problems Are Often Intractable |
009E07 |
Carla Blanck Purper [Allemagne] | Transcribing process model standards into meta-processes |
009E60 |
Volker Sorge [Allemagne] | Non-trivial Symbolic Computations in Proof Planning |
009E78 |
Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne] | Integrating Constraint Solving into Proof Planning |
009F10 |
Petra Hofstedt [Allemagne] | Cooperating Constraint Solvers |
009F17 |
Sergio Antoy [États-Unis] ; Michael Hanus [Allemagne] | Compiling Multi-paradigm Declarative Programs into Prolog |
009F20 |
Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] | Combining Logic and Optimization in Cutting Plane Theory |
009F21 |
Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis] | Combining Equational Theories Sharing Non-Collapse-Free Constructors |
009F28 |
Petra Hofstedt [Allemagne] | Better Communication for Tighter Cooperation |
009F29 |
Eric Meyer [France] ; Thomas Santen [Allemagne] | Behavioral Conformance Verification in an Integrated Approach Using UML and B |
009F40 |
Dirk J Ger [Allemagne] ; Ansgar Schleicher [Allemagne] ; Bernhard Westfechtel [Allemagne] | AHEAD: A Graph-Based System for Modeling and Managing Development Processes |
009F87 |
Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
00A006 |
Christophe Fiorio [France] ; Jens Gustedt [France] ; Thomas Lange [Allemagne] | Union-Find Volume Segmentation |
00A342 |
Marc Stamminger [Allemagne] ; Daniel Wexler [États-Unis] ; Wolfram Kresse [Allemagne] ; Nicolas Holzschuch [France] ; Per Christensen [États-Unis] | Advanced Radiosity: Complex Scenes and Glossy Reflections |
00A471 |
Stefan Felsner [Allemagne] ; Jens Gustedt [France] ; Michel Morvan | Interval Reductions and Extensions of Orders : Bijections to Chains in Lattices |
00A836 |
Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] ; Mark Hartmann [États-Unis] ; Andreas S. Schulz [États-Unis] | On the Chvátal rank of polytopes in the 0/1 cube |
00A860 |
G. Delzanno [Allemagne] ; D. Galmiche [France, Allemagne] ; M. Martelli [Italie, Allemagne] | A specification logic for concurrent object-oriented programming |
00A903 |
Stephan Kepser [Allemagne] ; Jörn Richts [Allemagne] | UniMoK: A System for Combining Equational Unification Algorithms |
00A909 |
Jürgen Giesl [Allemagne] ; Aart Middeldorp [Japon] | Transforming Context-Sensitive Rewrite Systems |
00A913 |
Bernhard Westfechtel [Allemagne] | Tool Integration |
00A915 |
Jürgen Stuber [Allemagne] | Theory Path Orderings |
00A916 |
Marc Buyse [Belgique] ; Stephen L. George [États-Unis] ; Stephen Evans [Royaume-Uni] ; Nancy L. Geller [États-Unis] ; Jonas Ranstam [Suède] ; Bruno Scherrer [France] ; Emmanuel Lesaffre [Belgique] ; Gordon Murray [Royaume-Uni] ; Lutz Edler [Allemagne] ; Jane Hutton [Royaume-Uni] ; Theodore Colton [États-Unis] ; Peter Lachenbruch [États-Unis] ; Babu L. Verma [Inde] | The role of biostatistics in the prevention, detection and treatment of fraud in clinical trials |
00A921 |
Frank Morawietz [Allemagne] ; Tom Cornell [Allemagne] | The MSO Logic-Automaton Connection in Linguistics |
00A929 |
Dieter Hofbauer [Allemagne] ; Maria Huber [Allemagne] | Test Sets for the Universal and Existential Closure of Regular Tree Languages |
00A936 |
Uwe Franz [Allemagne] ; René Schott [France] | Stochastic processes on quantum groups |
00A948 |
Bernhard Westfechtel [Allemagne] | Process Management |
00A949 |
Uwe Franz [Allemagne] ; René Schott [France] | Preliminaries on Lie groups |
00A950 |
Uwe Franz [Allemagne] ; René Schott [France] | Phase retrieval for probability distributions on quantum groups and braided groups |
00A957 |
Friedrich Otto [Allemagne] | On the Connections between Rewriting and Formal Language Theory |
00A973 |
Uwe Franz [Allemagne] ; René Schott [France] | Markov structure of quantum Lévy processes |
00A974 |
Uwe Franz [Allemagne] ; Rémi Léandre [France] ; René Schott [France] | Malliavin calculus for quantum stochastic processes |
00A977 |
Uwe Franz [Allemagne] ; René Schott [France] | Limit theorems on quantum groups |
00A985 |
Uwe Franz [Allemagne] ; René Schott [France] | Introduction |
00A986 |
Bernhard Westfechtel [Allemagne] | Introduction |
00A988 |
Uwe Franz [Allemagne] ; René Schott [France] | Hopf algebras, quantum groups and braided spaces |
00A994 |
Uwe Franz [Allemagne] ; René Schott [France] | Gauss laws in the sense of Bernstein on quantum groups |
00A998 |
Manfred G X00f6 Bel [Allemagne] | Fast Rewriting of Symmetric Polynomials |
00AA03 |
Uwe Franz [Allemagne] ; René Schott [France] | Evolution equations and Lévy processes on quantum groups |
00AA06 |
Udo Döbrich [Allemagne] ; Patrice Noury [France] | ESPRIT Project NOAH — Introduction |
00AA09 |
Uwe Franz [Allemagne] ; René Schott [France] | Diffusions on braided spaces |
00AA12 |
Thomas Cornell [Allemagne] | Derivational and Representational Views of Minimalist Transformational Grammar |
00AA14 |
Andreas Sorgatz [Allemagne] | Demos and Applications |
00AA15 |
Franz Baader [Allemagne] ; Cesare Tinelli [États-Unis] | Deciding the Word Problem in the Union of Equational Theories Sharing Constructors |
00AA17 |
Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France] | Decidable Fragments of Simultaneous Rigid Reachability |
00AA41 |
Yassine Mokhtari [France] ; Stephan Merz [Allemagne] | Animating TLA Specifications |
00AA47 |
Bernhard Westfechtel [Allemagne] | Activity Management |
00AA57 |
Emmanuel Olivier [France] ; Emmanuelle Soury [France] ; Jean-Loup Risler [France] ; Fatima Smih [France] ; Kurt Schneider [Allemagne] ; Klaus Lochner [Allemagne] ; Jean-Yves Jouzeau [France] ; Georg H. Fey [Allemagne] ; Jean-Philippe Salier [France] | A Novel Set of Hepatic mRNAs Preferentially Expressed during an Acute Inflammation in Rat Represents Mostly Intracellular Proteins |
00AA60 |
Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | A Method for Requirements Elicitation and Formal Specification |
00AA88 |
M. Heisel [Allemagne] ; J. Souquieres [France] | De l'élicitation des besoins à la spécification formelle |
00AD91 |
Laurent Romary [Allemagne] ; Patrice Bonhomme [France] ; Bessero Gilles [France] | L'informatisation du Dictionnaire hydrographique international : normalisation et utilisation |
00AD92 |
U. Franz [France, Allemagne] ; R. Schott [France] | Diffusion on braided spaces |
00B230 |
Juan D. Delius [Allemagne] ; Martina Siemann [Allemagne] | Transitive responding in animals and humans: Exaptation rather than adaptation? |
00B319 |
Reiner H Hnle [Allemagne] ; Neil V. Murray [États-Unis] ; Erik Rosenthal [États-Unis] | Some Remarks on Completeness, Connection Graph Resolution, and Link Deletion |
00B326 |
Erica Melis [Allemagne] ; Jean Lieber [France] ; Amedeo Napoli [France] | Reformulation in case-based reasoning |
00B332 |
Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] | Process Management in Practice Applying the FUNSOFT Net Approach to Large-Scale Processes |
00B356 |
Stefan Felsner [Allemagne] ; Jens Gustedt [France] ; Michel Morvan [France] | Interval Reductions and Extensions of Orders: Bijections to Chains in Lattices |
00B358 |
Farid Ajili [Royaume-Uni, France] ; Hendrik C. R. Lock [Allemagne] | Integrating constraint propagation in complete solving of linear diophantine systems |
00B360 |
Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [Allemagne] | How to realize LSE narrowing |
00B361 |
Rolf Backofen [Allemagne] ; Ralf Treinen [France] | How to Win a Game with Features |
00B366 |
Jens Gustedt [Allemagne] | Finiteness Theorems for Graphs and Posets Obtained by Compositions |
00B390 |
Hartmut Ehrig [Allemagne] ; Martin Gro E-Rhode [Allemagne] ; Uwe Wolter [Allemagne] | Applications of Category Theory to the Area of Algebraic Specification in Computer Science |
00B403 |
A. Werner [Allemagne] | A Semantic Approach to Order-sorted Rewriting |
00B411 |
I. S. Kolesov [Ukraine] ; H.-J. Radusch [Allemagne] | Untersuchung der Segmentbewegung in Polybutylenterephthalat/Polycarbonat-Blends mittels der Thermisch Stimulierten Depolarisationsstrom-Methode |
00B659 |
Tomaz Erjavec [Slovénie] ; Ann Lawson [Allemagne] ; Laurent Romary [France] | East meets West: Producing Multilingual Resources in a European Context |
00BB19 |
Manuel M. T. Chakravarty [Japon] ; Hendrik C. R. Lock [Allemagne] | Towards the uniform implementation of declarative languages |
00BB34 |
M. Sturm [Allemagne] ; K. Eder [Allemagne] ; W. Brauer [Allemagne] ; J. C. González [Espagne] | Hybridization of neural and fuzzy systems by a multi agent architecture for motor gearbox control |
00BB53 |
D. Barschdorff [Allemagne] ; L. Monostori [Hongrie] ; G. W. Wöstenkühler [Allemagne] ; Cs. Egresits [Hongrie] ; B. Kádár [Hongrie] | Approaches to coupling connectionist and expert systems in intelligent manufacturing |
00BB98 |
Maritta Heisel [Allemagne] ; Nicole Lévy [France] | Using LOTOS patterns to characterize architectural styles |
00BC08 |
Jürgen Giesl [Allemagne] | Termination of Nested and Mutually Recursive Algorithms |
00BC31 |
Alfons Geser [Allemagne] | Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems |
00BC49 |
U. Franz [France] ; D. Neuenschwander [Allemagne] ; R. Schott [France, Suisse] | Gauss laws in the sense of Bernstein and uniqueness of embedding into convolution semigroups on quantum groups and braided groups |
00BC56 |
Philip Feinsilver [États-Unis] ; Uwe Franz [Allemagne, France] ; René Schott [France] | Duality and Multiplicative Stochastic Processes on Quantum Groups |
00BC75 |
Agnès Méreau [France] ; Régis Fournier [France] ; Anne Grégoire [France] ; Annie Mougin [France] ; Patrizia Fabrizio [Allemagne] ; Reinhard Lührmann [Allemagne] ; Christiane Branlant [France] | An in vivo and in vitro structure-function analysis of the Saccharomyces cerevisiae U3A snoRNP: protein-RNA contacts and base-pair interaction with the pre-ribosomal RNA |
00BC86 |
Klaus Pohl [Allemagne] ; Klaus Weidenhaupt [Allemagne] | A contextual approach for process-integrated tools |
00BC90 |
Ludwig Fahrmeir [Allemagne] ; Leonhard Knorr-Held [Allemagne] | 9. Dynamic Discrete-Time Duration Models: Estimation Viamarkov Chain Monte Carlo |
00BD14 |
M. Heisell [Allemagne] ; N. Levy [France] | Using LOTOS patterns to characterize architectural styles |
00BF60 |
Martin Russling [Allemagne] | Deriving a class of layer-oriented graph algorithms |
00BF78 |
Andreas Oberweis [Allemagne] | An integrated approach for the specification of processes and related complex structured objects in business applications |
00C022 |
Bernd Krieg-Brückner [Allemagne] | Seven years of COMPASS |
00C058 |
Norbert Schappacher [France] ; Erhard Scholz [Allemagne] ; Atdo Scimone [Italie] ; Manfred Schroeder [Allemagne] ; Heinz Götze [Allemagne] | Letters to the editor |
00C069 |
Régis Curien [France] ; Zhenyu Qian [Allemagne] ; Hui Shi [Allemagne] | Efficient second-order matching |
00C076 |
Bernhard Gramlich [France] ; Claus-Peter Wirth [Allemagne] | Confluence of terminating conditional rewrite systems revisited |
00C096 |
Sergei Vorobyov [Allemagne] | An improved lower bound for the elementary theories of trees |
00C098 |
A. Geser [Allemagne] | An Improved General Path Order |
00C109 |
O. Neumann [Allemagne] ; S. Sachweh [Allemagne] ; W. Sch Fer [Allemagne] | A high-level object-oriented specification language for configuration management and tool integration |
00C609 |
Francesco Russo [Allemagne] ; Pierre Vallois [Allemagne, France] | The generalized covariation process and Ito formula |
00C631 |
María J. Carrascal [Allemagne] ; Louis F. Pau [France] ; Ludwig Reiner [Allemagne] | Knowledge and information transfer in agriculture using hypermedia: a system review |
00C658 |
Rolf Backofen [Allemagne] | A complete axiomatization of a theory with feature and arity constraints |
00C694 |
Josef Brüederl [Allemagne] ; Andreas Diekmann [Suisse] | The Log-Logistic Rate Model |
00C720 |
Günter Graw [Allemagne] ; Volker Gruhn [Allemagne] | Process management in-the-many |
00C763 |
Günter Graw [Allemagne] ; Volker Gruhn [Allemagne] | Distributed modeling and distributed enaction of business processes |
00C786 |
Alexander Clemm [Allemagne] | Adding value to MIBs: A relationship layer for management platforms |
00C796 |
Martin Russling [Allemagne] | A general scheme for breadth-first graph traversal |
00C799 |
Hartmut Ehrig [Allemagne] ; Bernd Mahr [Allemagne] | A decade of TAPSOFT |
00CC45 |
Andreas Oberweis [Allemagne] ; Gabriele Scherrer [Allemagne] ; Wolffried Stucky [Allemagne] | INCOME/STAR: Methodology and tools for the development of distributed information systems |
00CC87 |
Dieter Hofbauer [Allemagne] ; Maria Huber [France] ; Gregory Kucherov [France] | Some results on top-context-free tree languages |
00CD18 |
Silvia Breitinger [Allemagne] ; Hendrik C. R. Lock [France] | Improving search for job-shop scheduling with CLP(FD) |
00CD21 |
Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [France] | How to realize LSE narrowing |
00CD31 |
Jean-Claude Derniame [France] ; Volker Gruhn [Allemagne] | Development of process-centered IPSEs in the ALF project |
00CD41 |
Guido Dinkhoff [Allemagne] ; Volker Gruhn [Allemagne] ; Armin Saalmann [Allemagne] ; Michael Zielonka [Allemagne] | Business process modeling in the workflow management environment Leu |
00CD55 |
Andrea Sattler-Klein [Allemagne] | About changing the ordering during Knuth-Bendix completion |
00CD64 |
Wilfried Buchholz [Allemagne] ; Adam Cichon [France] ; Andreas Weiermann [Allemagne] | A Uniform Approach to Fundamental Sequences and Hierarchies |
00CD74 |
D. Hofbauer [Allemagne] ; M. Huber [France] | Linearizing term rewriting systems using test sets |
00D113 |
A. De Guibert [France] ; B. Chaumont [France] ; L. Albert [France] ; J. L. Caillerie [France] ; A. Ueberschaer [Allemagne] ; R. Höhn [Allemagne] ; W. Davis [Royaume-Uni] ; M. J. Weighall [Royaume-Uni] | Use of secondary lead for new generations of lead/acid batteries |
00D123 |
M. Beemster [Pays-Bas] ; P. H Hartel [Pays-Bas] ; L. O Hertzberger [Pays-Bas] ; R. F. H Hofman [Pays-Bas] ; K. G Langendoen [Pays-Bas] ; L. L Li [Allemagne] ; R. Milikowski [Pays-Bas] ; Wg Vree [Pays-Bas] ; H. P Barendregt [Pays-Bas] ; J. C Mulder [Pays-Bas] | Experience with a clustered parallel reduction machine |
00D184 |
Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne] | OBSCURE a specification language for abstract data types |
00D198 |
Eric Monfroy [Allemagne] | Gröbner bases: Strategies and applications |
00D204 |
Carsten Dohmeier ; Hansgeorg Schnöckel [Allemagne] ; Uwe Schneider [Allemagne] ; Reinhart Ahlrichs [Allemagne] ; Christian Robl [Allemagne] | Decamethylaluminocenium, a π‐Stabilized R2Al+ Cation |
00D209 |
Alexander Bockmayr [Allemagne] | Conditional narrowing modulo a set of equations |
00D211 |
Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne] | Computer-aided verification of software process model properties |
00D213 |
Lars With [Allemagne] | Completeness and confluence of order-sorted term rewriting |
00D224 |
Alexander Bockmayr [Allemagne] ; Stefan Krischer [France] ; Andreas Werner [Allemagne] | An optimal narrowing strategy for general canonical systems |
00D229 |
Andreas Werner [Allemagne] | A semantic approach to order-sorted rewriting |
00D548 |
Karl Grammer [Allemagne] | Variations on a theme: Age dependent mate selection in humans |
00D634 |
Wolfgang Emmerich [Allemagne] ; Wilhelm Sch Fer [Allemagne] ; Jim Welsh [Australie] | Suitable databases for process-centred environments do not yet exist |
00D639 |
Volker Gruhn [Allemagne] ; Armin Saalmann [Allemagne] | Software process validation based on FUNSOFT nets |
00D640 |
R. Rockwell [Allemagne] | Software development is a communication process |
00D641 |
Wilhelm Sch Fer [Allemagne] | Session introduction |
00D644 |
Gernot Starke [Allemagne] ; Michael Von Der Beeck [Allemagne] | SA/CM/IM for process modelling |
00D667 |
Andrea Sattler-Klein [Allemagne] | Infinite, canonical string rewriting systems generated by completion |
00D684 |
Thom Frühwirth [Allemagne] ; Alexander Herold [Allemagne] ; Volker Küchenhoff [Allemagne] ; Thierry Le Provost [Allemagne] ; Pierre Lim [Allemagne] ; Eric Monfroy [Allemagne] ; Mark Wallace [Allemagne] | Constraint Logic Programming |
00D686 |
Thomas Dei [Allemagne] | Conditional semi-Thue systems for presenting monoids |
00D699 |
Volker Gruhn [Allemagne] ; Rüdiger Jegelka [Allemagne] | An evaluation of FUNSOFT nets |
00DA32 |
Volker Gruhn [Allemagne] | Validation and verification of software process models |
00DA34 |
Dieter Hofbauer [Allemagne] | Time bounded rewrite systems and termination proofs by generalized embedding |
00DA46 |
J. Avenhaus [Allemagne] | Proving equational and inductive theorems by completion and embedding techniques |
00DA75 |
Andrea Sattler-Klein [Allemagne] | Divergence phenomena during completion |
00DA82 |
Helmut Plünnecke ; Wolfgang Reisig [Allemagne] | Bibliography of Petri nets 1990 |
00DD57 |
Jörg H. Siekmann [Allemagne] | Unification theory |
00DD72 |
Herbert Klaeren [Allemagne] | Embedding functionally described abstract data types into MODULA-2 programs |
00DE14 |
Dieter Hofbauer [Allemagne] | Termination proofs by multiset path orderings imply primitive recursive derivation lengths |
00DE40 |
Mario Castellucci [Allemagne] ; Peter Kaufmann [Allemagne] ; Paul Bischof [Suisse] | Extracellular matrix influences hormone and protein production by human chorionic villi |
00DE47 |
Andy Mück [Allemagne] | Compilation of narrowing |
00E038 |
Wolfgang Deiters [Allemagne] ; Volker Gruhn [Allemagne] ; Wilhelm Sch Fer [Allemagne] | Systematic development of formal software process models |
00E046 |
Harald Ganzinger [Allemagne] | Order-sorted completion: The many-sorted way |
00E329 |
Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne] | The specification language of OBSCURE |
00E332 |
J. Avenhaus [Allemagne] ; R. Göbel [Allemagne] ; B. Gramlich [Allemagne] ; K. Madlener [Allemagne] ; J. Steinbach [Allemagne] | TRSPEC: A term rewriting based system for algebraic specifications |
00E341 |
Karl Hans Bl Sius [Allemagne] ; Jörg H. Siekmann [Allemagne] | Partial unification for graph based equational reasoning |
00E366 |
Harald Ganzinger [Allemagne] | Completion with history-dependent complexities for generated equations |
00E370 |
Hubert Bertling [Allemagne] ; Harald Ganzinger [Allemagne] ; Renate Sch Fers [Allemagne] | CEC: A system for the completion of conditional equational specifications |
00E375 |
Bernhard Möller [Allemagne] ; Andrzej Tarlecki ; Martin Wirsing | Algebraic specifications of reachable higher-order algebras |
00E614 |
Harald Ganzinger [Allemagne] | Ground term confluence in parametric conditional equational specifications |
00E822 |
Manfred Broy [Allemagne] ; Alfons Geser [Allemagne] ; Heinrich Hussmann [Allemagne] | Towards advanced programming environments based on algebraic concepts |
00EA34 |
Vera Haase [Allemagne] ; Gerhard Kirschstein [Allemagne] ; Hildegard List [Allemagne] ; Sigrid Ruprecht [Allemagne] ; Raymond Sangster [Allemagne] ; Friedrich Schröder [Allemagne] ; Wolfgang Töpper [Allemagne] ; Hans Vanecek [Allemagne] ; Werner Heit ; Jürgen Schlichting [Allemagne] ; Hartmut Katscher [Allemagne] | Silicon Carbide, SiC |
00EA38 |
G. Kreysa [Allemagne] | Performance criteria and nomenclature in electrochemical engineering |
00EC97 |
Hartwig Meissner [Allemagne] ; Richard J. Fatemen [États-Unis] ; K. D. Graf [Allemagne] ; K. A. Keil [Allemagne] ; H. Lothe [Allemagne] ; Guy Noel [Belgique] ; Donald L. Alderman [États-Unis] ; Rul Guzenhaeuser [Allemagne] ; D. C. Johnson [Royaume-Uni] ; Claudette Vieules [France] ; Andrew R. Molnar [États-Unis] ; Andrea A. Disessa [États-Unis] ; Marilyn N. Suydam [États-Unis] ; Alexander Wynands [Allemagne] | Technology |
00ED04 |
Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne] | On hierarchies of abstract data types |
00ED06 |
Harald Ganzinger [Allemagne] | Modular compiler descriptions based on abstract semantic data types (Extended Abstract) |
00ED21 |
Donald Sannella [Royaume-Uni] ; Martin Wirsing [Allemagne] | A kernel language for algebraic specification and implementation extended abstract |
00ED63 |
Hans-Werner Hein [Allemagne] | The Erlangen Speech Understanding Project |
00ED64 |
Günther Ruske [Allemagne] ; Thomas Schotola [Allemagne] | The Efficiency of Demisyllable Segmentation in the Recognition of Spoken Words |
00ED77 |
Manfred Broy [Allemagne] ; Martin Wirsing [Allemagne] | Partial abstract types |
00ED83 |
R. Burkhardt [Allemagne] ; R. Bartl [Allemagne] ; B. Frisch [Israël] ; K. J Ger [Allemagne] ; G. Mahl [Allemagne] ; W. Hill [Allemagne] ; G. Kettner [Allemagne] ; F. Bonnel [France] ; J. Teissier [France] ; Y. Allieu [France] ; A. Cazelas [France] ; T. Farkas [Hongrie] ; I. Zimmermann [Hongrie] ; P. Siko [Hongrie] ; T. Viola [Hongrie] ; D. Robles Marin ; R. Broseta ; J. L. Berlanga ; M. Aranda ; M. Marti ; P. Andreu ; Gwo Jaw Wang [États-Unis] ; S. L. Hubbard [États-Unis] ; S. I. Regor [États-Unis] ; E. D. Miller [États-Unis] ; W. G. Stamp [États-Unis] ; G. J. Wang [États-Unis] ; G. J. Rawles [États-Unis] ; J. B. Paolaggi [France] ; J. M. Le Parc [France] ; M. Durigon [France] ; D. Barres [France] ; F. Paolaggi [France] ; F. Blotman [France] ; C. Colette [France] ; L. Monnier [France] ; P. Baldet [France] ; L. Simon [France] ; G. Bouteiller [France] ; J. Arlet [France] ; A. Blasco ; F. Vigoni ; A. Eleftérion ; A. Trias [Canada] ; L. Téot [Canada] ; L. Tétreault [Canada] ; J. Pooley [Royaume-Uni] ; D. N. Walder [Royaume-Uni] ; P. Griss [Allemagne] ; M. Mohr [Allemagne] ; Y. Ishida [Allemagne] ; A. Gaucher [France] ; A. Bertrand [France] ; P. Wiederkehr [France] ; C. Hocquard [France] ; P. Raul [France] ; J. Adolphe [France] ; D. Mess [États-Unis] ; D. Pavel [États-Unis] ; R. Barmada [États-Unis] ; F. Schuind [Belgique] ; A. Schoutens ; W. Verhas ; A. Verschaeren [Belgique] ; J. P. Steib [France] ; G. Lang [France] ; B. Moysses [France] ; K. Kleinklaus [France] ; M. Ram [Suisse] ; J. Theron [France] ; M. Collette [Belgique] ; P. Ficat [France] ; R. Durroux [France] ; E. Horvath [France] ; M. Boussaton [France] ; J. N. Senie [France] ; M. Brookes [Royaume-Uni] ; F. W. Heatley [Royaume-Uni] ; J. F. Connoily [États-Unis] ; D. Chakkalakal [États-Unis] ; M. Kelbel [États-Unis] ; U. Pfister [Allemagne] ; P. J. Gregg [Royaume-Uni] ; C. B. Clayton [Royaume-Uni] ; G. K. Ions [Royaume-Uni] ; S. R. Smith [Royaume-Uni] ; H. Schmelzeisen [Allemagne] ; S. M. Perren [Allemagne] ; B. Rahn [Allemagne] ; T. Albrektsson [Suède] ; T. Albrektsson [Suède] ; I. D. Mccarthy [Royaume-Uni] ; S. P. F. Hughes [Royaume-Uni, États-Unis] ; P. Tothill [Royaume-Uni] ; G. Hooper [Royaume-Uni] ; E. T Ndevold [Danemark] ; J. Bülow [Danemark] ; T. R. Light [États-Unis] ; M. R. Mckinstry ; J. Schnitzer ; J. Ogden [États-Unis] ; P. Vicente [Canada] ; M. A. Gunst [Suisse] ; B. A. Rahn [Suisse] ; U. Lüthy [Suisse] ; S. M. Perren [Suisse] ; I. Mccarthy [Royaume-Uni] ; R. Wootton [Royaume-Uni] ; C. Arnoldi [Danemark] ; C. Bünger [Danemark] ; L. Kery ; M. F. Driessens [Belgique, Suède] ; G. Mortier [Belgique, Suède] ; P. M. Vanhoutte [Belgique] ; M. A. Tran [France] ; Dang Tran Lac [France] ; M. Berlan [France] ; S. Solomon [Afrique du Sud] ; C. M. Schnitzler [Afrique du Sud] ; H. Seftel [Afrique du Sud] ; D. Mendelsohn [Afrique du Sud] ; H. Kundig [Afrique du Sud] ; J. P. Van Vuren [Afrique du Sud] ; R. K. Spence [États-Unis] ; A. Alavi [États-Unis] ; C. F. Barker [États-Unis] ; R. G. Grossman [États-Unis] ; B. Slaven [États-Unis] ; M. E. Steinberg [États-Unis] ; J. Lane [États-Unis] ; J. Benoit [France] ; H. Danon [France] ; A. Lortat-Jacob [France] ; J. Y. Dupont [France] ; M. Durigon [France] ; J. D. Spencer [Royaume-Uni] ; R. Cabannes [Côte d'Ivoire] ; F. Sombo [Côte d'Ivoire] ; E. T. Habermann [Canada] ; M. A. Hartzband [États-Unis] ; H. Zollinger [Suisse] ; St. Kubik [Suisse] ; A. Schreiber [Suisse] ; Ch. Fauchier [France] ; F. Jacqueline [France] ; W. Remagen [Suisse] ; J. M. Saint-André [France] ; T. Vizkelety [Hongrie] ; A. J. Malcolm [Royaume-Uni] ; E. Warda [Pologne] ; P. C. Dell [États-Unis] ; H. Burchardt [États-Unis] ; U. K. Luethi ; R. D. Stroud ; B. A. Rahn ; S. A. Brown ; G. Bauer [Suède] ; L. I. Hanson [Suède] ; J. Palmer [Suède] ; B. Stromqvist [Suède] ; G. D. Hayken [États-Unis] ; D. R. Steinberg [États-Unis] ; J. M. Baixe [France] ; C. T. Brighton [États-Unis] ; S. E. Tooze [États-Unis] ; C. A. L. Bassett [États-Unis] ; M. M. Schink [États-Unis] ; S. N. Mitchell [États-Unis] ; H. Judet [France] ; A. Gilbert [France] ; J. Jude [France] ; H. B. Skinner [États-Unis] ; A. R. Penix [États-Unis] ; S. D. Cook [États-Unis] ; R. J. Haddad Jr. [États-Unis] ; C. Nedjar [France] ; C. Ficat [France] ; P. P. G. Blockx [Belgique] ; C. H. Bauer [Suède] ; J. L. Décamps ; E. H. Bünger [Danemark] ; J. Bülow [Danemark] ; J. C. Djurhuus [Danemark] ; D. Chappard [France] ; J. L. Laurent [France] ; C. Alexandre [France] ; G. Riffat [France] ; S. B. Christensen [Danemark] ; I. Reimann [Danemark] ; O. Henriksen [Danemark] ; J. L. Berlabga ; Y. Andrianne [Belgique] ; F. Burny [Belgique] ; M. Donkerwolcke [Belgique] ; O. Saric [Belgique] ; Taberly [France] ; Pradere [France] ; Regis [France] ; Bru [France] ; Bouzet [France] ; Mazières [France] ; Arlet [France] | International Symposium on bone vascularization |
00ED91 |
Martin Wirsing [Allemagne] ; Manfred Broy [Allemagne] | An Analysis of Semantic Models for Algebraic Specifications |
00ED93 |
Wolfgang J. Hess [Allemagne] | Algorithms and Devices for Pitch Determination of Speech Signals |
00ED96 |
Bernd Lochschmidt [Allemagne] | Acoustic-Phonetic Analysis Based on an Articulatory Model |
00EE29 |
J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni] | On the power of algebraic specifications |
00EE81 |
Peter Schefe [Allemagne] | On foundations of reasoning with uncertain facts and vague concepts |
00EE95 |
M. Broy [Allemagne] ; M. Wirsing [Allemagne] ; J. P. Finance [France] ; A. Quéré [France] ; J. L. Remy [France] | Methodical solution of the problem of ascending subsequences of maximum length within a given sequence |
00EF35 |
Horst Sadlo [Allemagne] ; Wolfgang Kraus [Allemagne] | Die isomeren bicyclo[4.2.1]nonen-(3)-ole-(2)und bicyclo[4.2.1]-nonanole-(2) |
00EF96 |
Robert W. Hartle [États-Unis] ; Stewart Umphrey [États-Unis] ; Susan Snow Lukesh [États-Unis] ; Larry J. Murphy ; K. Alber [Allemagne] ; Raoul N. Smith ; Robert D. Hume [États-Unis] ; Ben Ross Schneider [États-Unis] | Reviews |
00EF98 |
G. K. Shenoy [France] ; J. M. Friedt [France] ; H. Maletta [Allemagne] ; S. L. Ruby [États-Unis] | Curve Fitting and the Transmission Integral: Warnings and Suggestions |
00F033 |
G. Roussy [France] ; J. Demaison [France] ; I. Botskor [Allemagne] ; H. D. Rudolph [Allemagne] | Microwave spectrum of one rotamer of allylamine |
00F061 |
Udo K. Haack [Allemagne, États-Unis] | Spurenelemente in Biotiten aus Graniten und Gneisen |
00F108 |
A. Oksche [Allemagne, Australie] ; Donald S. Farner [Allemagne, Australie] ; D. L. Serventy [Allemagne, Australie] ; Frank Wolff [Allemagne, Australie] ; C. A. Nicholls [Allemagne, Australie] | The hypothalamo-hypophysial neuro secretory system of the zebra finch, Taeniopygia castanotis |