Towards a Session Logic for Communication Protocols
Craciun, Florin, Kiss, Tibor, Costea, Andreea
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Published in 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) (01.12.2015)
Get full text
Conference Proceeding
CHROMIUM (VI) INDUCED INHIBITION OF PHOTOSYNTHESIS AND GROWTH IN DUCKWEED
OLÁH, Viktor, SZŐLLŐSI, Erzsébet, VARGA, Éva, KISS, Tibor
Published in Cereal research communications (01.01.2008)
Published in Cereal research communications (01.01.2008)
Get full text
Journal Article
NOVEL PROCESSES FOR THE PREPARATION OF PROSTAGLANDIN AMIDES
KARDOS, ZSUZSANNA, BODIS, ADAM, BISCHOF, ZOLTAN, KISS, TIBOR, HORTOBAGYI, IREN, HAVASI, GABOR, LASZLOFI, ISTVAN
Year of Publication 26.09.2023
Get full text
Year of Publication 26.09.2023
Patent
Monitoring and Controlling System for Microservers
Doering, Andreas C., Kiss, Tibor
Published in 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (01.05.2013)
Published in 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (01.05.2013)
Get full text
Conference Proceeding
Verification of protocol specifications with Separation Logic
Kiss, Tibor, Craciun, Florin, Parv, Bazil
Published in 2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) (01.09.2015)
Published in 2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) (01.09.2015)
Get full text
Conference Proceeding
Driver stand of a track-bound vehicle, in particular of a rail vehicle
DITTRICH, JOCHEN, KISS, TIBOR, ZIESCH, MIRKO, VIETZE, JAN, KOBEL, SVEN, BAHR, HANS RUPRECHT, SELZER, REINHARD, HORN, HEINZ-JÜRGEN
Year of Publication 11.07.2022
Get full text
Year of Publication 11.07.2022
Patent