PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Podelski, Andreas"

Author of the publication

copydeleteadd this publication to your clipboard
Shape-based Barrier Estimation for RNAs.

, , , , and . GCB, volume P-173 of LNI, page 41-50. GI, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , and . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Junior-Prof. Dr.-Ing. Andreas Pott

Andreas Kaufmann

Andreas Pahler University of Stuttgart

Hon. -Prof. Dr. -Ing. Andreas Pott University of Stuttgart

 

Other publications of authors with the same name

A Geometrical View of the Determinization and Minimization of Finite-State Automata., , and . Mathematical Systems Theory, 24 (2): 117-146 (1991)Towards successful subcontracting for software in small to medium-sized enterprises., , , , , , , , and . RELAW, page 42-51. IEEE Computer Society, (2012)Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH., , , and . Requir. Eng., 17 (1): 19-33 (2012)On Verifying Complex Properties using Symbolic Shape Analysis, , , , and . CoRR, (2006)Termination Analysis by Learning Terminating Programs., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 797-813. Springer, (2014)A Tree-Based Approach to Data Flow Proofs., , and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 1-16. Springer, (2018)Constraint Database Models Characterizing Timed Bisimilarity., and . PADL, volume 1990 of Lecture Notes in Computer Science, page 245-258. Springer, (2001)Towards a Meaning of LIFE., and . PLILP, volume 528 of Lecture Notes in Computer Science, page 255-274. Springer, (1991)long version: JLP 16(3&4): 195-234.Automated Program Verification., , , , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 25-46. Springer, (2015)Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs., , and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 177-192. Springer, (1999)