Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
140 | Hai Liu 0012, Eric Cheng, Paul Hudak |
Causal commutative arrows and their optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 35-46, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language |
101 | Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer |
There and back again: arrows for invertible programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 86-97, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
invertible program construction, haskell, polytypic programming, arrows |
62 | G. M. Germano, Stefano Mazzanti |
Non-Deterministic Closure Theory and Universal Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 339-364, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands |
62 | Alfio Martini, Uwe Wolter |
A Single Perspective on Arrows between Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 486-501, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
52 | Rossano Barone, Peter C.-H. Cheng |
Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 333-336, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Dimiter Vakarelov |
A Modal Theory of Arrows. Arrow Logics I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 1-24, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Arrow structures, Modal logics |
45 | J. Michael Dunn |
Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Johan van Benthem on Logic and Information Dynamics ![In: Johan van Benthem on Logic and Information Dynamics, pp. 881-894, 2014, Springer, 978-3-319-06024-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski |
Miró: Visual Specification of Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(10), pp. 1185-1197, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Miro, visual specification of security, file system security, instance language, security specification problems, tools, specification languages, visual programming, security of data, constraint language, arrows, boxes |
39 | Stefano Burigat, Luca Chittaro, Silvia Gabrielli |
Visualizing locations of off-screen objects on mobile devices: a comparative evaluation of three approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 8th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2006, Helsinki, Finland, September 12-15, 2006, pp. 239-246, 2006, ACM, 1-59593-390-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
off-screen locations, visualization, mobile devices, maps |
39 | Amnon Glassner, Baruch B. Schwarz |
The Synchronous Mapping Discussions: The Effects of Floor Control in Turn-Taking and Choice of Argumentative Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 8th International Conference on Information Visualisation, IV 2004, 14-16 July 2004, London, UK, pp. 899-902, 2004, IEEE Computer Society, 0-7695-2177-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Luca Chittaro, Stefano Burigat |
3D location-pointing as a navigation aid in Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 267-274, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
evaluation, Virtual Environments, navigation aids |
39 | Laurel King |
The Relationship between Scene and Eye Movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 136, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
visual strategies, visual task, neural networks, eye tracking, human factors |
39 | M. Natchez, T. Prose |
Creating effective hypercard online documentation and training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 7th Annual International Conference on Systems Documentation, SIGDOC 1989, Pittsburgh, Pennsylvania, USA, November 8-10, 1989, pp. 41-44, 1989, ACM, 0-89791-337-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
36 | Liwen Huang, Paul Hudak, John Peterson |
HPorter: Using Arrows to Compose Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007., pp. 275-289, 2007, Springer, 978-3-540-69608-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Laurent Wendling, Salvatore Tabbone |
A New Way to Detect Arrows in Line Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 26(7), pp. 935-941, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Laurent Wendling, Salvatore Tabbone |
Recognition of Arrows in Line Drawings based on the Aggregation of Geometric Criteria using the Choquet Integral. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 299-303, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson |
Arrows, Robots, and Functional Reactive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Functional Programming ![In: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, pp. 159-187, 2002, Springer, 3-540-40132-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Ross Paterson |
A New Notation for Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001., pp. 229-240, 2001, ACM, 1-58113-415-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
36 | Barbara Tversky, Jeff Zacks, Paul U. Lee, Julie Heiser |
Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings, pp. 221-230, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Helwig Löffelmann, Lukas Mroz, M. Eduard Gröller, Werner Purgathofer |
Stream arrows: enhancing the use of stream surfaces for the visualization of dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 13(8), pp. 359-369, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Stream surfaces, Mixed-mode oscillations, Occlusion, Dynamical systems, Flow visualization |
26 | Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak |
Opis: reliable distributed systems in OCaml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 65-78, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, functional programming, arrows |
26 | Conal Elliott |
Tangible functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 59-70, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
gestural composition, end-user programming, interactive visualization, interactive programming, combinator libraries, arrows |
26 | Henrik Nilsson |
Dynamic optimization for functional reactive programming using generalized algebraic data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 54-65, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows |
26 | David F. Ferraiolo, John F. Barkley, D. Richard Kuhn |
A Role-Based Access Control Model and Reference Implementation within a Corporate Intranet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 2(1), pp. 34-64, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Web arrows, role based access, World Wide Web, access control, RBAC, authorization management |
26 | Neil A. Dodgson, Ursula H. Augsdörfer, Thomas J. Cashman 0001, Malcolm A. Sabin |
Deriving Box-Spline Subdivision Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces XIII, 13th IMA International Conference, York, UK, September 7-9, 2009, Proceedings, pp. 106-123, 2009, Springer, 978-3-642-03595-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Stoffel, Ernesto Tapia, Raúl Rojas 0001 |
Recognition of On-Line Handwritten Commutative Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 1211-1215, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kosta Dosen, Zoran Petric |
Equality of proofs for linear equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(6), pp. 549-565, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03F07, 03F52, 03G30, 18C05, 18A40, 18D10, 03F05 |
26 | Masahito Hasegawa, Martin Hofmann 0001, Gordon D. Plotkin |
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 367-385, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Takahiro Yamanoi, Hisashi Toyoshima, Toshimasa Yamazaki, Shin-ichi Ohnishi, Michio Sugeno, Elie Sanchez |
Fundamental research for brain machine interface by use of EEG from right frontal gyrus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 118-124, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
brain machine interface and micro robot, directional symbol, mental translation, EEG, discriminant analysis |
26 | Barbora Batíková |
Completion of Semi-uniform Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(5-6), pp. 483-491, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 54E15 |
26 | Marie-Renée Fleury, Myriam Quatrini |
A Mixed lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(2-3), pp. 269-294, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Typed ?-calculus, non-commutative linear logic, order varieties, series-parallel orders, normalization |
26 | Marco Grandis |
Absolute Lax 2-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(3), pp. 191-214, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 18D05, 55Pxx |
26 | Grigore Rosu |
Complete Categorical Deduction for Satisfaction as Injectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 157-172, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Tatsuya Ishihara, Hironobu Takagi, Takashi Itoh, Chieko Asakawa |
Analyzing visual layout for a non-visual presentation-document interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2006, Portland, Oregon, USA, October 23-25, 2006, pp. 165-172, 2006, ACM, 1-59593-290-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
alternative interface, metadata, diagram, visual analysis |
26 | Howard Barringer, Dov M. Gabbay, John Woods 0001 |
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 59-98, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Andrew J. Malton, Richard C. Holt |
Boxology of NBA and TA: A Basis for Understanding Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 187-195, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Luca Chittaro, Stefano Burigat |
Augmenting audio messages with visual directions in mobile guides: an evaluation of three approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 7th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2005, 2005, Salzburg, Austria, September 19-22, 2005, pp. 107-114, 2005, ACM, 1-59593-089-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
evaluation, navigation aids, mobile guides |
26 | Levent Burak Kara, Thomas F. Stahovich |
Hierarchical parsing and recognition of hand-sketched diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology, Santa Fe, NM, USA, October 24-27, 2004, pp. 13-22, 2004, ACM, 1-58113-957-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pnns, visual parsing, Simulink, symbol recognition, pen computing, sketch understanding |
26 | G. M. Germano, Stefano Mazzanti |
Cantor Diagrams: A Unifying Discussion of Self-Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(4), pp. 313-336, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Cantor diagonal method, Cantor diagrams, logical paradoxes, self-reference, incompleteness, Cartesian closed categories |
26 | R. J. Mac Dawson, R. Paré, D. A. Pronk |
Undecidability of the Free Adjoint Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(5), pp. 403-419, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
free adjoint construction, abacus, undecidability, 2-category |
26 | Dusko Pavlovic, Douglas R. Smith |
Guarded Transitions in Evolving Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 411-425, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Corradini 0001, Fabio Gadducci |
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(4), pp. 299-331, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
term graphs, symmetric monoidal categories, gs-monoidal categories, directed acyclic graphs, algebraic theories |
26 | Panagiotis K. Linos |
Automatic layout for graphical representation of programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 694, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Vassilis Papadopoulos, Jérémie Wenger, Clément Hongler |
Arrows of Time for Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17505, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Guojie Hu, Jiangbo Si, Zan Li 0001 |
Borrowing Arrows With Thatched Boats: Exploiting the Reactive Primary Communications for Boosting Jamming-Assisted Proactive Eavesdropping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 22(9), pp. 5035-5052, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Nilotpal Biswas, Arpit Singh, Samit Bhattacharya |
Augmented 3D arrows for visualizing off-screen Points of Interest without clutter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Displays ![In: Displays 79, pp. 102502, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Sara Romano, Enricoandrea Laviola, Michele Gattullo, Michele Fiorentino 0001, Antonio Emmanuele Uva |
More Arrows in the Quiver: Investigating the Use of Auxiliary Models to Localize In-View Components with Augmented Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 29(11), pp. 4483-4493, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Michael Janas, Michel Janssen |
Broken Arrows: Hardy-Unruh Chains and Quantum Contextuality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 25(12), pp. 1568, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Paulus N. Meessen |
On Normative Arrows and Comparing Tax Automation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, ICAIL 2023, Braga, Portugal, June 19-23, 2023, pp. 432-436, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Carla Binucci, Walter Didimo, Michael Kaufmann 0001, Giuseppe Liotta, Fabrizio Montecchiani |
Placing Arrows in Directed Graph Layouts: Algorithms and Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 41(1), pp. 364-376, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Masasuke Yasumoto |
Evaluation of the Difference in the Reality of the Bow Device with and Without Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (22) ![In: Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies - 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part III, pp. 428-441, 2022, Springer, 978-3-031-05905-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Nathan Argaman |
Quantum Computation and Arrows of Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 23(1), pp. 49, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Eugene Frimpong, Reyhaneh Rabbaninejad, Antonis Michalas |
Arrows in a Quiver: A Secure Certificateless Group Key Distribution Protocol for Drones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1372, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Greta Adamo, Chiara Di Francescomarino, Chiara Ghidini, Fabrizio Maria Maggi |
Beyond arrows in process models: A user study on activity dependences and their rationales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 100, pp. 101762, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Eugene Frimpong, Reyhaneh Rabbaninejad, Antonis Michalas |
Arrows in a Quiver: A Secure Certificateless Group Key Distribution Protocol for Drones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordSec ![In: Secure IT Systems - 26th Nordic Conference, NordSec 2021, Virtual Event, November 29-30, 2021, Proceedings, pp. 31-48, 2021, Springer, 978-3-030-91624-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Dinh Thai Hoang, Diep N. Nguyen, Mohammad Abu Alsheikh, Shimin Gong, Eryk Dutkiewicz, Dusit Niyato, Zhu Han 0001 |
"Borrowing Arrows with Thatched Boats": The Art of Defeating Reactive Jammers in IoT Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Wirel. Commun. ![In: IEEE Wirel. Commun. 27(3), pp. 79-87, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Kazutaka Matsuda |
Modular Inference of Linear Types for Multiplicity-Annotated Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 456-483, 2020, Springer, 978-3-030-44913-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Jun Gao 0001, Li Li 0029, Pingfan Kong, Tegawendé F. Bissyandé, Jacques Klein |
Borrowing your enemy's arrows: the case of code reuse in Android via direct inter-app code invocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 939-951, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Melissa Moreland, Morgan Vickery, Zachary Ryan, Danielle Murphy, Na'ama Y. Av-Shalom, Cindy E. Hmelo-Silver, Joshua A. Danish, Ravit Golan Duncan, Clark A. Chinn |
Representing Modeling Relationships in Systems: Student Use of Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS ![In: Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, ICLS 2020, [Nashville, Tennessee, USA], Online Conference, June 19-23, 2020, 2020, International Society of the Learning Sciences. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Hui Liang 0004, Fanyu Bao, Yusheng Sun, Chao Ge, Fei Liang, Qian Zhang |
To Borrow Arrows with Thatched Boats: An Educational Game for Early Years Under the Background of Chinese Three Kingdoms Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2020 - 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10-13, 2020, Proceedings, pp. 391-398, 2020, Springer, 978-3-030-65735-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shah Khalid, Sehat Ullah, Numan Ali, Aftab Alam, Ihsan Rabbi, Inam Ur Rehman, Muhammad Azhar |
Navigation Aids in Collaborative Virtual Environments: Comparison of 3DML, Audio, Textual, Arrows-Casting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 152979-152989, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Dinh Thai Hoang, Diep N. Nguyen, Mohammad Abu Alsheikh, Shimin Gong, Eryk Dutkiewicz, Dusit Niyato, Zhu Han 0001 |
"Borrowing Arrows with Thatched Boats": The Art of Defeating Reactive Jammers in IoT Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.11170, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Ryan Fish, Youzhi Liang, Kyle Saleeby, Jonathan Spirnak, Mingxiu Sun, Xiang Zhang |
Dynamic Characterization of Arrows through Stochastic Perturbation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.08186, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Kazutaka Matsuda |
A Modular Inference of Linear Types for Multiplicity-Annotated Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.00268, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Tian Zhao 0002, Adam Berger, Yonglun Li |
Concurrency control of JavaScript with arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REBLS@SPLASH ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019, pp. 1-10, 2019, ACM, 978-1-4503-6986-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Chris Heunen, Robin Kaarsgaard, Martti Karvonen |
Reversible Effects as Inverse Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018, pp. 179-199, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | H. J. Sander Bruggink, Barbara König 0001 |
Recognizable languages of arrows and cospans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(8), pp. 1290-1332, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Matthias Schurz, Martin Kronbichler 0001, Sebastian Weissengruber, Andrew Surtees, Josef Perner |
Measuring visual perspective taking in the brain with avatars and arrows: Which question are we asking? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 181, pp. 814-817, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Exequiel Rivas |
Relating Idioms, Arrows and Monads from Monoidal Adjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@FSCD ![In: Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018., pp. 18-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Chris Heunen, Robin Kaarsgaard, Martti Karvonen |
Reversible effects as inverse arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.08605, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Martin Braun, Oleg Lobachev, Phil Trinder |
Arrows for Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.02216, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Greta Adamo, Stefano Borgo, Chiara Di Francescomarino, Chiara Ghidini, Nicola Guarino, Emilio M. Sanfilippo |
Business Process Activity Relationships: Is There Anything Beyond Arrows? ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (Forum) ![In: Business Process Management Forum - BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings, pp. 53-70, 2018, Springer, 978-3-319-98650-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Malihe Alikhani, Matthew Stone |
Arrows are the Verbs of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 27th International Conference on Computational Linguistics, COLING 2018, Santa Fe, New Mexico, USA, August 20-26, 2018, pp. 3552-3563, 2018, Association for Computational Linguistics, 978-1-948087-50-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | David Castro 0006 |
Structured arrows: a type-based framework for structured parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
23 | Tyrus Fisher |
Counterlegal dependence and causation's arrows: causal models for backtrackers and counterlegals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(12), pp. 4983-5003, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Eric Fritz, Tian Zhao 0002 |
Typing and semantics of asynchronous arrows in JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 141-142, pp. 1-39, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Biwei Huang, Kun Zhang 0001, Jiji Zhang, Ruben Sanchez-Romero, Clark Glymour, Bernhard Schölkopf |
Behind Distribution Shift: Mining Driving Forces of Changes and Causal Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: 2017 IEEE International Conference on Data Mining, ICDM 2017, New Orleans, LA, USA, November 18-21, 2017, pp. 913-918, 2017, IEEE Computer Society, 978-1-5386-3835-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Qian Qian, Xiaoting Wang, Miao Song 0002, Feng Wang 0039 |
Gazes Induce Similar Sequential Effects as Arrows in a Target Discrimination Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TC12 ICIS ![In: Intelligence Science I - Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings, pp. 57-65, 2017, Springer, 978-3-319-68120-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Caroline Catmur, Idalmis Santiesteban, Jane R. Conway, Cecilia Heyes, Geoffrey Bird |
Avatars and arrows in the brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 132, pp. 8-10, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Carla Binucci, Markus Chimani, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani |
Placing Arrows in Directed Graph Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.08505, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Yu-Cin Jian, Chao-Jung Wu |
The function of diagram with numbered arrows and text in helping readers construct kinematic representations: Evidenced from eye movements and reading tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 61, pp. 622-632, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Eric Fritz, Jose Antony, Tian Zhao 0002 |
Arrows in Commercial Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotWeb ![In: Fourth IEEE Workshop on Hot Topics in Web Systems and Technologies, HotWeb 2016, Washington, DC, USA, October 24-25, 2016, pp. 60-65, 2016, IEEE Computer Society, 978-1-5090-5409-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Carla Binucci, Markus Chimani, Walter Didimo, Giuseppe Liotta, Fabrizio Montecchiani |
Placing Arrows in Directed Graph Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing and Network Visualization - 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers, pp. 44-51, 2016, Springer, 978-3-319-50105-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Vijay Rengarajan, A. N. Rajagopalan 0001, Rangarajan Aravind |
From Bows to Arrows: Rolling Shutter Rectification of Urban Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, June 27-30, 2016, pp. 2773-2781, 2016, IEEE Computer Society, 978-1-4673-8851-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Jeremy Yallop, Hai Liu 0012 |
Causal commutative arrows revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 21-32, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Martin Bresler, Daniel Prusa, Václav Hlavác |
Detection of Arrows in On-Line Sketched Diagrams Using Relative Stroke Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: 2015 IEEE Winter Conference on Applications of Computer Vision, WACV 2015, Waikoloa, HI, USA, January 5-9, 2015, pp. 610-617, 2015, IEEE Computer Society, 978-1-4799-6683-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Sam Lindley |
Algebraic effects and effect handlers for idioms and arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WGP@ICFP ![In: Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014, pp. 47-58, 2014, ACM, 978-1-4503-3042-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Adam Megacz Joseph |
Generalized Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
23 | Angelo Monti |
Deciding the winner in k rounds for DISJOINT ARROWS, a new combinatorial partizan game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 513, pp. 96-108, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Birgit Imhof, Katharina Scheiter, Jörg Edelmann, Peter Gerjets |
Learning about locomotion patterns: Effective use of multiple pictures and motion-indicating arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 65, pp. 45-55, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Matthias Brettschneider, Tobias Häberlein |
From Arrows to Netlists Describing Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III, pp. 128-143, 2013, Springer, 978-3-642-39645-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Cengiz Acartürk |
Points, Lines and Arrows in Statistical Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings, pp. 95-101, 2012, Springer, 978-3-642-31222-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001 |
Moving Arrows and Four Model Checking Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, pp. 142-153, 2012, Springer, 978-3-642-32620-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Luís Soares Barbosa |
Software Components as Invariant-Typed Arrows - (Keynote Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 1-5, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Makoto Hamana |
Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 136-150, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Hugo Daniel Macedo |
Matrices as arrows: why categories of matrices matter ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
23 | Ehtibar N. Dzhafarov, Janne V. Kujala |
Selectivity in Probabilistic Causality: Drawing Arrows from Inputs to Stochastic Outputs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.3074, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
23 | Stefano Burigat, Luca Chittaro |
Visualizing references to off-screen content on mobile devices: A comparison of Arrows, Wedge, and Overview + Detail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Comput. ![In: Interact. Comput. 23(2), pp. 156-166, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Hai Liu 0012, Eric Cheng, Paul Hudak |
Causal commutative arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 21(4-5), pp. 467-496, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Adam Megacz |
Hardware Design with Generalized Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers, pp. 164-180, 2011, Springer, 978-3-642-34406-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|