no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- imported
- verification
- infinite_state
- book
- coverability
- symbolic
- Matts_biblio
- algorithm
- v1205
- parameterized
- semantics
- Cooking
- ecology
- wsts
- KnowHow
- petri
- interaction
- interface
- decision_procedure
- ontology
- Imtm-Bibliothek
- language
- ai
- design
- heuristic
- crust
- user
- geophysics
- java
- Book
- Mensch-Maschine-Schnittstellen
- analysis
- decidability
- concurrent
- Benutzerschnittstelle
- processing
- No matching items.
- Sergei Nirenburg, and Victor Raskin. MIT Press, Cambridge, MA, (2004)Sergei Nirenburg, and Victor Raskin. MIT Press, Cambridge, MA, (2004)a month and 5 days agoby flint633
- Victor Raskin, Julia M. Taylor, and Christian Hempelmann. Advanced Engineering Informatics 27(1):4-12 (2013)Victor Raskin, Julia M. Taylor, and Christian Hempelmann. Advanced Engineering Informatics 27(1):4-12 (2013)2 months and 25 days agoby dblp1
- Yong Zeng, Kyoung-Yun Kim, Victor Raskin, Benjamin C. M. Fung, and Yoshinobu Kitamura. Advanced Engineering Informatics 27(1):1-3 (2013)Yong Zeng, Kyoung-Yun Kim, Victor Raskin, Benjamin C. M. Fung, and Yoshinobu Kitamura. Advanced Engineering Informatics 27(1):1-3 (2013)2 months and 25 days agoby dblp1
- Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, and Jean-François Raskin. TACAS, volume 7795 of Lecture Notes in Computer Science, page 169-184. Springer, (2013)Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, and Jean-François Raskin. TACAS, volume 7795 of Lecture Notes in Computer Science, page 169-184. Springer, (2013)3 months and 3 days agoby dblp1
- Gilles Geeraerts, Alexander Heußner, M. Praveen, and Jean-François Raskin. CoRR (2013)Gilles Geeraerts, Alexander Heußner, M. Praveen, and Jean-François Raskin. CoRR (2013)3 months and 20 days agoby dblp1
- Julia M. Taylor, Victor Raskin, and Lauren M. Stuart. SMC, page 1130-1135. IEEE, (2012)Julia M. Taylor, Victor Raskin, and Lauren M. Stuart. SMC, page 1130-1135. IEEE, (2012)5 months and 5 days agoby dblp1
- Julia M. Taylor, and Victor Raskin. SMC, page 2638-2643. IEEE, (2012)Julia M. Taylor, and Victor Raskin. SMC, page 2638-2643. IEEE, (2012)5 months and 5 days agoby dblp1
- Ji Hyeon Hong, Byung-Cheol Min, Julia M. Taylor, Victor Raskin, and Eric T. Matson. SMC, page 1461-1466. IEEE, (2012)Ji Hyeon Hong, Byung-Cheol Min, Julia M. Taylor, Victor Raskin, and Eric T. Matson. SMC, page 1461-1466. IEEE, (2012)5 months and 5 days agoby dblp1
- Lauren M. Stuart, Julia M. Taylor, and Victor Raskin. SMC, page 1984-1989. IEEE, (2012)Lauren M. Stuart, Julia M. Taylor, and Victor Raskin. SMC, page 1984-1989. IEEE, (2012)5 months and 5 days agoby dblp1
- Christian Hempelmann, Victor Raskin, and Katrina E. Triezenberg. FLAIRS Conference, page 746-751. AAAI Press, (2006)Christian Hempelmann, Victor Raskin, and Katrina E. Triezenberg. FLAIRS Conference, page 746-751. AAAI Press, (2006)5 months and 10 days agoby dblp1
- Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, and James Worrell. CoRR (2012)Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, and James Worrell. CoRR (2012)5 months and 22 days agoby dblp1
- Victor Raskin, Julia M. Taylor, and Christian Hempelmann. NSPW, page 115-128. ACM, (2010)Victor Raskin, Julia M. Taylor, and Christian Hempelmann. NSPW, page 115-128. ACM, (2010)6 months and 9 days agoby dblp1
- Natural language processing for information assurance and security: an overview and implementations.Mikhail J. Atallah, Craig J. McDonough, Victor Raskin, and Sergei Nirenburg. NSPW, page 51-65. ACM, (2000)Mikhail J. Atallah, Craig J. McDonough, Victor Raskin, and Sergei Nirenburg. NSPW, page 51-65. ACM, (2000)6 months and 10 days agoby dblp1
- Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents.Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, and Laurent Van Begin. Technique et Science Informatiques 28(9):1107-1142 (2009)Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, and Laurent Van Begin. Technique et Science Informatiques 28(9):1107-1142 (2009)6 months and 16 days agoby dblp1
- Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, and Jean-François Raskin. CoRR (2012)Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, and Jean-François Raskin. CoRR (2012)6 months and 21 days agoby dblp1
- Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, and Pierre-Alain Reynier. ATVA, volume 7561 of Lecture Notes in Computer Science, page 223-237. Springer, (2012)Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, and Pierre-Alain Reynier. ATVA, volume 7561 of Lecture Notes in Computer Science, page 223-237. Springer, (2012)7 months agoby dblp2
- Gilles Geeraerts, Alexander Heußner, and Jean-François Raskin. CoRR (2012)Gilles Geeraerts, Alexander Heußner, and Jean-François Raskin. CoRR (2012)7 months agoby dblp1
- Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, and Jean-François Raskin. CoRR (2012)Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, and Jean-François Raskin. CoRR (2012)7 months agoby dblp1
- Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, and Pierre-Alain Reynier. CoRR (2012)Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, and Pierre-Alain Reynier. CoRR (2012)7 months agoby dblp2
- Krishnendu Chatterjee, Mickael Randour, and Jean-François Raskin. CoRR (2012)Krishnendu Chatterjee, Mickael Randour, and Jean-François Raskin. CoRR (2012)7 months agoby dblp2