( en | de | ru )

 

Disambiguation of "Kofron, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Using linear algebra in decomposition of Farkas interpolants.

, , , and . Int. J. Softw. Tools Technol. Transf., 24 (1): 111-125 (2022)

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.

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

Other publications of authors with the same name

Decomposing Farkas Interpolants., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 3-20. Springer, (2019)Framework for Static Analysis of PHP Applications (Artifact)., and . Dagstuhl Artifacts Ser., 1 (1): 11:1-11:2 (2015)Using linear algebra in decomposition of Farkas interpolants., , , and . Int. J. Softw. Tools Technol. Transf., 24 (1): 111-125 (2022)On interpolants and variable assignments., , , and . FMCAD, page 123-130. IEEE, (2014)Statistical Approach to Architecture Modes in Smart Cyber Physical Systems., , , , and . WICSA, page 168-177. IEEE Computer Society, (2016)Checking software component behavior using behavior protocols and spin.. SAC, page 1513-1517. ACM, (2007)AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention., , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)Project Deliverable D6.1: Method and Abstract Workflow, , , , , , , , , and 2 other author(s). (November 2010)A guide to design uncertainty-aware self-adaptive components in Cyber-Physical Systems., , , and . Future Gener. Comput. Syst., (2022)Evolving SOA in the Q-ImPrESS Project., and . WADT, volume 7137 of Lecture Notes in Computer Science, page 25-26. Springer, (2010)