On the Satisfiability of Some Simple Probabilistic Logics
Chakraborty, Souymodip, Katoen, Joost-Pieter
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Get full text
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Conference Proceeding
On the Satisfiability of Some Simple Probabilistic Logics
Chakraborty, Souymodip, Katoen, Joost-Pieter
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Modelling and statistical model checking of a microgrid
Chakraborty, Souymodip, Katoen, Joost-Pieter, Sher, Falak, Strelec, Martin
Published in International journal on software tools for technology transfer (01.08.2015)
Published in International journal on software tools for technology transfer (01.08.2015)
Get full text
Journal Article
COLLABORATIVE EDITING OF VECTOR GRAPHICS
Kevin Wampler, Vishwas Jain, Souymodip Chakraborty, Ankit Phogat, Vineet Batra
Year of Publication 08.08.2024
Get full text
Year of Publication 08.08.2024
Patent
Collaborative editing of vector graphics
Kevin Wampler, Vishwas Jain, Souymodip Chakraborty, Ankit Phogat, Vineet Batra
Year of Publication 31.07.2024
Get full text
Year of Publication 31.07.2024
Patent
COLLABORATIVE EDITING OF VECTOR GRAPHICS
Jain, Vishwas, Phogat, Ankit, Chakraborty, Souymodip, Wampler, Kevin, Batra, Vineet
Year of Publication 25.07.2024
Get full text
Year of Publication 25.07.2024
Patent
Nonlinear representations for vector objects
Jain, Vishwas, Wampler, Kevin John, Phogat, Ankit, Chakraborty, Souymodip, Batra, Vineet
Year of Publication 10.09.2024
Get full text
Year of Publication 10.09.2024
Patent
RECONSTRUCTING GENERAL RADIAL GRADIENTS
Lukac, Michal, Phogat, Ankit, Chakraborty, Souymodip, Fisher, Matthew David, Batra, Vineet
Year of Publication 09.05.2024
Get full text
Year of Publication 09.05.2024
Patent
NONLINEAR REPRESENTATIONS FOR VECTOR OBJECTS
Jain, Vishwas, Wampler, Kevin John, Phogat, Ankit, Chakraborty, Souymodip, Batra, Vineet
Year of Publication 25.04.2024
Get full text
Year of Publication 25.04.2024
Patent
RECONSTRUCTING LINEAR GRADIENTS
CHAKRABORTY, Souymodip, BATRA, Vineet, PHOGAT, Ankit, FISHER, Matthew David, LUKÁC, Michal
Year of Publication 14.03.2024
Get full text
Year of Publication 14.03.2024
Patent
RECONSTRUCTING CONCENTRIC RADIAL GRADIENTS
Lukac, Michal, Phogat, Ankit, Chakraborty, Souymodip, Fisher, Matthew David, Batra, Vineet
Year of Publication 07.03.2024
Get full text
Year of Publication 07.03.2024
Patent
Gemeinschaftliche Bearbeitung von Vektorgrafiken
Jain, Vishwas, Phogat, Ankit, Chakraborty, Souymodip, Wampler, Kevin, Batra, Vineet
Year of Publication 25.07.2024
Get full text
Year of Publication 25.07.2024
Patent