Ident. | Authors (with country if any) | Title |
---|
000098 (2016) |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Validation of Formal Specifications through Transformation and Animation |
000109 (2016) |
Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Refinement-based Validation of Event-B Specifications |
000658 (2015-01-08) |
Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France] | Observation-Level-Driven Formal Modeling |
000866 (2014-11-30) |
Manu J. Dubin ; Pei Zhang [République populaire de Chine] ; Dazhe Meng [République populaire de Chine] ; Marie-Stanislas Remigereau ; Edward J. Osborne ; Francesco Paolo Casale ; Philipp Drewe ; André Kahles ; Géraldine Jean [France] ; Bjarni Vilhjálmsson ; Joanna Jagoda ; Selen Irez ; Viktor Voronin [Autriche] ; Qiang Song [Canada] ; Quan Long [France] ; Gunnar R Tsch ; Oliver Stegle ; Richard M. Clark [États-Unis] ; Magnus Nordborg | DNA methylation in Arabidopsis has a genetic basis and shows evidence of local adaptation. |
000949 (2014-09-14) |
Emmanuel Vincent [France] ; Aggelos Gkiokas [Grèce] ; Dominik Schnitzer [Autriche] ; Arthur Flexer [Autriche] | An investigation of likelihood normalization for robust ASR |
000962 (2014-09-06) |
Thanh Phuong Nguyen [France] ; Antoine Manzanera [France] ; Walter G. Kropatsch [Autriche] | Impact of topology-related attributes from Local Binary Patterns on texture classification |
000B03 (2014-06-16) |
Ngoc Chan Nguyen [France] ; Karn Yongsiriwit [France] ; Walid Gaaloul [France] ; Jan Mendling [Autriche] | Mining Event Logs to Assist the Development of Executable Process Variants |
000E03 (2014) |
Antoine Liutkus [France] ; David Martina [France] ; Sébastien Popoff [France] ; Gilles Chardon [France, Autriche] ; Ori Katz [France] ; Geoffroy Lerosey [France] ; Sylvain Gigan [France] ; Laurent Daudet [France] ; Igor Carron | Imaging With Nature: Compressive Imaging Using a Multiply Scattering Medium |
001201 (2013-06) |
Bernadette Charron-Bost [France] ; Stephan Merz [France] ; Andrey Rybalchenko [Allemagne] ; Josef Widder [Autriche] | Formal Verification of Distributed Algorithms |
001360 (2013) |
Guillaume Melquiond [France] ; W. Georg Nowak [Autriche] ; Paul Zimmermann [France] | Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819... |
001457 (2013) |
Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France] | Understanding Resolution Proofs through Herbrand’s Theorem |
001471 (2013) |
Cynthia Kop [Autriche] ; Naoki Nishida [Japon] | Term Rewriting with Logical Constraints |
001483 (2013) |
Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche] | Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures |
001506 (2013) |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Realizing Elastic Processes with ViePEP |
001545 (2013) |
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 |
001566 (2013) |
Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche] | Introducing the Vienna Platform for Elastic Processes |
001574 (2013) |
Agata Ciabattoni [Autriche] ; Paolo Maffezioli [Pays-Bas] ; Lara Spendier [Autriche] | Hypersequent and Labelled Calculi for Intermediate Logics |
001617 (2013) |
Joseph Boudou [France, Niger] ; Bruno Woltzenlogel Paleo [Autriche] | Compression of Propositional Resolution Proofs by Lowering Subproofs |
001797 (2012-12-17) |
Fdhila Walid [Autriche] ; Rinderle-Ma Stefanie [Autriche] ; Aymen Baouab [France] ; Olivier Perrin [France] ; Claude Godart [France] | On Evolving Partitioned Web Service Orchestrations |
001845 (2012-11-21) |
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) |
001E16 (2012) |
Sarah Winkler [Autriche] ; Haruhiko Sato [Japon] ; Aart Middeldorp [Autriche] ; Masahito Kurihara [Japon] | Multi-Completion with Termination Tools |
002434 (2011-03-04) |
Maria Alduan ; Federico Alvarez ; Jan Bouwen [Autriche] ; Gonzalo Camarillo ; Pablo Cesar [Pays-Bas] ; Pedros Daras ; Olivier Festor [France] ; Ebroul Izquierdo ; Nikos Laoutaris ; Amar-Djalil Mezaour [France] ; Paul Moore ; Giovanni Pau ; George Pavlou [Royaume-Uni] ; Tomas Piatrik ; Sergios Soursos ; Thomas Steiner ; Christian Timmerer [Autriche] ; Thanasis Tsiodras ; Theodore Zahariadis | Future Media Internet Architecture Reference Model (v1.0) |
002538 (2011) |
Michael Stollberg [Irlande (pays)] ; Joerg Hoffmann [France] ; Dieter Fensel [Autriche] | A caching technique for optimizing automated service discovery |
002609 (2011) |
Manfred Kerber [Royaume-Uni] ; Colin Rowat [Royaume-Uni] ; Wolfgang Windsteiger [Autriche] | Using Theorema in the Formalization of Theoretical Economics |
002776 (2011) |
Sarah Winkler [Autriche] ; Aart Middeldorp [Autriche] | AC Completion with Termination Tools |
002B73 (2010-07-16) |
Tsvetan Dunchev [Autriche] ; Alexander Leitsch [Autriche] ; Tomer Libal [Autriche] ; Daniel Weller [Autriche] ; Bruno Woltzenlogel Paleo [France] | System Description: The Proof Transformation System CERES |
003030 (2010) |
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 |
003047 (2010) |
Martin Avanzini [Autriche] | POP* and Semantic Labeling Using SAT |
003110 (2010) |
Guillaume Bonfante [France] ; Georg Moser [Autriche] | Characterising Space Complexity Classes via Knuth-Bendix Orders |
003112 (2010) |
Andreas Schnabl [Autriche] | Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems |
003118 (2010) |
Bruno Woltzenlogel Paleo [Autriche, France] | Atomic Cut Introduction by Resolution: Proof Structuring and Compression |
003982 (2009) |
Cas J. F. Cremers [Suisse] ; Pascal Lafourcade [France] ; Philippe Nadeau [Autriche] | Comparing State Spaces in Automatic Security Protocol Analysis |
003987 (2009) |
Ivan Švancara [République tchèque] ; Karel Vyt As [République tchèque] ; Kurt Kalcher [Autriche] ; Alain Walcarius [France] ; Joseph Wang [États-Unis] | Carbon Paste Electrodes in Facts, Numbers, and Notes: A Review on the Occasion of the 50‐Years Jubilee of Carbon Paste in Electrochemistry and Electroanalysis |
003A33 (2009) |
Hajo A. Reijers [Pays-Bas] ; Minseok Song [Pays-Bas] ; Heidi Romero [Pays-Bas] ; Umeshwar Dayal [États-Unis] ; Johann Eder [Autriche] ; Jana Koehler [Suisse] | A Collaboration and Productiveness Analysis of the BPM Community |
004398 (2008) |
P. Wild [France] ; K. Leodolter [Autriche] ; M. Réfrégier [France] ; H. Schmidt [Autriche] ; E. Bourgkard [France] | Effects of talc dust on respiratory health: results of a longitudinal survey of 378 French and Austrian talc workers |
004409 (2008) |
Nao Hirokawa [Japon] ; Georg Moser [Autriche] | Complexity, Graphs, and the Dependency Pair Method |
004B68 (2007) |
Nachum Dershowitz [Israël] ; Georg Moser [Autriche] | The Hydra Battle Revisited |
004B72 (2007) |
A. Kandelbauer [Autriche] ; A. Despres [France] ; A. Pizzi [France] ; I. Taudes [Autriche] | Testing by fourier transform infrared species variation during melamine–urea–formaldehyde resin preparation |
004B84 (2007) |
Jorge Coelho [Portugal] ; Mário Florido [Portugal] ; Temur Kutsia [Autriche] | Sequence Disunification and Its Application in Collaborative Schema Construction |
004C18 (2007) |
Claudia Stöllberger [Autriche] ; Josef Finsterer [Autriche] | Noncompaction in Melnick Fraser Syndrome |
005356 (2006) |
Johann Eder [Autriche] ; Wolfgang Gruber ; Horst Pichler | Transforming Workflow Graphs |
005360 (2006) |
Gerhard Kramler [Autriche] ; Elisabeth Kapsammer [Autriche] ; Werner Retschitzegger [Autriche] ; Gerti Kappel [Autriche] | Towards Using UML 2 for Modelling Web Service Collaboration Protocols |
005460 (2006) |
Harald Kühn [Autriche] ; Marion Murzek [Autriche] | Interoperability Issues in Metamodelling Platforms |
005461 (2006) |
Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche] | Interoperability Contributions of CrossWork |
005800 (2006) |
Johann Eder [Autriche] ; Schahram Dustdar [Autriche] ; Tom Davenport ; Selma L. Mansar ; Hajo Reijers ; Michael Rosemann ; Ton Weijters [Pays-Bas] ; Malu Castellanos ; Domenico Sacca ; Nacer Boudjlida [France] ; Hervé Panetto [France] | BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Springer Verlag, Lecture Notes in Computer Science, September, LNCS 4103 |
006B22 (2004) |
Stephan Schulz [Autriche, Allemagne] | System Description: E 0.81 |
006B33 (2004) |
Georg Gottlob [Autriche] | Second-Order Logic over Finite Structures – Report on a Research Programme |
006C07 (2004) |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
007960 (2003) |
Karim Baïna [France] ; Schahram Dustdar [Autriche] | Web-Services Coordination Model |
007A26 (2003) |
Birgit Stehno [Autriche] ; Gregor Retti [Autriche] | Modelling the logical structure of books and journals using augmented transition network grammars |
007A58 (2003) |
Andreas Holzinger [Autriche] | Finger Instead of Mouse: Touch Screens as a Means of Enhancing Universal Access |