Search - IFIP - Lecture Notes in Computer Science

	For these 25 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Approximate Coalgebra Homomorphisms and Approximate Solutions Jiří Adámek 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.11-31, ⟨10.1007/978-3-030-57201-3_2⟩ Conference papers hal-03232353v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Navigation Problems in Blind-to-Blind Pedestrians Tele-assistance Navigation Jan Balata , Zdenek Mikovec , Ivo Maly 15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.89-109, ⟨10.1007/978-3-319-22701-6_8⟩ Conference papers hal-01599634v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Distributed Self-organized Collaboration of Autonomous IDS Sensors Karel Bartos , Martin Rehak 6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.113-117, ⟨10.1007/978-3-642-30633-4_14⟩ Conference papers hal-01529785v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		NETWORKING 2012 Workshops Zdenek Becvar , Robert Bestak , Lukas Kencl Springer, LNCS-7291, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30039-4⟩ Books hal-01533589v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		NETWORKING 2012 Robert Bestak , Lukas Kencl , Li Erran Li , Joerg Widmer , Hao Yin Springer, LNCS-7289, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30045-5⟩ Books hal-01531131v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		NETWORKING 2012 Robert Bestak , Lukas Kencl , Li Erran Li Erran , Joerg Widmer , Hao Yin Springer, LNCS-7290, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30054-7⟩ Books hal-01531967v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Change Detection System for the Maintenance of Automated Testing Miroslav Bures 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.192-197, ⟨10.1007/978-3-662-44857-1_15⟩ Conference papers hal-01405287v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Preserving Relations in Parallel Flow Data Processing Tomáš Čejka , Martin Žádnik 11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.153-156, ⟨10.1007/978-3-319-60774-0_14⟩ Conference papers hal-01806065v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Analysis of Vertical Scans Discovered by Naive Detection Tomas Cejka , Marek Svepes 10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.165-169, ⟨10.1007/978-3-319-39814-3_19⟩ Conference papers hal-01632742v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Using Application-Aware Flow Monitoring for SIP Fraud Detection Tomas Cejka , Vaclav Bartos , Lukas Truxa , Hana Kubatova 9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.87-99, ⟨10.1007/978-3-319-20034-7_10⟩ Conference papers hal-01410154v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Perception of Tactile Symbols by Visually Impaired Older Adults Vojtech Gintner , Miroslav Macik , Zdenek Mikovec 17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.325-334, ⟨10.1007/978-3-030-29381-9_20⟩ Conference papers hal-02544568v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Hunting SIP Authentication Attacks Efficiently Tomáš Jansky , Tomáš Čejka , Václav Bartoš 11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.125-130, ⟨10.1007/978-3-319-60774-0_9⟩ Conference papers hal-01806064v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		State Machine Abstraction Layer Josef Kufner , Radek Mařík 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.213-227, ⟨10.1007/978-3-642-55032-4_21⟩ Conference papers hal-01397199v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Self-generating Programs – Cascade of the Blocks Josef Kufner , Radek Mařík 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.199-212, ⟨10.1007/978-3-642-55032-4_20⟩ Conference papers hal-01397196v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Interactive Modular Tactile Maps of Rooms for Older Adults with Vision Impairments Miroslav Macik , Tomas Ivanic , Lukas Treml 18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.321-330, ⟨10.1007/978-3-030-85623-6_20⟩ Conference papers hal-04330970v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Breathing Friend: Tackling Stress Through Portable Tangible Breathing Artifact Miroslav Macik , Katerina Prazakova , Anna Kutikova , Zdenek Mikovec , Jindrich Adolf , et al. 16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.106-115, ⟨10.1007/978-3-319-68059-0_6⟩ Conference papers hal-01679770v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Web Applications Usability Testing with Task Model Skeletons Ivo Maly , Zdenek Mikovec Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.158-165, ⟨10.1007/978-3-642-16488-0_13⟩ Conference papers hal-01055207v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On Algebras with Effectful Iteration Stefan Milius , Jiří Adámek , Henning Urbat 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩ Conference papers hal-02044647v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Understanding Formal Description of Pitch-Based Input Ondřej Poláček , Zdeněk Míkovec Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩ Conference papers hal-01055204v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Crowdsourcing of Accessibility Attributes on Sidewalk-Based Geodatabase Michaela Riganova , Jan Balata , Zdenek Mikovec 16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.436-440, ⟨10.1007/978-3-319-68059-0_46⟩ Conference papers hal-01679789v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Methods for Efficient Development of Task-Based Applications Vaclav Slovacek Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.206-213, ⟨10.1007/978-3-642-16488-0_18⟩ Conference papers hal-01055202v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Learning to Detect Network Intrusion from a Few Labeled Events and Background Traffic Gustav Šourek , Ondřej Kuželka , Filip Železný 9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.73-86, ⟨10.1007/978-3-319-20034-7_9⟩ Conference papers hal-01410151v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On Measurement of Internal Variables of Complex Self-Organized Systems and Their Relation to Multifractal Spectra Dalibor Štys , Petr Jizba , Štěpán Papáček , Tomáš Náhlík , Petr Císař 6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.36-47, ⟨10.1007/978-3-642-28583-7_4⟩ Conference papers hal-01527539v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Making Flow-Based Security Detection Parallel Marek Švepeš , Tomáš Čejka 11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.3-15, ⟨10.1007/978-3-319-60774-0_1⟩ Conference papers hal-01806062v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Self-Balancing Job Parallelism and Throughput in Hadoop Bo Zhang , Filip Křikava , Romain Rouvoy , Lionel Seinturier 16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.129-143, ⟨10.1007/978-3-319-39577-7_11⟩ Conference papers hal-01294834v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Approximate Coalgebra Homomorphisms and Approximate Solutions

Jiří Adámek

15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.11-31, ⟨10.1007/978-3-030-57201-3_2⟩

Conference papers hal-03232353v1

Navigation Problems in Blind-to-Blind Pedestrians Tele-assistance Navigation

Jan Balata , Zdenek Mikovec , Ivo Maly

15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.89-109, ⟨10.1007/978-3-319-22701-6_8⟩

Conference papers hal-01599634v1

Distributed Self-organized Collaboration of Autonomous IDS Sensors

Karel Bartos , Martin Rehak

6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.113-117, ⟨10.1007/978-3-642-30633-4_14⟩

Conference papers hal-01529785v1

NETWORKING 2012 Workshops

Zdenek Becvar , Robert Bestak , Lukas Kencl

Springer, LNCS-7291, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30039-4⟩

Books hal-01533589v1

NETWORKING 2012

Robert Bestak , Lukas Kencl , Li Erran Li , Joerg Widmer , Hao Yin

Springer, LNCS-7289, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30045-5⟩

Books hal-01531131v1

NETWORKING 2012

Robert Bestak , Lukas Kencl , Li Erran Li Erran , Joerg Widmer , Hao Yin

Springer, LNCS-7290, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30054-7⟩

Books hal-01531967v1

Change Detection System for the Maintenance of Automated Testing

Miroslav Bures

26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.192-197, ⟨10.1007/978-3-662-44857-1_15⟩

Conference papers hal-01405287v1

Preserving Relations in Parallel Flow Data Processing

Tomáš Čejka , Martin Žádnik

11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.153-156, ⟨10.1007/978-3-319-60774-0_14⟩

Conference papers hal-01806065v1

Analysis of Vertical Scans Discovered by Naive Detection

Tomas Cejka , Marek Svepes

10th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2016, Munich, Germany. pp.165-169, ⟨10.1007/978-3-319-39814-3_19⟩

Conference papers hal-01632742v1

Using Application-Aware Flow Monitoring for SIP Fraud Detection

Tomas Cejka , Vaclav Bartos , Lukas Truxa , Hana Kubatova

9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.87-99, ⟨10.1007/978-3-319-20034-7_10⟩

Conference papers hal-01410154v1

Perception of Tactile Symbols by Visually Impaired Older Adults

Vojtech Gintner , Miroslav Macik , Zdenek Mikovec

17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.325-334, ⟨10.1007/978-3-030-29381-9_20⟩

Conference papers hal-02544568v1

Hunting SIP Authentication Attacks Efficiently

Tomáš Jansky , Tomáš Čejka , Václav Bartoš

11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.125-130, ⟨10.1007/978-3-319-60774-0_9⟩

Conference papers hal-01806064v1

State Machine Abstraction Layer

Josef Kufner , Radek Mařík

2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.213-227, ⟨10.1007/978-3-642-55032-4_21⟩

Conference papers hal-01397199v1

Self-generating Programs – Cascade of the Blocks

Josef Kufner , Radek Mařík

2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.199-212, ⟨10.1007/978-3-642-55032-4_20⟩

Conference papers hal-01397196v1

Interactive Modular Tactile Maps of Rooms for Older Adults with Vision Impairments

Miroslav Macik , Tomas Ivanic , Lukas Treml

18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.321-330, ⟨10.1007/978-3-030-85623-6_20⟩

Conference papers hal-04330970v1

Breathing Friend: Tackling Stress Through Portable Tangible Breathing Artifact

Miroslav Macik , Katerina Prazakova , Anna Kutikova , Zdenek Mikovec , Jindrich Adolf , et al.

16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.106-115, ⟨10.1007/978-3-319-68059-0_6⟩

Conference papers hal-01679770v1

Web Applications Usability Testing with Task Model Skeletons

Ivo Maly , Zdenek Mikovec

Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.158-165, ⟨10.1007/978-3-642-16488-0_13⟩

Conference papers hal-01055207v1

On Algebras with Effectful Iteration

Stefan Milius , Jiří Adámek , Henning Urbat

14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩

Conference papers hal-02044647v1

Understanding Formal Description of Pitch-Based Input

Ondřej Poláček , Zdeněk Míkovec

Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩

Conference papers hal-01055204v1

Crowdsourcing of Accessibility Attributes on Sidewalk-Based Geodatabase

Michaela Riganova , Jan Balata , Zdenek Mikovec

16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.436-440, ⟨10.1007/978-3-319-68059-0_46⟩

Conference papers hal-01679789v1

Methods for Efficient Development of Task-Based Applications

Vaclav Slovacek

Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.206-213, ⟨10.1007/978-3-642-16488-0_18⟩

Conference papers hal-01055202v1

Learning to Detect Network Intrusion from a Few Labeled Events and Background Traffic

Gustav Šourek , Ondřej Kuželka , Filip Železný

9th Autonomous Infrastructure, Management, and Security (AIMS), Jun 2015, Ghent, Belgium. pp.73-86, ⟨10.1007/978-3-319-20034-7_9⟩

Conference papers hal-01410151v1

On Measurement of Internal Variables of Complex Self-Organized Systems and Their Relation to Multifractal Spectra

Dalibor Štys , Petr Jizba , Štěpán Papáček , Tomáš Náhlík , Petr Císař

6th International Workshop on Self-Organizing Systems (IWSOS), Mar 2012, Delft, Netherlands. pp.36-47, ⟨10.1007/978-3-642-28583-7_4⟩

Conference papers hal-01527539v1

Making Flow-Based Security Detection Parallel

Marek Švepeš , Tomáš Čejka

11th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jul 2017, Zurich, Switzerland. pp.3-15, ⟨10.1007/978-3-319-60774-0_1⟩

Conference papers hal-01806062v1

Self-Balancing Job Parallelism and Throughput in Hadoop

Bo Zhang , Filip Křikava , Romain Rouvoy , Lionel Seinturier

16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.129-143, ⟨10.1007/978-3-319-39577-7_11⟩

Conference papers hal-01294834v1

Filter your results

Approximate Coalgebra Homomorphisms and Approximate Solutions

Navigation Problems in Blind-to-Blind Pedestrians Tele-assistance Navigation

Distributed Self-organized Collaboration of Autonomous IDS Sensors

NETWORKING 2012 Workshops

NETWORKING 2012

NETWORKING 2012

Change Detection System for the Maintenance of Automated Testing

Preserving Relations in Parallel Flow Data Processing

Analysis of Vertical Scans Discovered by Naive Detection

Using Application-Aware Flow Monitoring for SIP Fraud Detection

Perception of Tactile Symbols by Visually Impaired Older Adults

Hunting SIP Authentication Attacks Efficiently

State Machine Abstraction Layer

Self-generating Programs – Cascade of the Blocks

Interactive Modular Tactile Maps of Rooms for Older Adults with Vision Impairments

Breathing Friend: Tackling Stress Through Portable Tangible Breathing Artifact

Web Applications Usability Testing with Task Model Skeletons

On Algebras with Effectful Iteration

Understanding Formal Description of Pitch-Based Input

Crowdsourcing of Accessibility Attributes on Sidewalk-Based Geodatabase

Methods for Efficient Development of Task-Based Applications

Learning to Detect Network Intrusion from a Few Labeled Events and Background Traffic

On Measurement of Internal Variables of Complex Self-Organized Systems and Their Relation to Multifractal Spectra

Making Flow-Based Security Detection Parallel

Self-Balancing Job Parallelism and Throughput in Hadoop