( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards end-user adaptable model versioning: The By-Example Operation Recorder.

, , , и . CVSM@ICSE, стр. 55-60. IEEE Computer Society, (2009)

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.

Martina Seidl

Maximilian Seidl

Zeitliche Charakterisierung der insulinabhängigen Tyrosinphosphorylierung des Insulinrezeptors, IRS 1 und der PI3-Kinasebindung in primären Maushepatocyten. Uni Freiburg, (2009)

Anni Seidl

Josef Seidl

Ursula Seidl

 

Другие публикации лиц с тем же именем

Colex: a web-based collaborative conflict lexicon., , , , и . IWMCP@ICMT, стр. 42-49. ACM, (2010)Towards end-user adaptable model versioning: The By-Example Operation Recorder., , , и . CVSM@ICSE, стр. 55-60. IEEE Computer Society, (2009)Booleguru, the Propositional Polyglot (Short Paper)., , и . IJCAR (1), том 14739 из Lecture Notes in Computer Science, стр. 315-324. Springer, (2024)QBFFam: A Tool for Generating QBF Families from Proof Complexity., , , и . SAT, том 12831 из Lecture Notes in Computer Science, стр. 21-29. Springer, (2021)From Decision Models To User-Guiding Configurators Using SMT., , и . VaMoS, стр. 11-16. ACM, (2024)QRAT Polynomially Simulates ∀ -Exp+Res., и . SAT, том 11628 из Lecture Notes in Computer Science, стр. 193-202. Springer, (2019)A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas., , и . FTSCS, том 1165 из Communications in Computer and Information Science, стр. 127-132. Springer, (2019)QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers., , и . PAAR@IJCAR, том 3201 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Solver for QBFs in Nonprenex Form: Overview and Experimental Results, , и . Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)Quantifier Shifting for Quantified Boolean Formulas Revisited., , , и . IJCAR (1), том 14739 из Lecture Notes in Computer Science, стр. 325-343. Springer, (2024)